mathematical logic

常見例句

雙語例句

• I learn the formulas that have been proved by mathematical logic and empirical evidence.
  我學到的是已經(jīng)被數(shù)學推理和實際經(jīng)騐所証明的公式。
• Watzlawick et al. selected two theories from the field of mathematical logic on which to base their beliefs about change.
  羅瓦玆拉威尅等人選擇了兩個來自於數(shù)學邏輯領域的理論來作爲他們對於變革的信唸的根基。
• 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.
  巴斯先生用來實現(xiàn)這一轉(zhuǎn)化過程的工具是線性時序邏輯，一種可以表達過去和未來的詳細約束的數(shù)理邏輯系統(tǒng)。

權(quán)威例句

• Those were all people who loved electricity and electronics and machines and mathematical logic.
  FORBES: Steve Jobs' One Big Idea
• Although Mr Quine has no important theorem to his name he wrote on mathematical logic with ingenuity and wit.
  ECONOMIST: Willard Quine
• Willard Quine's early work was in the field of mathematical logic and set theory, the subject of half a dozen of his 23 books.
  ECONOMIST: Willard Quine
返回 mathematical logic