数理逻辑(Mathematical Logic)是一门边缘性学科,它是用形式化方法研究推理中前提与结论之间的形式关系的科学,也就是用专门的符号和数学方法来处理、研究演绎方...
基于4069个网页-相关网页
... First-order logic一阶谓词演算或一阶逻辑 Mathematical Logic数字逻辑 combinational logic组合逻辑 ...
基于1168个网页-相关网页
modern mathematical logic 现代数理逻辑
Fundations of Mathematical Logic 数理逻辑基础
Mathematical Logic Quarterly 数理逻辑学报
Archive for Mathematical Logic 数理逻辑档案
Discrete Mathematics and Mathematical Logic 离散数学与数理逻辑
Elementary Mathematical Logic 数理逻辑入门
applied mathematical logic [数] 应用数理逻辑
Fundamentals of mathematical logic 数学逻辑基础
Mathematical logic in asia 数理逻辑在亚洲
Consequently, the approach to the classical calculus of propositions fairly benefits the knowledge system of mathematical logic.
经典命题演算能行方法的给出,可以进一步发展数理逻辑的知识体系。
参考来源 - 经典命题演算的能行方法研究·2,447,543篇论文数据,部分数据来源于NoteExpress
以上来源于: WordNet
N symbolic logic, esp that branch concerned with the foundations of mathematics 数理逻辑
应用推荐