查询词典 Boolean algebra

We use algebra to describe the semantics. Algebra provides a common base for function, class and algebra specification.

它以代数作为数学基础，这使得函数、类和代数规范等具有统一的合成基础。

Now the university to open higher algebra, general consists of two parts: a preliminary linear algebra, algebra polynomials.

现在大学里开设的高等代数，一般包括两部分：线性代数初步、多项式代数。

This paper takes advantage of interval algebra and rectangle algebra theories. and brings forward a new reasoning method based on combination of the MBR model's cardinal direction relation and rectangle algebra relation; And provides the composing method based on the direction relation matrix by using the direction relation matrix to denote the direction relations between the objects'MBRs.

本文以物体的MBR为模型，利用区间代数及矩形代数理论，提出了一种基于MBR的主方向关系与矩形代数关系相结合的推理方法；同时利用方向关系矩阵表示物体MBR之间的方向关系，得到了基于方向关系矩阵的组合推理方法。

It is proved that every Lie derivation of nest algebra is the sum of an associative derivation and a general trace. Every Lie isomorphism between nest subalgebras of a factor von Neumann algebra is the sum of an isomorphism and a general trace or the sum of a negative anti-isomorphism and a general trace. Lie invariant subspace of linear mappings on Banach algebras is introduced, and linear maps from nest subalgebra of a factor von Neumann algebra into itself which satisfy the property that the space of derivations is their Lie invariant subspaces are characterized. Simultaneously, it is shown that such maps are Lie derivations modulo the set of scalar multiple of the identity.

得到Lie导子的特征表示，即套代数上的任何一个Lie导子都是内导子与广义迹之和；给出了Lie同构和同构及反同构之间的关系，即因子von Neumann代数中套子代数之间的任何一个Lie同构要么是同构与广义迹之和要么是负反同构与广义迹之和；引入了Banach代数上线性映射的Lie不变子空间，并给出von Neumann代数中套子代数上以导子空间为Lie不变子空间的线性映射的一个刻画，同时也表明在模去数乘恒等映射的意义下，以导子空间为Lie不变子空间的线性映射就是Lie导子。

In reference [15], Muhly discribe the isometric algebral isomorphism and isometric reflixive algebra isomorphism on some triangle subalgebra og Nenclear algebra with diagonent. The first problem of this chapter is analyzing furtherlythe concrete form of the isometry on TUHF algebra.

Muhly等在文献[15]中讨论了带有对角的Nuclear C~*-代数中的某些三角子代数上的等距代数同构和等距反代数问题，本章讨论的第一各方面就是借助于Muhly的结论进一步分析TUHF代数上等距的具体表达形式。

On Some Conclusions of the Isomorph ic Problem of L￣p Space and l￣q Space;2. A Proof of the Isomorph ism Theorem Between C_B-Algebra and Lu3-Algebra;3. Based on the BCK algebra homomorphism and isomorph, product is introduced and some qualities are given.

在BCK代数的同态同构基本定理基础上，引进了乘积并给出了它的性质，由此又进一步得到了关于模糊带算BCK代数乘积的同构定理，从而使模糊带算BCK代数的讨论更加深入。

Since weak Hopf algebra is a generalization of monoid algebra, it is easy to ask what about the weak Hopf algebra?

而且，类似于[L8]中的相关结论，我们将给出交换情况下的半格分次弱Hopf代数的G-量子偶的分解和半单性的讨论。

In the Mathematics Test, three subscores are based on six content areas: pre-algebra, elementary algebra, intermediate algebra, coordinate geometry, plane geometry, and trigonometry.

数学测试部分，共六个方面的内容组成了三个部分的得分：算术、初级代数、中级代数、几何坐标、平面几何、三角形。

In the Mathematics Test, three subscores are based on six content areas: pre-algebra, elementary algebra, intermediate algebra, coordinate geometry , plane geometry , and trigonometry.

数学测试部分，共六个方面的内容组成了三个部分的得分：算术、级代数、级代数、何坐标、面几何、角形。

In the Mathematics Test, three subscores are based on six contentareas: pre-algebra, elementary algebra, intermediate algebra,coordinate geometry, plane geometry, and trigonometry.

数学测试部分，共六个方面的内容组成了三个部分的得分：算术、初级代数、中级代数、几何坐标、平面几何、三角形。

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'.

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