algebraic logic

基本解釋

• [計(jì)算機(jī)科學(xué)技術(shù)]代數(shù)邏輯
• [電子、通信與自動(dòng)控制技術(shù)]代數(shù)邏輯

英漢例句

雙語(yǔ)例句

• This paper proposes a method of checking the consistency of a UML model based on the algebraic rewriting logic.
  該文提出了一種基於代數(shù)重寫(xiě)邏輯的UML模型一致性檢查的方法。
• According to the theory about logic algebraic equation, the notion of lattice implication algebraic equation was proposed.
  根據(jù)邏輯代數(shù)方程理論，提出了格蘊(yùn)涵代數(shù)方程的概唸。
• But there is also another under-appreciative alternative; the simple algebraic logic of what Jennifer and I call pro-rata sharing
  還有一些別的應(yīng)該得到更多肯定的支持方法；比如說(shuō)這個(gè)我和珍妮彿稱之爲(wèi)按比例分享的簡(jiǎn)單代數(shù)方法

• algebraic logic更多例句

詞組短語(yǔ)

短語(yǔ)

• algebraic logic functional language 代數(shù)邏輯函數(shù)語(yǔ)言
• calculator with algebraic logic 代數(shù)邏輯計(jì)算器;繙譯
• algebraic logic of pocket calculator 袖珍計(jì)算機(jī)的代數(shù)邏輯

• algebraic logic更多詞組

專業(yè)釋義

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

• 代數(shù)邏輯

電子、通信與自動(dòng)控制技術(shù)

• 代數(shù)邏輯