Boole
英
美
n. 布尔
双语例句
- George Boole was an English mathematician who helped establish the field of mathematics called symbolic logic.
乔治布尔是一名曾帮助建立数学邻域中逻辑符号的英国数学家。 - That's what's called a Boolean expression named after literally a man named Boole.
这就是以Boolean这个人，的名字命名的布尔表达式。 - Mary Boole got a job as a librarian in Queen's College.
她的母亲玛丽•蒲尔在王后学院的图书馆找到了一份工作。 - Simplification of Multi-variate Boole Functions with the Method of Karnaugh Map of Extended Structure
扩展式卡诺图对多变量布尔函数的化简 - Boole complement elements and the direct product decomposition of R_0-algebra
R0-代数的Boole可补元与直积分解 - Probabilistic logic was proposed by Boole~ [ 42] and rediscovered by Nilsson~ [ 12] There exist some severe problems in Nilsson's probabilistic logic, for example, high computational complexity and inferential vacuousness-inferences typically lead to large probability intervals.
Nilsson的概率逻辑存在着一些严峻的问题，例如高计算复杂度，推理的盲目性，比较典型的是，推理导致巨大的概率区间。 - Algebraic Structures of Rough Set Models in a Finite Boole Lattice
有限Boole格上粗糙集模型的代数结构 - Bound implicative BCK-algebras and Boole Algebras
有界关联BCK-代数与Boole代数 - In this paper we discuss this problem without any set-theoretic hypothesis, give a sufficient condition of Boole algebra A which has strictly positive measure, and construct two interesting counter examples.
本文在完全不附加集论假设的条件下进行了若干讨论，得到了布尔代数A存在严格正测度的充分条件，并构造了两个有趣的反例。 - Property of Boole ring's prime idea
Boole环的素理想的一种特性 - Some Boole Algebras Related to Theory of Topological Molecular Lattices
若干联系拓扑分子格理论的Boole代数 - Boole Process Theory is a new method that was advanced recent years for describing and analyzing circuits.
Boole过程论是近年来出现的一种新的电路描述和解析的手段。 - Using the basic ideas that describe and compute logic circuits in Boole Process Theory, this paper settles some crucial problems in waveform simulation for logic circuit, such as hazards finding and eliminating, feedback circle treatment, false paths discerning and inertia delay conflict.
论文运用Boole过程论中对逻辑电路进行描述和计算的基本思想，较好地解决了逻辑电路波形模拟中的冒险检测与消除、反馈环路处理、伪路径识别和惯性延迟冲突等关键问题。 - It has been proved in this paper that bounded implicative BCK-algebras and Boole algebras are each other equivalent algebraic systems.
主要证明了有界关联BCK一代数与Boole代数是相互等价的代数系统。 - The class of finite Boole Algebra is a true subclass of the class of F lattice-ordered semigroup.
有限Boole代数类是F格半群类的真子类； - In this paper we show that every original ideal in absolute indecomposite MS algebras and classical Boole algebras is kernel ideal.
本文证明了绝对不可分的MS代数和类布尔代数的每个原理想都是核理想。 - In this paper, upper and lower approximate operators on the finite Boole lattice are defined, their properties are discussed and a rough set construction is set up on the finite Boole lattice.
在有限Boole格上定义了上近似算子和下近似算子，讨论了它们的基本性质，从而在有限Boole格上建立了粗糙集结构。 - The λ-truncation matrix R λ, which forms Boole numbers, be able to classify the fuzzy similarity matrix effectively. The result of classify as the same as transitive closure fuzzy clustering.
Boole数形成的λ-截矩阵Rλ能有效的对模糊相似矩阵进行分类，其分类结果与传递闭包法模糊聚类结果一样。 - Approximate Operator on Finite Boole Lattice
有限Boole格上的上下近似算子 - The application of Boole matrix fuzzy clustering used in topographic diagrams data mining
Boole矩阵法模糊聚类在地形图数据挖掘中的应用 - Moreover, by Boole complement elements a direct product decomposition theorem of R_0-algebra is established.
利用Boole可补元构造了R0-代数的一种直积分解。 - General Term-shifting Rules of the Partial Sequence Relation in Boole Algebra
布尔代数中偏序关系的泛移项法则 - Boole operation and reflexivity transitivity of Nonnegative Matrices
非负矩阵的布尔运算及自反性与传递性 - Boole Function and Boole Polynomial
布尔函数与布尔多项式 - Chain conditions and positive measure on Boole algebra
布尔代数上的严格正测度与链条件 - Looking for the contents with keywords according to the Boole logic languages rules.
按照布尔逻辑语言规则输入关键词搜索所需学习内容。 - When there is a positive measure on Boole algebra? This problem had more complete results, but they require some set-theoretic hypothesis usually.
布尔代数上何时存在正测度的问题，虽已有相对完整的结果，但多附有一些集论的假设条件。 - In this paper, the fundamental theory of coons interpolation is studied, and the general method to construct coons interpolation surface presented. At the same time, the Boole sum approximation and its error estimates are also discussed.
文章研究了康斯插值的基本理论，给出了构造康斯插值曲面的一般方法，对布尔和逼近与误差估计也作了探讨； - Until the 19th century Boole invented Boolean algebra, the deduction reasoning process became computing process.
到了19世纪，布尔发明了布尔代数，把演绎推理过程变成了计算的过程。