symbolic logic
英:[sɪmˈbɔlɪk ˈlɔdʒik] 美: [sɪmˈbɑlɪk ˈlɑdʒɪk]
symbolic logic 基本解释
n.数理逻辑,逻辑符号;
英英释义
symbolic logic
n.any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity同义词:mathematical logicformal logic
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.
柏格森的敌人罗素肯敷衍中国人,请他喝过一次茶,他从此研究数理逻辑。 - 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.
巴斯先生用来实现这一转化过程的工具是线性时序逻辑,一种可以表达过去和未来的详细约束的数理逻辑系统。 - George Boole was an English mathematician who helped establish the field of mathematics called symbolic logic.
乔治布尔是一名曾帮助建立数学邻域中逻辑符号的英国数学家。 - Besides the linear notations for logic, reaschers in artificial intelligence have developed graphic notations called semantic networks.
除了线性逻辑符号,人工智能研究者还为逻辑开发了图形符号,叫做语义网络。
权威例句
Symbolic LogicSymbolic LogicSymbolic logic /Symbolic Logic, An IntroductionSurvey of symbolic logicJournal of Symbolic LogicElements of symbolic logicSymbolic logic and mechanical theorem provingSymbolic logic and mechanical theorem provingA survey of symbolic logic / by C. I. Lewis.Classifying regular events in symbolic logicAutomatic Verification of Synchronous Circuits Using Symbolic Logic Simulation and Tempral LogicReasoning foundations of medical diagnosis; symbolic logic, probability, and value theory aid our understanding of how physicians re...