[数]?符号逻辑
符号逻辑(Symbolic logic)是研究逻辑推论的形式特征的符号抽象的。符号逻辑常常被区分为两个分支:命题逻辑和谓词逻辑。
?数理逻辑
证明集合相等探究-毕业论文参考网 关键词:集合; 数理逻辑; 谓词; 特征函数 [gap=940]Key words: set; symbolic logic; peridication ; eigenfunction
?符号逻萝辑
... symbolic logic 符号逻辑 ; 数理逻辑 ; 符号论理学 ; 符号逻萝辑 symbolic name 符号名 ; 符号名称 ; 标记名 ; 符号名字 Symbolic Address 符号地址 ; 标志位置 ; 符号地址 ...
符号逻辑协会
计 符号逻辑模型
数理逻辑简报
[数]符号逻辑;数理逻辑;符号论理学
mathematical logic
英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。