查询词典 Boolean algebra

Higher algebra is an abstract and theoretical subject.In the teaching,it is hard to join the examples with the real life.This gives people the impression that learning algebra is not useful.

高等代数是一门抽象性和理论性较强的学科，在教学中所涉及的例子较少能与实际生活密切相连，让人感觉到学习的内容与生产实践脱节，体现不了数学的应用价值。

We explain the basic conception of the Lie group, Lie algebra and Riemannian manifolds in detail, deeply analyze and research the Special Euclidean Group SE(3) and se(3) in the Lie group, Lie algebra. Establish the relation between the adjoint transformation Adg and the operatorφ(k + 1,k) under a particular condition , substitute the operatorφ(k + 1,k)with spatial adjoint operator Ad kk ?

在多体系统动力学理论体系中，详细阐述了Lie群、Lie代数和Riemannian几何的基本概念，对Lie群、Lie代数中的特殊Euclidean群SE(3)和se(3)作深入分析与研究，建立Lie括号下的伴随变换Adg在特定条件下与空间算子代数理论中的空间变换算子φ(k + 1，k)之间的相互关系，并将空间伴随算子Ad kk ？

Assume a Lie algebra g has a form B which has all the useful properties of Killingform:bilinearity nondegeneracy,symmetry and invariance.Note that for such a Liealgebra the adjoint representation is equivalent to the coadjoint representation.We callit a symmetric self-dual Lie algebra and the form B an invariant scalar product.

在第一部分的最后一节，我们引进了拟Heisenberg代数的概念，证明了这些李代数均为具有非极大秩的CN李代数，进一步我们还证明了这些CN李代数构成的集合与极大秩幂零李代数构成的集合之间存在着1-1对应关系。

Keywords: Hecke algebra; quantum affine algebra; Fock space

中文关键词：黑克代数；量子仿射代数； Fock空间

Based on White event algebra, the formal framework is extended for event algebra, considering semantic definition of events in more concise temporal relationships of events to enhance the expressiveness of event query language while taking into consideration event selection and consumption policy-the context consumption policy to improve the performance of event detection.

基于White事件代数，扩展了事件代数的形式化框架，在形式化框架中考虑复合事件在更精细的时间关系下的语义定义，以增强事件代数的表达能力，同时考虑与应用相关的事件选择和消费策略-上下文策略，以提高事件检测的性能。

MV-algebra is a kind of logic algebra, which has been introduced by the international famous model expert C.

MV-代数是一种逻辑代数，它是国际著名模型论专家C.C。

Tai Chi has algebra contains the contents of the dialectic, and Tai Chi is dialectical logic of algebra and math.

太极代数里包含有辩证的内客，而太极代数是辩证逻辑的数学化。

In nearly half a century, the scholars of various countries have already made the rich achievement to the studying of MV- algebra and a lot of algebra systems with logic background.

近半个世纪以来，各国学者对MV-代数以及许多具有逻辑背景的代数系统的研究已取得了丰硕的成果([1]，[3-14])。

Based on the filtered Lie algebra of the universal enveloping algebra, the algebraic structure of projected subsystems are studied. It is proved that they have simple decompositions, and the construction of the representations is given as well as the corresponding criterion for project limit controllability.

基于泛包络代数的滤李代数结构，研究了投影子系统的代数结构，证明它们具有简单的分解形式，并给出了它们的表示的构造方法和投影极限能控性的判别定理。

Lattice implication algebra is an algebraic system combinating lattice with implication algebra.

格蕴涵代数是徐扬教授为研究格值逻辑把格与蕴涵代数相结合提出的一个代数系统。

Although translator has turned from being a crystal ball by which the original culture can unrestrainedly penetrate to another crystal ball by which the target culture can freely traverse, the translator's personal embodiment, in the process of cognitive act, are still absent in translation studies. Translators are still subjects without body or simply disembodied subjects.

译者虽然由原语文化可以自由穿透的玻璃球变成了译语文化可以自由穿越的玻璃球，但译者认知过程中的个体体验在翻译研究中依然缺席，译者依然仅仅是一个没有躯体体验的主体。

Chillingly, he claimed our technology is 'not nearly as sophisticated' as theirs and "had they been hostile", he warned 'we would be been gone by now'.

令人毛骨悚然的，他声称我们的技术是'并不那么复杂，像他们一样，和"如果他们敌意"，他警告说，'我们将现在已经过去了。