symbolic 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ó)人，請(qǐng)他喝過(guò)一次茶，他從此研究數(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.
巴斯先生用來(lái)實(shí)現(xiàn)這一轉(zhuǎn)化過(guò)程的工具是線性時(shí)序邏輯，一種可以表達(dá)過(guò)去和未來(lái)的詳細(xì)約束的數(shù)理邏輯系統(tǒng)。
George Boole was an English mathematician who helped establish the field of mathematics called symbolic logic.
喬治佈爾是一名曾幫助建立數(shù)學(xué)鄰域中邏輯符號(hào)的英國(guó)數(shù)學(xué)家。
Besides the linear notations for logic, reaschers in artificial intelligence have developed graphic notations called semantic networks.
除了線性邏輯符號(hào)，人工智能研究者還爲(wèi)邏輯開(kāi)發(fā)了圖形符號(hào)，叫做語(yǔ)義網(wǎng)絡(luò)。