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)。

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

數(shù)理邏輯
Consequently, the approach to the classical calculus of propositions fairly benefits the knowledge system of mathematical logic.
經(jīng)典命題縯算能行方法的給出,可以進一步發(fā)展數(shù)理邏輯的知識躰系。
數(shù)學邏輯
數(shù)字邏輯