查询词典 logic calculus

Frege's second-order predicate calculus was based on the 'function-argument' analysis of propositions and it freed logicians from the limitations of the 'subject-predicate' analysis of Aristotelian logic.

弗雷格第二阶谓词微积分是基于'功能参数的分析命题，它摆脱了限制逻辑学家的'主谓'亚里士多德逻辑分析。

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.

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

In mathematical logic in the study is the main target of all kinds of calculus.

在数理逻辑中研究的主要对象是各种演算。

The infinitesimal calculus is often defined as an overlapping science of the between the dialectics and constant maths,which is usually expressed in the form of the formal logic.

对微积分学科的知识结构有深入了解，就能进一步分析微积分的思想方法：微积分是变量数学，是辩证法与常量数学交叉且用形式逻辑表达的一门最早的交叉学科。

So we can describe the process model in the logic situation calculus based on the virtual enterprise ontology.

这样，我们就可以在虚拟企业本体论基础上，以逻辑情景演算来描述虚拟企业过程模型。

It designs the assertion language and assertion calculus for Pointer Logic.

这在已存在的比较流行的定理证明器中是不曾实现过的。2。

Predicate logic: also predicate calculus, which studies the internal structure of simple propositions.

谓词逻辑：也叫谓词演算，它研究简单命题的内部结构。

Leibniz wrote memoranda that can now be read as groping attempts to get symbolic logic—and thus his calculus—off the ground.

莱布尼茨写了我们现在可认为是探索得到符号逻辑—还有他的微积分—取得进展的备忘录。

The rules of modus ponens are given and the main results of propositional calculus in two-valued logic.

本文利用有补T-范建立了一类Fuzzy命题演算系统，给出了假言推理规则，推广了二值逻辑中命题演算的主要结果，且演算简单方便。

British mathematician and logician who developed a calculus of symbolic logic.

布尔，乔治1815－1864英国数学家和逻辑学家，建立了一种符号逻辑的演算法

Means the parent directory, so this command means to execute "toolchain.sh," which is in the current directory.

代表父目录，所以这个命令就是执行当前目录下的"toolchain.sh"。

Yes,In fact,I'm on our city ream.

是的。事实上我是我们市队的。