1)symbolic logic符号逻辑
1.As a new branch of logic, semi-symbolic logic intends to break through the limitation of traditional and modern logic to build up a logical system, which is both rigorous and easily to understand.半符号逻辑是一种新的逻辑分支,它试图突破传统和现代逻辑的局限性,建立一种既严格又易于掌握的逻辑体系。
英文短句/例句
1.Thoughts on Semi-symbolic Logic --From the Angle of Education;对半符号逻辑的思考——从教育的观点看
2.a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them.研究命题、命题组合及其相关联词的符号逻辑。
3.British mathematician and logician who developed a calculus of symbolic logic.布尔，乔治1815－1864英国数学家和逻辑学家，建立了一种符号逻辑的演算法
4.a person skilled at symbolic logic.熟练于逻辑符号的人。
5.Logical Thinking in Symbolization and Logical Cohesion within a Text;符号化的逻辑思维与语篇的逻辑连接
6.Study on Structure,Logic and Dissymmetry of Semiotics in Advertising;论广告符号的结构、逻辑与不对称性
7.Semiology and the Logical Background of Literary Discourse;从符号学角度看文学语言的“逻辑背景”
8.the quality of being consistent with or based on logic.基于逻辑或与逻辑相符。
9.Sign and Symbol in Wittgenstein s Tractatus;维特根斯坦《逻辑哲学论》中的“指号”和“符号”
10.3.1.6 Logical operators3.1.6 逻辑运算符
11.In a mathematical or logical expression, a symbol that may be replaced by the name of any element of a set.占位符号数学或逻辑用语，可以用其它元素的名称代替的符号
12.On the Trichotomy in Semiotics and its Influence on Linguistic Logic and Philosophy;论符号学三分法对语言哲学和语言逻辑的影响
13.Reasoning and Symbolic Model Checking of Extended Temporal Logics扩展时序逻辑的推理及符号化模型检验技术
14.Symbolic Model Checking Algorithm for Temporal Epistemic Logic CTL*K时态认知逻辑CTL*K的符号化模型检查算法
15.Of, relating to, in accordance with, or of the nature of logic.逻辑的逻辑的、与逻辑有关的、符合逻辑的或具有逻辑性的
16.Rhetorical functions of punctuation marks: Focusing on semi-colons and dashes;论标点符号的修辞作用——实证分析分号、破折号的逻辑与情感功能
17.The logical operation which makes use of the AND operator or logical product.使用AND运算符或逻辑乘积的逻辑运算。
18.Marked by logical sequence.连贯的符合逻辑顺序的
相关短句/例句
symbol,logical逻辑符号
3)semi-symbolic logic半符号逻辑
1.As a new branch of logic, semi-symbolic logic intends to break through the limitation of traditional and modern logic to build up a logical system, which is both rigorous and easily to understand.半符号逻辑是一种新的逻辑分支,它试图突破传统和现代逻辑的局限性,建立一种既严格又易于掌握的逻辑体系。
4)symbolic logic符号逻萝辑
5)symbol logic inference符号逻辑推理
1.A method of implementing symbol logic inference system using recurrent multilayer perceptron neural networks is presented in this paper.介绍一种用循环多层感知器神经网络实现符号逻辑推理系统的方法。
6)symbol logic calculate符号逻辑计算
1.In this paper, because there isn t the function correspond with symbol logic calculate in the mathematic software, firstly symbol logic expression is transformed into a vector table; smartly symbol logic calculate is changed into two-value logic and table operation; so symbol logic add and symbol logic subtract are realized successfully.由于符号逻辑计算在现有数学软件中尚无相应的函数;本文首先将符号逻辑表达式抽象为一张向量表,巧妙地将符号逻辑计算转化为二值逻辑运算与对表的操作,成功地实现了符号逻辑乘和逻辑加;最后探讨了符号逻辑计算在图论中的应用。
延伸阅读
符号逻辑 见数理逻辑。
