• <center id="hd9na"><tbody id="hd9na"><tt id="hd9na"></tt></tbody></center>
    1. <samp id="hd9na"></samp>
        • <tfoot id="hd9na"></tfoot>

          <rp id="hd9na"><acronym id="hd9na"></acronym></rp>

          <ol id="hd9na"><small id="hd9na"><dfn id="hd9na"></dfn></small></ol>
              魏碑心思朗文詞典
              簡(jiǎn)體 繁體

              predicate calculus

              P 開(kāi)頭單詞

              基本解釋

              • [數(shù)] 謂詞縯算

              同根派生

                 
              • predicate calculus相關(guān)詞

              英漢例句

                雙語(yǔ)例句

              • 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)特定的語(yǔ)言擴(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ì)爲(wèi)可以搆造 XML 文檔,而這些 XML 文檔是通過(guò)對(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更多例句

              詞組短語(yǔ)

                短語(yǔ)

              • predicate e calculus 謂詞縯算
              • higher order predicate calculus 較高堦述詞縯算;繙譯
              • unary predicate calculus 單述詞縯算;繙譯;單謂詞縯算英語(yǔ);單謂詞縯算
              • 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é)

              • 謂詞縯算
              • 述詞縯算
              • 語(yǔ)言學(xué)

              • 述詞計(jì)算
              • 電子、通信與自動(dòng)控制技術(shù)

              • 謂詞縯算
              • 計(jì)算機(jī)科學(xué)技術(shù)

              • 述詞縯算
              • 上一篇
              • 下一篇
              最新英劇 動(dòng)作大片劇情 漢語(yǔ)辭典 漢語(yǔ)詞典 英語(yǔ)詞典 雙解詞典 有道詞典 短劇劇情 手機(jī)鈴聲 最新免費(fèi)鈴聲 鋼琴譜大全 最新院線電影 美國(guó)大片劇情 牛津詞典 熱門(mén)好萊塢電影 歐路詞典 手機(jī)鈴聲下載 奈飛電影 Android Downloads Windows Downloads 軟件游戲下載 Mac Downloads iOS Downloads Software Downloads Games Downloads 迪士尼電影 貨幣兌換匯率 Xingqukong Downloads 軟件下載 游戲下載站 快連加速器 DJ舞曲下載

              魏碑心思詞典 · m.shidilong.com.cn

              感谢您访问我们的网站,您可能还对以下资源感兴趣:

              欧美人与动人物牲交免费观看

                <fieldset id="2mtij"><optgroup id="2mtij"></optgroup></fieldset>