哈工大数理逻辑.zip

本文为哈工大数控机床的大作业，本人所写，并非在知网等处摘抄，绝无雷同，希望可以对大家有帮助

数理逻辑课件 非常经典 这是比较详细的了

学习过数理逻辑课程之后要求我们能简述数理逻辑的研究对象及科学意义

适合计算机专业类和数学类专业本科以上参考使用

高级数理逻辑第七章：λ-演算（Lambda演算）；λ-演算是一套用于研究函数定义、函数应用和递归的形式系统

数理逻辑又称符号逻辑、理论逻辑。它是数学的一个分支，是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。

命题逻辑、一阶逻辑、形式证明、一阶语言的结构与真值理论。

面向计算机科学的数理逻辑（第二版）-陆钟万(1).pdf

北邮全套的研究生高级数理逻辑资料哦，还有个人整理的部分试卷答案，资源丰富。

本书介绍数理逻辑在机器证明中的应用，陈述简明扼要，是入门的好书！