predicate calculus [数] 谓词演算 ; 述词计算 ; 述词演算 ; 述词计较
restricted predicate calculus 狭谓词演算
extended predicate calculus 广义谓词演算
predicate calculus with identity 带恒等式的谓词演算
First Order Predicate Calculus 一阶谓词逻辑 ; 一阶谓词演算 ; 第一阶述词演算
second-order predicate calculus [数] 二阶谓词演算
predicate calculus logic 述词演算逻辑
unary predicate calculus 单述词演算 ; 一元谓词演算
higher order predicate calculus 较高阶述词演算
high-order predicate calculus [数] [计] 高阶谓词演算
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文档进行一阶谓词演算得出的。
This paper investigates the theory and application of incomplete information system by using the medium logic predicate calculus system MFM.
本文借助中介逻辑谓词演算系统MFM，对不完全信息系统的理论和应用进行了研究。
This kind of assertion seems to require special language extensions and has led people to suggest introducing first-order predicate calculus.
这种情况下的断言似乎就需要实现特定的语言扩展，于是一些人建议引入一阶谓词演算。
应用推荐