暂无评论
离散数学是计算机学科的经典核心基础课程。课程内容主要包括集合论，数理逻辑，关系理论，图论相关内容，为进一步学习计算机科学的基本理论和方法以及之后的专业课打下良好的基础。通过这门课程的学习，将会培养学生
在数理逻辑中,要确保推理的正确性,首先应保证写出的前提条件是正确的.在将命题符号化时,逻辑联结词的正确使用最为关键.而其中最容易出错的是蕴涵联结词.本文对蕴涵联结词及其相关的一些符号进行了较为深刻的分
哈工大数理逻辑讲义，页数很少，也就是比较简练，希望有人需要它；
高级数理逻辑第四章：谓词演算和一阶逻辑，一阶逻辑谓词
高级数理逻辑的第一章，介绍了高级数理逻辑的发展，及相关应用~
很 有用的。。。。介绍的 蛮透的.。。。。。。。。。。。。。。。。。。。。。。。。
哈工大数理逻辑的历年考试题，一共三套，提供给学弟学妹们复习使用。
北京大学王捍贫老师2012-2013年的数理逻辑上课讲义，网络上有配套的视频
本书是国防科大王兵山主编的一本1993年版本的数理逻辑，如果有考博需要可以下载哦！
国防科大数理逻辑考博往年试题及解析，非常有用，有用有用
暂无评论