查询词典 boolean algebra

Finally, the equivalence properties between Boolean matrix representation and algebra representation of attribute reduction are proved.

建立了布尔矩阵与逻辑方程组的解和决策表中的属性集之间的关系；然后在此基础上给出了决策表中的粗糙集理论的布尔矩阵表示；最后证明了属性约简在布尔矩阵和代数两种不同表示下是等价的。

On the AFS theory, we define a homomorphism mapping between the EI algebra and the ring of Boolean matrix.

在EI代数的子代数的基础上，对概念的EI代数表示和布尔矩阵表示进行了讨论。

Using the theories of probability, algebra and spectral theory comprehensively, we investigate some related characteristics of logic functions in cryptography: Firstly, we introduce m order generalized s - correlation immunity of Boolean vector functions and prove that the higher order generalized ε- correlation immunity can guarantee the lower order generalized ε- correlation immunity. Then by applying decomposition formula of joint distribution of Boolean random vectors, we give a spectrum criterion of m order generalized e - correlation immunity of Boolean vector functions. Furthermore, we show that the algebraic degree of m order generalized e - correlation immune Boolean vector functions is not restricted by the correlation immune orders.

本文主要运用概率论的思想和方法，并结合代数学和频谱理论的相关知识，对密码学中逻辑函数的有关性质进行了研究，主要包括以下三个方面的内容：首先，对布尔向量函数的相关免疫性进行了拓展，给出了k维布尔向量函数m阶广义ε-相关免疫的概念，证明了布尔向量函数的高阶广义ε-相关免疫性蕴含低阶广义ε-相关免疫性，并根据布尔随机向量联合分布分解式得到了布尔向量函数m阶广义ε-相关免疫的一个谱判别条件，还说明了m阶广义ε-相关免疫布尔向量函数的代数次数不受相关免疫阶数的制约。

Chapter one: Provide the simple introduction to basic conceptions and properties used in the article about MTL-algebra; prove the set of all the filters form a complete distribution lattice in MTL-algebra; Discussion some property characteristics of Boolean filter, at the same time introduce the conceptions of positive implicative filter and obstinate filter, receive some properties of them, discuss the relation between the important filters and their equivalent condition.

第一章：对文章中用到的关于MTL-代数的基本概念和性质给出简单的介绍，证明了MTL代数中的全体滤子之集构成一个完备的分配格；讨论了布尔滤子的一些性质特征，同时引入和固执滤子的概念，得到它们的一些性质，探讨了几类重要滤子之间的关系。

The concepts of MP-filters and Boolean MP-filters in NML algebras are introduced in this paper, and by using MP-filters, the structure of NML algebras are established: If F is the Boolean filters, then M/~ is the Boolean algebras, i. e. the quotient algebra of NML algebras is obtained.

讨论了NML代数的性质，并且在NML代数上引入MP-滤子与MP-理想以及布尔MP-滤子的概念，并利用布尔MP-滤子建立了NML代数的结构：若F是布尔滤子，则M/~是布尔代数，即NML代数的商代数是布尔代数。

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.

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

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.

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

George Boole develops a system of mathematics called Boolean algebra, which uses binary operations.

乔治。布尔开发采用二进位制运算的数学体系，称为布尔代数学。

Do you know, i need you to come back

你知道吗，我需要你回来

Yang yinshu、Wang xiangsheng、Li decang,The first discovery of haemaphysalis conicinna.

1〕 杨银书，王祥生，李德昌。安徽省首次发现嗜群血蜱。