1) complete boolean algebra
完备布尔代数
1.
Subsequently, a decision method is achieving for the theory of complete boolean algebras based on that procedure and a result by the author.
利用这个结果，直接构造出完备布尔代数的判定过程，并且分析了它们的复杂度。
2.
In this paper,we consider the complete lattice Q(L)of all quotients of a complete Boolean algebra L.
本文研究了完备布尔代数L的商格Q(L),建立L上q-集构成的集合Q′(L)与Q(L)之间的同构,得出了完备布尔代数的商格仍是完备布尔代数,并给出了完备布尔代数范畴的某些性质。
2) Algebraic completion
代数完备
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) complete Lie color algebra
完备Liecolor代数
6) complete Lie algebra
完备Lie代数
补充资料：布尔代数
| 布尔代数 Boolean algebra 英国数学家G.布尔为了研究思维规律（逻辑学、数理逻辑)于1847和1854年提出的数学模型。此后R.戴德金把它作为一种特殊的格。所谓一个布尔代数，是指一个有序的四元组〈B，∨，∧，*〉，其中B是一个非空的集合，∨与∧是定义在B上的两个二元运算，*是定义在B上的一个一元运算，并且它们满足一定的条件。 布尔代数由于缺乏物理背景，所以研究缓慢，到了20世纪30～40年代才又有了新的进展，大约在 1935年， M.H.斯通首先指出布尔代数与环之间有明确的联系，他还得到了现在所谓的斯通表示定理：任意一个布尔代数一定同构于某个集上的一个集域；任意一个布尔代数也一定同构于某个拓扑空间的闭开代数等，这使布尔代数在理论上有了一定的发展。布尔代数在代数学（代数结构）、逻辑演算、集合论、拓扑空间理论、测度论、概率论、泛函分析等数学分支中均有应用；1967年后，在数理逻辑的分支之一的公理化集合论以及模型论的理论研究中也起着一定的作用。近几十年来，布尔代数在自动化技术、电子计算机的逻辑设计等工程技术领域中有重要的应用。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条