计算机科学中数理逻辑的金典必读阅读资料

高级数理逻辑课件下载，包含7章内容和绪论，含丰富的例题

这是王老师编写的数理逻辑，适合计算机专业人员学习，市面上已经缺货，学习数理逻辑的读者可以参考。

离散数学数理逻辑部分，主要功能是合式公式的判断、主析取范式、主合取范式的求值，真值表，等价性等等

国科大高级人工智能，数理逻辑，形式推演。台湾大学于天立教授“人工智慧”课程

北京大学数理逻辑，讲述了数理逻辑的相关内容，希望对你的学习有帮助。

这是中国科学院大学（简称：国科大）数理逻辑与程序理论课程的平时作业与答案

本书主要是数理逻辑方面的习题,可以用作学习数理逻辑的学习参考书

王老师的经典之作，可以认真研读，尤其是关于独立性的证明，对数理逻辑的发展有清晰的解释

很好的数理逻辑学习教材，计算机专业考研、考博的首选课程。

哈尔滨工业大学李涛班的数理逻辑课后作业,有详细的步骤解法,其中部分是书后习题