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

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

This paper designs the communication system of radio telescope FAST.

针对500m口径球面射电望远镜FAST分布式控制系统的特点完成了其通信系统的设计。

Political sheep's step-by-step a large number of fossils unearthed in the county soil Ma Ali after rural village in the middle of sallow pelitic siltstone.

步氏和政羊化石大量出土于广河县阿力麻土乡后山村，产于灰黄色泥质粉砂岩中。