逻辑代数

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

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

This course includes (1) Introduction to computer hardware,(2) Number system,(3) Boolean algebra,(4) Computer Architecture and program execution,(5) Microprocessor and assembly language.

课程内容包含：(1)计算机硬体介绍，(2)数字系统，(3)布林代数，组合逻辑，(4)计算机基本结构与程式之执行，(5)微处理机及组合语言。

Building on Turing's contribution, Shannon had demonstrated how Boolean algebra and logic could be used in the analysis and synthesis of switching and computer circuits.

在图灵理论的基础之上，香农演示了布尔代数与逻辑如何用于开关与计算机电路的分析与综合。

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阶广义ε-相关免疫布尔向量函数的代数次数不受相关免疫阶数的制约。

We shall have occasion to deal with geometry, both Euclidean and non-Euclidean, with arithmetic, algebra, analytic geometry, the theory of irrationals, set-theory, calculus of probability, and mathematical logic.

我们将与算术，代数，解析几何机会几何处理，包括欧几里德和非欧几里德，是无理的理论，集理论，概率演算，和数学逻辑。

The completeness and soundness theorem of this resolution principle are also proved; Secondly, a α-resolution method which can be used to judge that a lattice-valued logic formula is always α-false (i. e. is always less than α) is established, in which the completeness and soundness theorem are also proved.

进一步，类似于经典情形下寻求判定一个公式恒真的半可判定算法，建立了判定基于格蕴涵代数的格值逻辑中一类格值公式在一定真值水平α下恒假的α-归结方法，并证明了其可靠性和完备性。

A new type of ternary edge-triggered flip--flop based on modular algebra is proposed and applied to thedesign of timing logic circuits.

本文给出了基于模代数理论的三值维持阻塞触发器，并将其应用到时序逻辑电路设H中。

The logical operations require the operators of set algebra: equal to, greater than, and less than, and combinations thereof

逻辑运算需要代数运算者：相同的比较，和比较少的比较，和组合关於

Therefore And,exclusive OR algebra system research in logic function realm are getting the more and more extensive application.

因此与、异或代数系统在逻辑函数的研究领域正在得到越来越广泛的应用。

The study of lattice-valued resolution principle based on lattice-valued logic with truth-value in lattice implication algebras Because of it concise, resolution principle is an implication direction in automated theorem proving, and it will be of significance to establish resolution principle based on non-classical logics.

基于格蕴涵代数的格值逻辑中归结推理的理论与方法研究归结原理由于其简洁性一直是自动定理证明中一个受到广泛重视的研究领域，因而建立基于非经典逻辑的归结方法对于非经典自动定理证明有着重要的意义。

Finally, according to market conditions and market products this article paper analyzes the trends in the development of camera technology, and designs a color night vision camera.

最后根据市场情况和市面上产品的情况分析了摄像机技术的发展趋势，并设计了一款彩色夜视摄像机。

Only person height weeds and the fierce looks stone idles were there.

只有半人深的荒草和龇牙咧嘴的神像。