查询词典 logic calculus
- 与 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英国数学家和逻辑学家,建立了一种符号逻辑的演算法
- 推荐网络例句
-
I didn't watch TV last night, because it .
昨晚我没有看电视,因为电视机坏了。
-
Since this year, in a lot of villages of Beijing, TV of elevator liquid crystal was removed.
今年以来,在北京的很多小区里,电梯液晶电视被撤了下来。
-
I'm running my simile to an extreme.
我比喻得过头了。