mathematical logic

常見例句

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

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