查询词典 generalized Boolean algebra

In this system, the lattic structure is different from Boolean algebra, the implication operator → is just the Kleene Dienes operator R KD .

研究赋值格为非线性序，其格结构不同于Boole代数，而蕴涵算子→取Kleen－Dienes算子RKD的一种新的6值逻辑系统K16的语义理论，得到若干结果

I believe that it's very useful for Computer science students who learning Boolean algebra and predicate logic.

我相信对于学习布尔代数学和谓词逻辑的计算机科学学生来说它是非常有用的。

George Boole develops a system of mathematics called Boolean algebra, which uses binary operations.

乔治。布尔开发采用二进位制运算的数学体系，称为布尔代数学。

Besides, through the method of concatenation, the upper bound of algebraic immunity and the form of the annihilators of any generalized boolean function were also determined.

此外，还通过级联函数的方法确定了任意广义布尔函数的代数免疫的上界和零化子的形式。

With the aid of positive Boolean function descriptions, the generalized morphological filters are expressed as a kind of stack filters.

借助于正布尔函数的描述，将广义形态滤波器表示成一种层迭滤波器。

Generalized ε- correlation Immune Boolean Vector Functions ...

定理1 告诉我们布尔向量函数具有m 阶广义ε相关免疫性的一个必要条件是它各分量函数的。。。。。

From the view of the number of composition series and table subset of order or elementary abelian table algebra is depicted by making use of fundamental theorem on homomorphism of table algebra.

分别从合成列及表基的p阶、阶表子集的数目角度刻画了初等abelian表代数。

Arad and Blau proved that an abelian table algebra can be viewed as a group algebra of some abelian group G. Chapter 3 of this paper gives the structural theorem of abelian table algebras by defining a group structure in table basis. Furthermore, the structure of elementary abelian table algebras is discussed using the number of composition series of table algebras.

Arad和Blau证明了abel表代数等价于某个有限生成abel群G的群代数，受此启发本文第3节通过定义表基的一个群结构给出了abel表代数的结构定理，并从合成列数目的角度对初等abel表代数进行了细致刻画。

Also prove that every bounded linear approximately local Hilbert space representation of a abelian von Neumann algebra is a representation,every bounded linear approximately 2- local Hilbert space representation of a von Neumann algebra is a representation.

同时证明了交换von Neumann代数的有界近似局部表示是表示，每个von Neumann代数的有界近似2—局部表示是表示。

Secondly, it has drawn out the pointed YD-Lie algebras definition, in the category of Yetter-Drinfeld modules, let Z be a torsion-free abelian group, if we have a symmetric braiding c, for each G-graded algebra V over the G-graded space, a new Lie superalgebra with an operation _c satisfying an actions, then we can obtain a new Lie superalgebra, this paper to call it pointed YD-Lie algebra.

其次引出了点YD-李代数，即：在Yetter-Drinfeld模范畴中，对任意的一个G-分次代数Z(G为无挠群V，引入对称辫子c后，在V内作_c运算，即可得到一种新的李代数(本文称之为点YD-李代数)。

That's what makes this mod unique.

这也正是这个MOD独特。

I now feel furious and want to do something.

现在我觉得非常气愤，想做点什么。