new
mathematical logic的英文翻譯是什麼意思,詞典釋義與在線翻譯:
英英釋義
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.
柏格森的敵人羅素肯敷衍中國人,請他喝過一次茶,他從此研究數理邏輯。 - 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.
巴斯先生用來實現這一轉化過程的工具是線性時序邏輯,一種可以表達過去和未來的詳細約束的數理邏輯系統。