predicate calculus logic

基本解釋

• [計算機科學(xué)技術(shù)]述詞演算邏輯

英漢例句

雙語例句

• Predicate Calculus language of the traditional semantic component of the mathematical logic of a very rich branch.
  謂詞演算語言的傳統(tǒng)的語義組成了數(shù)理邏輯的一個很豐富的分支。
• In this paper, a conditional predicate calculus logic was proposed for representing and reasoning about PKI trust model.
  本文提出了一種用條件謂詞邏輯來表示和推理PKI信任關(guān)系的方法。
• After this, American Logician Kurt Godel proved the completeness theory of predicate calculus. This means the completion of the base of Modern Logic.
  之后，美籍邏輯學(xué)家歌德爾一階謂詞演算的完備性定理，這標志著現(xiàn)代邏輯基礎(chǔ)部分的完成。

• predicate calculus logic更多例句

詞組短語

短語

• medium logic predicate calculus 中介邏輯謂詞演算
• Medium Logic Predicate Calculus System 中介邏輯謂詞演算

• predicate calculus logic更多詞組

專業(yè)釋義

計算機科學(xué)技術(shù)

• 述詞演算邏輯