symbolic logic

symbolic logic的基本解释

n.

数理逻辑, 逻辑符号

与symbolic logic相关的网络例句 [注：此内容来源于网络，仅供参考]

In mathematical logic, predicate logic is the formal system of universal symbolic terms, such as first order logic, second order logic, many types of logic or infinitary logic ...

在数理逻辑中，谓词逻辑是符号形式系统的通用术语，比如一阶逻辑，二阶逻辑，多类逻辑或infinitary逻辑。。。。

In part one (chapter 2-3), two new methods and systems of optical parallel logic operation are studied. Triple-in Double-out shadow-casting logic operation system is proposed and realized for the first time. Based on this, optical full adder and 3-bit decoder array logic have been obtained. It is the first time to use coding pattern and different reading-writing model to realize BSO-PROM optical parallel logic operation where the time-order operation is avoided, so that the computing speed of optical parallel logic gate which uses this kind of spatial light modulator is increased, and it is successfully used in optical symbolic substitution .

在第一部分，对两种新的并行光学布尔逻辑运算方法及系统进行了研究：首次提出并实现了三输入、双输出铸影光学逻辑运算系统及其由此得到的光学全加器，并提出一种以此为基础的3-比特译码器阵列逻辑，首次利用图形编码和不同的读写模式实现了无时序操作的BSO-PROM光并行逻辑运算，大大提高了这种空间光调制器用作光并行逻辑门的运算速度，使之成功地用于光学符号代换之中。

From the point of modern logic, the logic developed from traditional logic to classical symbolic logic then to non-classical logic.

从现代逻辑学的视野来看，逻辑学从古至今经历着从传统逻辑到经典逻辑再到非经典逻辑的发展过程。20世纪80年代以来，非经典逻辑在计算机科学和人工智能领域获得了基础性的地位。

与symbolic logic相关的网络解释 [注：此内容来源于网络，仅供参考]

symbolic logic：符号逻辑

1881年英国数学家范恩(John Venn, 1834-1923)出版的>(Symbolic Logic)书中,改良了尤拉的原始想法,创造出知名的范氏图(Venn diagram). 范氏图的方法是处理牵涉到命题变数的逻辑论证. 各个命题变数分别以互相重叠的圆来表示,

symbolic logic：符号逻辑[学]

二进法算术与布尔(George Boole)发明的符号逻辑学(Symbolic logic)有密切关系. 电子计算机采用二进法,里面所有开关电路(Switchingcircuits)的作用都可以用符号表示;电路的简化,往往借助符号逻辑学的定理. 电子计算机的设计师,

symbolic logic：数理逻辑

symbol 符号 | symbolic logic 数理逻辑 | symbolic 象征的

symbolic logic：符号逻萝辑

syllabric articulation 音节清晰度 | symbolic logic 符号逻萝辑 | symmetrical circulator 对称环行器

Symbolic logic semant：二值逻辑语义

建模方法:Modeling Method Symbolic Computation | 二值逻辑语义:Symbolic logic semant | 符号值传播:symbolic value propagation