查询词典 Boolean algebra

The sufficient and necessary conditions which Fuzzy subalgebra of direct product Boolean algebra can be decomposed as direct product of two Fuzzy subalgebras are obtained.

进而分别定义了在对偶模意义下直觉模糊群的外直积与内直积。

Difference set is one kind of unbounded difference poset. The existenceof the tensor products of two cancellative difference sets are investigated. It isproved that the tensor product of a Boolean algebra and a cancellative differenceset always exists.

作为差分偏序集无界推广的差分集，我们研究了它的张量积问题，证明了任何消去差分集和布尔代数的张量积一定存在。

23 Chapter 3 Number Systems and Boolean Algebra 3.1.6 Complements Today, the radix -1 complement is not used by itself; it is used as a step for finding the radix complement. The radix complement is used to represent negative numbers in modern computer systems.

如今，反码已不单独使用，而作为求补码的一个步骤使用，如今，反码已不单独使用，而作为求补码的一个步骤使用，补码是当代计算机系统表示负数的方法(反码用于早期的计算补码是当代计算机系统表示负数的方法反码用于早期的计算技术中)。

24 Chapter 3 Number Systems and Boolean Algebra 3.1.6 Complements To form the radix complement, first find the radix -1 complement, and then add a one to the result.

为得到补码，先求反码，然后将加到结果上加到结果上。为得到补码，先求反码，然后将1加到结果上。

The most intuitive development of boolean algebras arises from the concept of a set algebra.

布尔代数是集合代数的概念最自然的发展。

148 Chapter 1 The History and Future of Computers 3.2 Boolean Algebra While other set operations may be defined, the operations of complementation union and intersection are of primary interest to us.

虽然我们可以定义其他一些集合运算，但求补，并和交运算是我们最感兴趣的三个集合运算。

The modal logic S5, viewed as a theory in S4, is a model of monadic Boolean algebras in the same way that S4 is a model of interior algebra.

模态逻辑 S5，被看作 S4 中一个理论，是一元布尔代数的模型，如同模态逻辑 S4 是内部代数的模型。

A dangerous signal recognition logic based on Boolean algebra with fuzzy shell and re- vised Gaines-Rescher implication operator is established,and the semantic properties of this logic are investigated,some interesting results are obtained.

建立了一种基于带Fuzzy壳Boole代数和修正的Gaines-Rescher 蕴涵算子的险象识别逻辑，并对这种逻辑进行了语义方面的研究，获得若干结果。

In this system, the lattic structure is different from Boolean algebra, the implication operator → is just the Kleene Dienes operator R KD .

研究赋值格为非线性序，其格结构不同于Boole代数，而蕴涵算子→取Kleen－Dienes算子RKD的一种新的6值逻辑系统K16的语义理论，得到若干结果

I believe that it's very useful for Computer science students who learning Boolean algebra and predicate logic.

我相信对于学习布尔代数学和谓词逻辑的计算机科学学生来说它是非常有用的。

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

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