哈工大计算机数理逻辑讲义

这是一本有关于数理逻辑的教材。计算机专业背景的朋友都会用到这本书的。

中山大学数理逻辑课后习题答案 无加密 实用 练习 专业 考博

离散数学的重要一篇章。数理逻辑资料。

数理逻辑是采用数学方法来研究推理的一门科学,本书通俗地介绍数理逻辑的基本内容、主要结构、最新的发展,以及研究工作的前沿课题。

译者序 数理逻辑作为基础数学的一个重要分支， 在计算机科学中起着奠基作用， 在模糊数学和 人工智能等方面也都有着广泛的应用， 有关它的教材和参考书有许多. 我们选择Herbert B. Enderto

推荐国防工业出版社2015年专著《证明方法与理论》。是计算机基础理论类的。涉及计算机原理、定理自动证明等。

数理逻辑课件，关于计算机方面的知识！值得我们看看，如果可以喔继续上传！

springer出版的S.M.Srivastava的数理逻辑中级教程，比较简明扼要。适合初中级的读者阅读。

数理逻辑入门经典教材，国外教材的经典教材，数理逻辑热门教材

北京大学出版社离散数学数理逻辑非常有用的工具书