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，对不完全信息系统的理论和应用进行了研究。
双语例句
词组短语
- predicate e calculus 谓词演算
- higher order predicate calculus 较高阶述词演算;翻译
- unary predicate calculus 单述词演算;翻译;单谓词演算英语;单谓词演算
- predicate calculus logic 述词演算逻辑
- connective in predicate calculus [计]谓词演算中的连接词
短语
英英字典
- the system of symbolic logic concerned not only with relations between propositions as wholes but also with the representation by symbols of individuals and predicates in propositions and with quantification over individuals (Also called functional calculus)&rarrsee also propositional calculus
柯林斯英英字典
专业释义
- 谓词演算
- 述词演算
- 述词计算
- 谓词演算
- 述词演算