查询词典 Boole

Boolean algebra：布氏代数

大卫.芬凯斯坦:伟大的逻辑学家乔治.布尔(George Boole),他是当今用于计算机的布氏逻辑(Boolean logic)与布氏代数(Boolean algebra)的发明人. 他最初想确切地定义什么是厂类』(class)或性质或谓词. 对于每一类,他结合一个他称之为『选举』(election)行为,

bolzano weierstrass theorem：波尔察诺 维尔斯特拉斯定理

boltzmann statistics 玻耳兹曼统计 | bolzano weierstrass theorem 波尔察诺 维尔斯特拉斯定理 | boole function 布尔函数

boolean logic：布尔逻辑

- 布尔逻辑(Boolean logic)是针对逻辑操作的一个完全系统. 它以 George Boole 命名,是在 19 世纪的一个英国数学家. 布尔逻辑有很多应用程序在电子、计算机硬件和软件中. 例如,在电子工程中的电路设计中,0和 1 可能代表两种不同的状态一位在一个数字线路中,

border set：边界集

1130,"Boolean term","Boole项" | 1131,"border set","边界集" | 1132,"bordered determinant","升阶行列式"

Cayley：凯莱

希尔伯特的兴趣转移到物理学和数学基础方面.代数不变量问题(1885-1893).代数不变量理论是19世纪后期数学的热门课题.粗略地说,不变量理论研究各种变换群下代数形式的不变量.古典不变量理论的创始人是英国数学家G.布尔(Boole)、 A.凯莱(Cayley)和 B.西尔维斯特(Sylvester).n个变元x1;

hypothetical syllogism：假言三段论

Pearson认为,这种逻辑发源于古希腊哲学巨匠Socrates,后在Aristotle那里得到了系统的表述,近代又在Boole和Peirce那里被转化成相应的数理演算模式. 形式逻辑最具代表性的是"假言三段论"(hypothetical syllogism),具体体现在下面的推导公式里:

Justus Buchler：布赫勒

布尔 Boole,G | 布赫勒, Justus Buchler, | 布拉德雷 Bradley, F.H.

Leslie：莱斯利

第五节 克拉默(Cramer)法则第六节 拉普拉斯(Laplace)定理、行列式的乘法规则第二节 莱斯利(Leslie)种群模型第二节 布尔(Boole)向量空间及应用

symbolic logic：符号逻辑[学]

二进法算术与布尔(George Boole)发明的符号逻辑学(Symbolic logic)有密切关系. 电子计算机采用二进法,里面所有开关电路(Switchingcircuits)的作用都可以用符号表示;电路的简化,往往借助符号逻辑学的定理. 电子计算机的设计师,

Bound Morphemes：粘著詞素

Boole, George 布爾 | bound morphemes 粘著詞素 | consequent 後件

tram stop：(有轨)电车车站

post 邮局 | tram-stop(有轨)电车车站 | zebra-crossing 斑马线

Jaish-e-Mohammad,JEM：穆罕默德军

16. 乌兹别克斯坦伊斯兰运动Islamic Movement of Uzbekistan,IMU | 17. 穆罕默德军Jaish-e-Mohammad,JEM | 18. 伊斯兰祈祷团Jemaah Islamiya Organization,JI