predicate calculus

常见例句

This kind of assertion seems previou assert order to require special language extensions and has led people to suggest introducing first-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，对不完全信息系统的理论和应用进行了研究。