面向计算机科学的数理逻辑:系统建模与推理

国防科大数理逻辑考博往年试题及解析，非常有用，有用有用

国内最为经典详实的数理逻辑教材。中国科学技术大学出版社1990年出版。包含命题逻辑、谓词逻辑、哥德尔不完备性定理等内容。 下载后可以通过Adobe PDF虚拟打印机打印成PDF文档。

数理逻辑是基础工具，研究PLT必备。类型论是PLT的一个重要方面。范畴论是类型论的抽象工具。编程语言有无类型都是图灵等价的。类型只是标注，擦除掉也不影响解释执行。类型标志就像xx编程规范，可以增强可读性正确性，减少bug。但也不仅于此，类型是对编程语言的抽象，类型表达一类变量或函数的共同行为特征。

该资料包含一些数理逻辑相关的教材，其中包括 1 ：数理逻辑：基本原理与形式演算-李未 2 ：数理逻辑引论 孙希文 3 ：计算机科学的数理逻辑 4 ：计算机科学中的现代逻辑学王元元 5：逻辑学 高清 电子书 下载 pdf [胡泽洪，周祯祥，王健 6：逻辑学导论.第11版.(美)柯匹;科恩.pdf 7：面向计算机科学的数理逻辑（第二版）-陆钟万.pdf 8：模态逻辑引论 周礼全.pdf 9：数理逻辑.pdf 10：数理逻辑导引--张尚水.pdf 11：数理逻辑基础：一阶逻辑与一阶理论.pdf 12 ：数理逻辑教程.pdf

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

中文，扫描的数理逻辑答案，Pdf 清晰。请大家下载

哈工大数理逻辑的课后答案，帮助学习学妹完成作业哦，仅供参考。

哈工大数理逻辑2006-2007试卷A+答案

可计算性与数理逻辑（第四版）（中文版） 这是一本计算机科学领域很重要的一本书，讲解可计算性和数理逻辑方面的深入的内容。