说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 自由布尔代数
1)  free Boolean algebra
自由布尔代数
2)  free algebra
自由代数
3)  boolean algebra
布尔代数
1.
A kind of Boolean algebra and its application;
一种布尔代数──围棋布尔代数及其应用
2.
The Boolean Algebra Definited on the Partial Order Set;
定义在偏序集上的布尔代数
4)  boole algebra
布尔代数
1.
The n_ary Boole polynomial f(x_,…,x_n) can be denoted by the form off(x_1,…,x_n)=∑f(α_1,…,α_n)x~~~(α_1)_1…x~~~(α_n)_nLet F_n and_m is respectively the set of all n-ary Boole functions and all n_ary Boole polynomials on Boole algebra B,then F_n=_n iff |B|=2.
布尔代数B上的n元布尔多项式f(x1,…,xn)可以表为f(x1,…,xn)=∑f(α1,…,αn)x1α1…xnαn的形式。
2.
In this paper we construct a functor from the category o f Boole algebras to the category of double Stone algebras satisfying the complem ent property and show that this functor has a left adjoint.
该文构造了一个从布尔代数范畴到满足可补性质的双重 Stone代数范畴的函子 ,并证明了这个函子有一个等价的左伴随函
5)  algebraic free product
代数自由积
1.
In this paper, we study *-algebraic free product of C*-algebras and the dense *-subalgebras.
本文研究了C*-代数及其*-稠子代数的*-代数自由积。
6)  free Ockham algebra
自由Ockham代数
补充资料:布尔代数
布尔代数
Boolean  algebra

   英国数学家G.布尔为了研究思维规律(逻辑学、数理逻辑)于1847和1854年提出的数学模型。此后R.戴德金把它作为一种特殊的格。所谓一个布尔代数,是指一个有序的四元组〈B,∨,∧,*〉,其中B是一个非空的集合,∨与∧是定义在B上的两个二元运算,*是定义在B上的一个一元运算,并且它们满足一定的条件。
    布尔代数由于缺乏物理背景,所以研究缓慢,到了20世纪30~40年代才又有了新的进展,大约在 1935年, M.H.斯通首先指出布尔代数与环之间有明确的联系,他还得到了现在所谓的斯通表示定理:任意一个布尔代数一定同构于某个集上的一个集域;任意一个布尔代数也一定同构于某个拓扑空间的闭开代数等,这使布尔代数在理论上有了一定的发展。布尔代数在代数学(代数结构)、逻辑演算、集合论、拓扑空间理论、测度论、概率论、泛函分析等数学分支中均有应用;1967年后,在数理逻辑的分支之一的公理化集合论以及模型论的理论研究中也起着一定的作用。近几十年来,布尔代数在自动化技术、电子计算机的逻辑设计等工程技术领域中有重要的应用。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条