mathematical logic

 
  • 數理邏輯
new

mathematical logic的英文翻譯是什么意思,詞典釋義與在線(xiàn)翻譯:

英英釋義

Noun:
  1. any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity

mathematical logic的用法和樣例:

例句

  1. On the other hand, Bergson's rival, Bertrand Russell, was willing to humor the Chinese and therefore invited him over for tea.From then on Ch'u studied mathematical logic.
    柏格森的敵人羅素肯敷衍中國人,請他喝過(guò)一次茶,他從此研究數理邏輯。
  2. The tool Mr Barth is employing to effect this transition is linear temporal logic, a system of mathematical logic that can express detailed constraints on the past and the future.
    巴斯先生用來(lái)實(shí)現這一轉化過(guò)程的工具是線(xiàn)性時(shí)序邏輯,一種可以表達過(guò)去和未來(lái)的詳細約束的數理邏輯系統。
今日熱詞
目錄 附錄 查詞歷史
国内精品美女A∨在线播放xuan