谓词演算与程序语义。
从而形成了模糊谓词演算一种新的语构与语义体系。
Thus a kind of new syntactical and semantical systems of fuzzy predicate calculus are formed.
一个合法的谓词演算表达式，即谓词演算语法所允许的公式。
A legitimate expression of the predicate calculus. That is, it is acceptable under the predicate calculus' syntax.
谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。
Predicate Calculus language of the traditional semantic component of the mathematical logic of a very rich branch.
讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。
Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed.
使用谓词演算来进行知识的表示和推理，能代表实际应用中的许多问题。
Using predicate calculation to carry on knowledge's mean and reason logically, can represent many problem within actual application.
本文借助中介逻辑谓词演算系统MFM，对不完全信息系统的理论和应用进行了研究。
This paper investigates the theory and application of incomplete information system by using the medium logic predicate calculus system MFM.
这种情况下的断言似乎就需要实现特定的语言扩展，于是一些人建议引入一阶谓词演算。
This kind of assertion seems to require special language extensions and has led people to suggest introducing first-order predicate calculus.
之后，美籍逻辑学家歌德尔一阶谓词演算的完备性定理，这标志着现代逻辑基础部分的完成。
After this, American Logician Kurt Godel proved the completeness theory of predicate calculus. This means the completion of the base of Modern Logic.
本文以关系知识模型为基础，用谓词演算和关系演算描述了一个知识库管理系统GKBMS。
Based on the relational knowledge model, the knowledge base management system GKBMS is introduced in this paper. GKBMS combines predicate calculus with relational calculus.
比如在一个图类中，你可能想要表述的典型属性是该图没有回路。这就是一个一阶谓词演算不可表述的属性。
A typical kind of property that you might want to express, say, in a class invariant for a graph class, is that the graph has no cycles.
XQuery被非正式地设计为可以构造XML文档，而这些XML文档是通过对输入的XML文档进行一阶谓词演算得出的。
Informally, XQuery is designed to be able to construct any XML document that can be computed from input XML documents using the power of the first-order predicate calculus.
XQuery被非正式地设计为可以构造XML文档，而这些XML文档是通过对输入的XML文档进行一阶谓词演算得出的。
Informally, XQuery is designed to be able to construct any XML document that can be computed from input XML documents using the power of the first-order predicate calculus.
应用推荐