逻辑代数 [ luó jí dài shù ]
又称“布尔代数”、“开关代数”。研究逻辑问题的一门数学。是现代数学中的一个重要分支。由英国数学家布尔提出。其逻辑变量…
布尔(george boo [ bù ěr ]
人名。(公元1815~1864)英国有名的数学家和逻辑学家,终身致力于近代符号逻辑的建立,是近代逻辑代数的开拓者。公…
传统逻辑 [ chuán tǒng luó ji ]
亦称“普通逻辑”。不同于数理逻辑的形式逻辑。它创立于古代,不断丰富发展而沿用迄今,故称。
代数逻辑 [ dài shù luó ji ]
逻辑运算 [ luó jí yùn suàn ]
逻辑运算又称布尔运算 布尔用数学方法研究逻辑问题,成功地建立了逻辑演算。
数理逻辑 [ shù lǐ luó ji ]
数学的一个分支,用数学方法研究推理、计算等逻辑问题。也叫符号逻辑。
逻辑门 [ luó jí mén ]
又称“数字逻辑电路基本单元”。执行“或”、“与”、“非”、“或非”、“与非”等逻辑运算的电路。任何复杂的逻辑电路都可…
逻辑模型 [ luó jí mó xíng ]
数据的逻辑结构。
符号逻辑 [ fú hào luó jí ]
数理逻辑。
逻辑变量 [ luó jí biàn liáng ]
又称“布尔变量”、“二值变量”。逻辑代数中的变量。常用英文字母表示。其取值仅为“0”和“1”,它们分别代表两种成对出…
分层理论 [ fēn céng lǐ lùn ]
数理逻辑中递归论的一部分。
逻辑方法 [ luó jí fāng fǎ ]
人们在逻辑思维过程中,根据现实材料按逻辑思维的规律、规则形成概念、作出判断和进行推理的方法。包括形式逻辑方法和辩证逻…
逻辑电路 [ luó ji diàn lù ]
实现数字信号逻辑运算和操作的电路。分组合逻辑电路和时序逻辑电路。前者的逻辑功能与时间无关,即不具记忆和存储功能,后者…
现代逻辑 [ xiàn dài luó jí ]
数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化,就是用一套特制的表意符号去表示概念、判断、推理,获得它们…
扇入 [ shàn rù ]
在逻辑电路中可能连到逻辑闸电路所允许输入端的数目。亦称为输入端数。例如资料通信中,许多终端输出可能,被扇入一多工器中…
数据结构 [ shù jù jié gòu ]
①“数据逻辑结构”的简称。指各数据元素间的逻辑关系。主要有字符串、数组、线性表、树、图等结构。②一个二元组。即d,s…
逻辑树 [ luó jí shù ]
以分支表现的一种逻辑规格方法。逻辑树的每一个分支点均是一个决策点,分支代表要采取之行动。
拉姆齐二染色定理 [ lā mǔ qí èr rǎn sè dìng lǐ ]
拉姆齐二染色定理是由英国数理逻辑学家西塔潘(Seetapun)于20世纪90年代提出的一个猜想。十多年来,许多著名研…
扇出 [ shàn chū ]
在逻辑电路中所可能引出之输出负载的数目。亦称为输出端数。
逻辑闸 [ luó jí jiá ]
具有逻辑运算能力的电子元件,由二极体及电晶体组成。共有五种基本逻辑闸:AND、OR、NOT、NAND、NOR,由此可…
价值逻辑 [ jià zhí luó jí ]
关于善恶与美丑的价值问题,向来思想家皆认为非逻辑问题,故实证论及行为主义乃有所谓价值中立或价值免谈之论。五十年代初期…
公设 [ gōng shè ]
[逻辑或数学中] 公认为真、因而无需证明其为正确的陈述。
数字系统 [ shù zì xì tǒng ]
是用数字信号完成对数字量进行算术运算和逻辑运算的电路称为数字电路,或数字系统。
博弈逻辑 [ bó yì luó ji ]
博弈逻辑 - 简介 博弈论研究人类活动中的互动行为,在经济学中得到广泛的运用。在博弈论中,人类的所有活动,只要是互动…
数学悖论 [ shù xué bèi lùn ]
数学悖论“……古往今来,为数众多的悖论为逻辑思想的发展提供了食粮。” ——N·布尔巴基