查询词典 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.

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

There had been a moment during the breakfast meeting, though, after the backslapping and the small talk and when all of us were seated, with Vice President Cheney eating his eggs Benedict impassively and Karl Rove at the far end of the table discreetly checking his BlackBerry, that I witnessed a different side of the man.

那次早餐会期间，在表示过关心和寒暄以后，我们所有人坐了下来，我注意观察了一下，副总统切尼面无表情地吃着班尼迪克蛋（Eggs benedict，源自美国，以英式松饼、火腿、水煮蛋以及荷兰酱组合而成），卡尔。罗夫在餐桌的远端谨慎地经常查看他的黑莓手机，我目睹了他所不为人知的一面。

Talk Undelete failed; someone else may have undeleted the page first.

Talk 无法删除选定的页面或图像（它可能已经被其他人删除了）。