mathematical logic

常见例句

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

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