查询词典 propositional algebra

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代数是自伴的极限代数，因而结构比较复杂。

For example, the set algebra for the set T defined above corresponds to a Boolean algebra of 32 elements.

例如，上文定义的集合的个元素集合代数就对应一个有32个元素的布尔代数个元素的布尔代数。

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

Among numerous propositional logic systems, Lukasiewicz、Godel、Product and L~* have obviously merits, which are exist triangle norm * in [0, 1] withthe semantic implication operator→construct adjoint pairs.

del、Product与L~*这四种有着明显的优点，即存在[0，1]上的三角模*与它们赋值格[0，1]上的语义蕴涵算子→构成伴随对。

In spite of is a propositional phrase used as an adverbial of concession.

同我们以前的计划一样，我们将把这一计划进行到。

He's a pretty westernised kind of guy.

他是一个非常西化的人。

National spirit is the moral kingpin for a nation to realize common ideal and goal.

一、中华民族精神的基本内涵党的十六大报告指出：在五千多年的发展中，中华民族形成了以爱国主义为核心的团结统一、爱好和平、勤劳勇敢、自强不息的伟大民族精神。