介绍了命题逻辑演算方法。
This paper introduces a method for propositional logic calculation.
第三部分阐述了冯-赖特建立的行动逻辑演算。
The third part illustrates action logic calculus created by von Wright.
离散数学中的逻辑演算有着广泛的应用，特别是在信息处理方面。
Logic calculus of Discrete Mathematics has comprehensive application, in particular, on information handling.
亨普尔验证悖论，又叫乌鸦悖论，是同时运用逻辑演算和尼柯德标准产生的。
Hempel's Paradox of Confirmation or Raven Paradox is a result of conjunction of logical calculus and Nicod's criterion;
中介系统是以中介原则为基础，以中介逻辑演算为工具的一种新的数学理论系统。
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.
借助一阶逻辑演算有条件地把超限递归原理从序数类推广到具有良基关系的类上。
Let's conditionally generalize principle of transfinite recursion from ordinal number class to class with well-founded relation.
莱布尼茨是一个发明家的演算以及祖先的现代数理逻辑。
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.
本文借助中介逻辑谓词演算系统MFM，对不完全信息系统的理论和应用进行了研究。
This paper investigates the theory and application of incomplete information system by using the medium logic predicate calculus system MFM.
谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。
Predicate Calculus language of the traditional semantic component of the mathematical logic of a very rich branch.
本文讨论了中介逻辑命题演算(MP)的形式系统。
This paper deals with the formal system of propositional calculus of medium logic (MP).
这些语言有些是代数结构的，有些是基于演算的，还有的是面向逻辑程序设计的。
Some of such query languages are based on algebra, some are based on calculations, others are based on logic programming.
与演算的语法研究的同时，还有数理逻辑的形式语言的语义研究。
And the grammar study calculus at the same time, there are mathematical logic in the form of the semantic language study.
讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。
Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed.
一阶谓词逻辑是现代逻辑中最为经典的演算系统。
Predicate logic of first order is the most classical calculation system in modern logic.
代数，演算，功能分析，几何，数论，逻辑，拓扑和其他数学专业。
It includes instruction in algebra. calculus. functional analysis. geometry. number theory. logic. topology and other mathematical specializations.
之后，美籍逻辑学家歌德尔一阶谓词演算的完备性定理，这标志着现代逻辑基础部分的完成。
After this, American Logician Kurt Godel proved the completeness theory of predicate calculus. This means the completion of the base of Modern Logic.
MP~M系统是在中介逻辑系统的基础上建立起来的，用于处理数据库中不完全信息的三值逻辑命题演算系统。
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系统是在中介逻辑系统的基础上建立起来的，用于处理数据库中不完全信息的三值逻辑命题演算系统。
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.
应用推荐