查询词典 boolean algebra

The algebra of quaternions, the first noncommutative algebra was thus suddenly born

四元数的代数，第一非交换的代数，就这样突然诞生了。

The algebra of quaternions, the first noncommutative algebra was thus suddenly born.

它们对应的一般代数分别是正则双Stone代数、预粗代数和半简单Nelson代数。

AF C*-algebra is the self-adjoint limit algebra, so it has relatively complex structure.

AF代数是自伴的极限代数，因而结构比较复杂。

High School: Algebra, Geometry, Advanced Algebra, Trigonometry, Pre-Calculus conics and limits

高中：代数，几何，高等代数，三角学，微积分先修课二次曲线论和极限

High School: Algebra, Geometry, Advanced Algebra, Trigonometry, Pre-Calculus

高中：代数，几何，高等代数，三角学，？圆锥和极限

In chapter 1, we introduce the notions of the approximately 2-local automorphisms, the approximately local Hilbert space representations and the approximately 2- local Hilbert space representations;We prove that every surjective and multiplicative approximately local *-automorphisms of a C*- algebra with a unique faithful tracial state is *-automorphisms;surjective approximately 2- local *- automorphisms of C*-algebra with unique faithful tracial states are Jordan *- automorphisms;Surjective approximately 2- local *- automorphisms of a finit factor are *-automorphisms;Approximately 2- local *- automorphisms of M_n are *-automorphisms.

第一章定义了近似2—局部自同构，近似局部表示，近似2—局部表示；证明了有唯一忠实迹态的C~*-代数上的满可乘近似局部*—自同构是*—自同构，满近似2—局部*—自同构是Jordan *—自同构，有限因子上的满近似2—局部*—自同构是*—自同构，以及矩阵代数M_n上的近似2—局部*—自同构是*—自同构。

The concept of congruence is an important content of the universal algebra and congruences play a fundamental role in defining the structure and properties of the universal algebra.

同余是泛代数的重要研究内容，泛代数上的同余在一定意义上能够刻画和确定泛代数的结构和性质。

The verification theories and algorithms of value-passing CCS and the π-calculus bisimulation equivalences are the hot point of research in the area of process algebra, and the critical step for the application of process algebra in practice.

传值CCS和π-演算互模拟等价的验证理论和算法是进程代数领域的研究热点，也是使进程代数从理论研究走向实际应用的关键环节。

And absorption law,distribution law and exponentiation law are applied to simplify for Boolean expression.

文献[4]给出了辨别函数f的方法，把属性约简转换为逻辑表达式运

Two kind of common matching algorithms are introduced and analysed at first: Boolean expression tree and directed acyclic control flow graph,and then a better one is put forward.

随着安全产品的广泛应用、网络速度的不断加快和网络通信量的日益增大，对安全产品性能的要求也越来越高。

Molecular Distillation is a kind of high vacuum distillation method, which is suitable for the separation of high boiling, heat sensitivity and viscidity products.

分子蒸馏技术是一种在高真空条件下进行的连续蒸馏过程，适合于分离高沸点、热敏性及具有生物活性的混合物。

They are to the Noughties what yuppies were to the Eighties .

那在六十年代是时髦的，但在八十年代肯定是过时了