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，對不完全信息系統的理論和應用進行了研究。