new
mathematical logic的英文翻譯是什么意思，詞典釋義與在線(xiàn)翻譯：
英英釋義
Noun:
-
any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
mathematical logic的用法和樣例：
例句
- On the other hand, Bergson's rival, Bertrand Russell, was willing to humor the Chinese and therefore invited him over for tea.From then on Ch'u studied mathematical logic.
柏格森的敵人羅素肯敷衍中國人，請他喝過(guò)一次茶，他從此研究數理邏輯。 - 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í)現這一轉化過(guò)程的工具是線(xiàn)性時(shí)序邏輯，一種可以表達過(guò)去和未來(lái)的詳細約束的數理邏輯系統。
