基本解釋[數(shù)] 謂詞演算同根派生 predicate calculus相關(guān)詞英漢例句雙語例句This kind of assertion seems previou assert order to require special language extensions and has led people to suggest introducing first-order predicate calculus.這種情況下的斷言似乎似乎這種原地就需要實(shí)現(xiàn)特定的語言擴(kuò)展，于是一些人建議引入一階謂引入一些實(shí)現(xiàn)詞演算。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 被非正式地設(shè)計(jì)為可以構(gòu)造 XML 文檔，而這些 XML 文檔是通過對(duì)輸入的 XML 文檔進(jìn)行一階謂詞演算得出的。This paper investigates the theory and application of incomplete information system by using the medium logic predicate calculus system MFM.本文借助中介邏輯謂詞演算系統(tǒng)MFM，對(duì)不完全信息系統(tǒng)的理論和應(yīng)用進(jìn)行了研究。predicate calculus更多例句詞組短語短語predicate e calculus 謂詞演算higher order predicate calculus 較高階述詞演算;翻譯unary predicate calculus 單述詞演算;翻譯;單謂詞演算英語;單謂詞演算predicate calculus logic 述詞演算邏輯connective in predicate calculus [計(jì)]謂詞演算中的連接詞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è)釋義數(shù)學(xué)謂詞演算述詞演算語言學(xué)述詞計(jì)算電子、通信與自動(dòng)控制技術(shù)謂詞演算計(jì)算機(jī)科學(xué)技術(shù)述詞演算