The third part illustrates action logic calculus created by von Wright.
第三部分阐述了冯-赖特建立的行动逻辑演算。
Logic calculus of Discrete Mathematics has comprehensive application, in particular, on information handling.
离散数学中的逻辑演算有着广泛的应用，特别是在信息处理方面。
The medium system is a new mathematical theoretical system, in which the medium principle is used as base and the medium logic calculus as a means.
中介系统是以中介原则为基础，以中介逻辑演算为工具的一种新的数学理论系统。
Subjects range from the terrifying logic of "rational racism" to a cold calculus of divorce rates.
题材范围涉及到“理性的种族主义”这一可怕逻辑和关于离婚率的冷冰冰数字。
Leibniz was an inventor of the calculus and a forefather of modern mathematical logic.
莱布尼茨是一个发明家的演算以及祖先的现代数理逻辑。
In mathematical logic in the study is the main target of all kinds of calculus.
在数理逻辑中研究的主要对象是各种演算。
Predicate Calculus language of the traditional semantic component of the mathematical logic of a very rich branch.
谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。
After this, American Logician Kurt Godel proved the completeness theory of predicate calculus. This means the completion of the base of Modern Logic.
之后，美籍逻辑学家歌德尔一阶谓词演算的完备性定理，这标志着现代逻辑基础部分的完成。
This paper investigates the theory and application of incomplete information system by using the medium logic predicate calculus system MFM.
本文借助中介逻辑谓词演算系统MFM，对不完全信息系统的理论和应用进行了研究。
This paper deals with the formal system of propositional calculus of medium logic (MP).
本文讨论了中介逻辑命题演算(MP)的形式系统。
Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed.
讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。
And the grammar study calculus at the same time, there are mathematical logic in the form of the semantic language study.
与演算的语法研究的同时，还有数理逻辑的形式语言的语义研究。
Courses include algebra, calculus, technical mathematics, logic, probability theory, and various computer programming languages.
课程涵盖代数，微积分，科技数学，逻辑学，概率论，和多种电脑程序语言。
In this paper, we point out that there exists a logic problem to calculate the area of circular disc in many textbooks of calculus.
本文中我们首先指出在现行很多“析”和“高等数学”教材中出现的计算圆的面积存在逻辑循环的问题。
MP~M is a 3-valued logic propositional calculus system which is based on the medium logic system, and it is used to deal with the incomplete information in the database.
MP~M系统是在中介逻辑系统的基础上建立起来的，用于处理数据库中不完全信息的三值逻辑命题演算系统。
In this paper, a conditional predicate calculus logic was proposed for representing and reasoning about PKI trust model.
本文提出了一种用条件谓词逻辑来表示和推理pki信任关系的方法。
It includes instruction in algebra. calculus. functional analysis. geometry. number theory. logic. topology and other mathematical specializations.
代数，演算，功能分析，几何，数论，逻辑，拓扑和其他数学专业。
It includes instruction in algebra. calculus. functional analysis. geometry. number theory. logic. topology and other mathematical specializations.
代数，演算，功能分析，几何，数论，逻辑，拓扑和其他数学专业。
应用推荐