mathematical logic

基本解釋

I learn the formulas that have been proved by mathematical logic and empirical evidence.
我學(xué)到的是已經(jīng)被數(shù)學(xué)推理和實(shí)際經(jīng)驗(yàn)所證明的公式。
Watzlawick et al. selected two theories from the field of mathematical logic on which to base their beliefs about change.
羅瓦茲拉威克等人選擇了兩個來自于數(shù)學(xué)邏輯領(lǐng)域的理論來作為他們對于變革的信念的根基。
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.
巴斯先生用來實(shí)現(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

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