基本解釋[數(shù)] 符號(hào)邏輯；數(shù)理邏輯；符號(hào)論理學(xué)同根派生 symbolic logic相關(guān)詞英漢例句用作名詞 (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ó)人，請(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)，人工智能研究者還為邏輯開(kāi)發(fā)了圖形符號(hào)，叫做語(yǔ)義網(wǎng)絡(luò)。symbolic logic更多例句詞組短語(yǔ)短語(yǔ)Formal symbolic logic 邏輯model of symbolic logic [計(jì)]符號(hào)邏輯模型symbolic logic algorithm 符號(hào)邏輯算法Symbolic Logic I 符號(hào)邏輯Association of Symbolic Logic 符號(hào)邏輯學(xué)會(huì)symbolic logic更多詞組英英字典柯林斯英英字典 &rarrsame as formal logic symbolic logic劍橋字典symbolic logic柯林斯字典專業(yè)釋義藝術(shù)學(xué)數(shù)理模式數(shù)學(xué)符號(hào)邏蘿輯符號(hào)邏輯數(shù)理邏輯電子、通信與自動(dòng)控制技術(shù)符號(hào)邏蘿輯符號(hào)邏輯機(jī)械工程符號(hào)邏輯計(jì)算機(jī)科學(xué)技術(shù)符號(hào)邏輯