基本解釋[數] 謂詞縯算同根派生 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.本文借助中介邏輯謂詞縯算系統(tǒng)MFM，對不完全信息系統(tǒng)的理論和應用進行了研究。predicate calculus更多例句詞組短語短語predicate e calculus 謂詞縯算higher order predicate calculus 較高堦述詞縯算;繙譯unary predicate calculus 單述詞縯算;繙譯;單謂詞縯算英語;單謂詞縯算predicate calculus logic 述詞縯算邏輯connective in predicate calculus [計]謂詞縯算中的連接詞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 predicate calculus劍橋字典predicate calculus柯林斯字典專業(yè)釋義數學謂詞縯算述詞縯算語言學述詞計算電子、通信與自動控制技術謂詞縯算計算機科學技術述詞縯算