打算发表一系列关于数理逻辑基础的小文章,希望对一部分读者有用。
数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支,也是逻辑学的一个分支。是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。虽然名称中有逻辑两字,但并不属于单纯逻辑学范畴。(百度百科)
也许看了上述定义你依然不知道学习计算机技术和数理逻辑之间有什么关系。简单的说,软件形式化方法已被广泛关注(你可以搜一下这方面的论文,十分多)。规范语言、定理证明器、模型检测器正被企业常规地应用。而数理逻辑是所有这些技术的基础。现在数理逻辑是计算机科学与技术专业的一门重要的基础课程。
数理逻辑基本的概念涉及:
1。命题逻辑
(包括命题、自然演算、相继式;
合取规则、双重否定规则、蕴含消去规则、MT规则、蕴含引入规则、析取引入和消去规则、copy规则、否定规则、否定引入规则、
MT导出规则、双重否定导出规则、PBC导出规则、排中律导出规则;
合式公式及其语法树和字符串、合式公式的高度、重言式;
范式的语意等值、可满足性、有效性;
合取范式、析取子句、Horn子句;
逼迫规则)
2。谓词逻辑,是为了解决命题逻辑的局限性
(包括谓词表达语句、谓词演算公式、函数符号;
谓词公式三个集合、语言的项、谓词公式语法树、自由变量和约束变量、代换;量词的等价;
谓词逻辑的语意、语意推导、语意相等;
谓词逻辑公式的不可判定性;
谓词逻辑的表达能力、一阶谓词逻辑、存在二阶逻辑、全称二阶逻辑)
3。如果有时间,稍微说一下形式验证。
(包括模型检测;
时态逻辑、线性时态逻辑、计算树逻辑;
迁移系统、有向图表示、路径;
线性时态逻辑间的等价、连接词集)
如果你对这些概念很熟悉或者完全不感兴趣,请掠过;否则敬请期待随后的文章。
推荐的参考资料有:
2。Logic in Computer Science: Modelling and Reasoning about System,Second Edition, Michael Huth and Mark Ryan, Originally Published by Cambridge University Press in 2004.
3。Logic for Mathematicians(Revised Edition), A. G. Hamilton, Originally Published by Cambridge University Press in 1978(1988).
相关推荐
数理逻辑答案,数理逻辑答案,数理逻辑答案,数理逻辑答案
面向计算机科学的数理逻辑课后习题答案_1-5章面向计算机科学的数理逻辑课后习题答案_1-5章面向计算机科学的数理逻辑课后习题答案_1-5章面向计算机科学的数理逻辑课后习题答案_1-5章面向计算机科学的数理逻辑课后习题...
数理逻辑入门经典教材,国外教材的经典教材,数理逻辑热门教材
王浩.数理逻辑通俗讲话 王浩.数理逻辑通俗讲话
哈工大数理逻辑的课后答案,帮助学习学妹完成作业哦,仅供参考。 哈工大数理逻辑的课后答案,帮助学习学妹完成作业哦,仅供参考。
中山大学知名教授的讲义。...帮你学习数理逻辑。。。中山大学知名教授的讲义。。。帮你学习数理逻辑。。。中山大学知名教授的讲义。。。帮你学习数理逻辑。。。中山大学知名教授的讲义。。。帮你学习数理逻辑。。。
数理逻辑简要版,图文并茂,容易理解
数理逻辑基础 数理逻辑基础 数理逻辑基础
高等数理逻辑课件,2018复习资料,utf8面向计算机的数理逻辑电子版
莫绍揆,数理逻辑初步,数理逻辑通俗教材,数理逻辑通俗教材。
数理逻辑部分习题答案:内容包括命题逻辑、一阶逻辑、集合及其运算、等部分的定义、定理、习题与解答
中大数理逻辑教案-不错的数理逻辑教案。。
王老师的经典之作,可以认真研读,尤其是关于独立性的证明,对数理逻辑的发展有清晰的解释
北邮全套的研究生高级数理逻辑资料哦,还有个人整理的部分试卷答案,资源丰富。
本书主要是数理逻辑方面的习题,可以用作学习数理逻辑的学习参考书
数理逻辑考试题及答案.pdf
这是中国科学院大学(简称:国科大)数理逻辑与程序理论课程的平时作业与答案
中文,扫描的数理逻辑答案,Pdf 清晰。请大家下载
国防科大数理逻辑考博往年试题及解析,非常有用,有用有用
北京大学数理逻辑,讲述了数理逻辑的相关内容,希望对你的学习有帮助。