Boolean algebra is an important mathematical tool used in the field of information science . it contains abundant content and is widely applied 布尔代数是信息科学中的重要数学工具,内容丰富,应用广泛。
I believe that it ' s very useful for computer science students who learning boolean algebra and predicate logic ( like my self ) 我相信对于学习布尔代数学和谓词逻辑的计算机科学学生(像我自己这样的)来说它是非常有用的。
In the same way as above , we characterize linear operators that strongly preserve commuting pairs of matrices over general boolean algebras 利用和上述同样的方法,我们刻画了在一般布尔代数上强保持交换矩阵对的线性算子
Db2 udb does not have native support for bit or boolean data types , neither for bitwise operation nor for boolean algebra operations Db2 udb没有为位数据类型或布尔数据类型提供本机支持,它既不支持逐位操作,也不支持布尔代数操作。
The boolean algebra of checking various attributes like these is demonstrated by my test for only successfully delivered pages with known referrers 对于只针对成功传送、且引用者已知的页面,我的测试演示了类似这样的检查各种属性的布尔代数。
George boole develops a system of mathematics called boolean algebra , which uses binary operations . today , programmers still think and work in binary 乔治.布尔开发采用二进位制运算的数学体系,称为布尔代数学。今天,程序员们仍使用二进位制进行思索和工作。
Then , we study the case of finite boolean algebra based on the fact that any finite boolean algebra is the direct product of a finite number of binary boolean algebra 然后,基于有限布尔代数是二元布尔代数的有限直积这一事实,讨论了有限布尔代数上的情况
In order to characterize the linear operators that strongly preserve nilpotence and that strongly preserve invertibility , we first study the case of the binary boolean algebra 为了刻画强保持幂零的线性算子和强保持可逆的线性算子,我们首先研究二元布尔代数上的情况
With high speed and large - scale integration of electronic circuits , boolean algebra is insufficient to describe the complicated logic behavior of digital circuits 近些年来,随着电子电路的高速化和大规模集成化,布尔代数作为描述数字电路的逻辑行为的工具,越来越显示其不足
By the means of the extension of linear operator , we characterize the linear operators that strongly preserve nilpotence and that strongly preserve invertibility over any boolean algebra 再利用线性扩张这一工具,我们刻画了在一般布尔代数上强保持幂零的线性算子和强保持可逆的线性算子