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
柯林斯英英字典
专业释义
- 謂詞縯算
- 述詞縯算
- 述詞計算
- 謂詞縯算
- 述詞縯算