| 释义 |
symbolic logic sɪmˈbɔlɪkˈlɔdʒik 短语⁴⁸⁷⁶³
基本英英近义反义例句Thesaurus例句
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近义词 logic逻辑formal logic形式逻辑mathematical 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.柏格森的敌人罗素肯敷衍中国人，请他喝过一次茶，他从此研究数理逻辑。
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 calledsymbolic logic.乔治布尔是一名曾帮助建立数学邻域中逻辑符号的英国数学家。
Besides the linear notations for logic, reaschers in artificial intelligence have developed graphic notations called semantic networks.除了线性逻辑符号，人工智能研究者还为逻辑开发了图形符号，叫做语义网络。noun.formal logic
同义词 mathematical logic The process of simulating the estimation through a computer is actually to find out the symbolic logic relations between the factors which have influences on music play and the index of estimation.
采用电脑来模拟这个评价过程，实质上就是要找出影响音乐演奏效果的因素和评价指标之间的数理关系。 fabiao
From the point of modern logic, the logic developed from traditional logic to classical symbolic logic then to non- classical logic.
从现代逻辑学的视野来看，逻辑学从古至今经历着从传统逻辑到经典逻辑再到非经典逻辑的发展过程。 cnki |