new
symbolic 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
symbolic logic的用法和樣例：
例句
用作名詞 (n.)
- 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)的詳細約束的數理邏輯系統。 - George Boole was an English mathematician who helped establish the field of mathematics called symbolic logic.
喬治布爾是一名曾幫助建立數學(xué)鄰域中邏輯符號的英國數學(xué)家。 - Besides the linear notations for logic, reaschers in artificial intelligence have developed graphic notations called semantic networks.
除了線(xiàn)性邏輯符號，人工智能研究者還為邏輯開(kāi)發(fā)了圖形符號，叫做語(yǔ)義網(wǎng)絡(luò )。
symbolic logic的相關(guān)資料：
近反義詞
【近義詞】
- logic 邏輯
- formal logic 形式邏輯
- mathematical logic 數理邏輯
臨近單詞
symbolicism
symbolic
Symbolic Model Checking for CTL
symbolic assembly language list
symbolic meaning of commodities
symbolic parameter initial value
symbolic-numerical computation
symbolic meaning of construction
Symbolic Network Analysis Program
symbolic polynomial manipulations
symbolic method of representation
Symbolic Program Assembly Routine
