mathematical logic

常見(jiàn)例句

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