symbolic logic

 
       
  • n. 數理邏輯;邏輯符號
new

symbolic logic的英文翻譯是什麼意思,詞典釋義與在線翻譯:

英英釋義

Noun:
  1. 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.)
  1. 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.
    柏格森的敵人羅素肯敷衍中國人,請他喝過一次茶,他從此研究數理邏輯。
  2. 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.
    巴斯先生用來實現這一轉化過程的工具是線性時序邏輯,一種可以表達過去和未來的詳細約束的數理邏輯系統。
  3. George Boole was an English mathematician who helped establish the field of mathematics called symbolic logic.
    喬治布爾是一名曾幫助建立數學鄰域中邏輯符號的英國數學家。
  4. Besides the linear notations for logic, reaschers in artificial intelligence have developed graphic notations called semantic networks.
    除了線性邏輯符號,人工智慧研究者還為邏輯開發了圖形符號,叫做語義網路。
今日熱詞
目錄 附錄 查詞歷史