数理逻辑课件 虽然抽象但是讲的很好

计算机编程必备的数学基础知识！图论 数理逻辑

离散课件，帮助你学习，有什么问题，可以查找

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

面向计算机科学的数理逻辑课后答案，英文版课后答案 logic

面向计算机科学的数理逻辑习题答案

哈工大数理逻辑讲义，页数很少，也就是比较简练，希望有人需要它；

高级数理逻辑第四章：谓词演算和一阶逻辑，一阶逻辑谓词

高级数理逻辑的第一章，介绍了高级数理逻辑的发展，及相关应用~

很 有用的。。。。介绍的 蛮透的.。。。。。。。。。。。。。。。。。。。。。。。。

哈工大数理逻辑的历年考试题，一共三套，提供给学弟学妹们复习使用。