1) 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.
半符号逻辑是一种新的逻辑分支,它试图突破传统和现代逻辑的局限性,建立一种既严格又易于掌握的逻辑体系。
2) 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.
由于符号逻辑计算在现有数学软件中尚无相应的函数;本文首先将符号逻辑表达式抽象为一张向量表,巧妙地将符号逻辑计算转化为二值逻辑运算与对表的操作,成功地实现了符号逻辑乘和逻辑加;最后探讨了符号逻辑计算在图论中的应用。
补充资料：符号逻辑协会
美国研究符号逻辑的学术团体。创立于1936年，会址设在罗得岛州的首府普罗维登斯。其宗旨是探索和批判地研究形式逻辑或数理逻辑以及与之有密切联系的有关学科。该协会通常在12月份举行年会，夏季会议则在欧洲举行。协会的会员不只来自美国，80年代会员约有1500人。它的出版物为《符号逻辑杂志》。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条