数理逻辑基础（希尔柏脱 阿克曼）中译版

哈工大任世军老师的课件写得非常好，里面对于PC、ND的部分写得尤其详细~

数理逻辑一本书,比较简单

逻辑是探索、阐述和确立有效推理原则的学科，最早由古希腊学者亚里士多德创建的。用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑。数理逻辑的内容：1、命题逻辑系统2、一阶谓词逻辑系

高级数理逻辑第一章，数理逻辑划分，及现代逻辑体系

数理逻辑.(美)Herbert.B.Enderton.pdf

高级数理逻辑第五章：讲述模态逻辑，可能、必然与任意、存在的关系

本文着重介绍数量逻辑常用的四种证明方法:真值表法、主范式法、推理演算法、归纳推理法,以旨帮助读者了解诸法之区别及运用情境。

阿。克。曼。函。数。递。归。算。法。的。实。现。

离散数学是计算机学科的经典核心基础课程。课程内容主要包括集合论，数理逻辑，关系理论，图论相关内容，为进一步学习计算机科学的基本理论和方法以及之后的专业课打下良好的基础。通过这门课程的学习，将会培养学生

软件介绍: 国防科大王兵山主编数理逻辑教材，有点看着了，如果想考博可以下载。    逻辑和代数是计算机科学的两大理论基础。数理逻辑各个分支中的许多方面和计算机科学有着密切的联系。本书是作者在