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

数理逻辑导论离散数学课件英文版:

数理逻辑中关于哥德尔编码的讲义，很实用，很有内涵

基于英文维基百科精选内容编辑而成。主要贡献包括:校对验证参考文献和注释,删除错误链接和引用;按照参考书方式重新组织内容,审阅内容的完整性和正确性,确保所有内容的质量,避免在使用维基百科时阅读低质量内容

数理逻辑经典书籍,强烈推荐哦。。。。。。。。。。。。。。

北京大学数学学院和信息科学系数理逻辑课件。

赵老师的数理逻辑课程所用的课件。希望对能对大家的学习有所帮助

莫绍揆，数理逻辑初步，数理逻辑通俗教材，数理逻辑通俗教材。

哈尔滨工业大学计算机学院数理逻辑课程课件

数理逻辑讲义,内容全面,生动,适用与基础较好

数理逻辑与集合论（第2版）课后答案 图论课必备！