北航2015级研究生高等数理逻辑期末试题

09-10年北航矩阵论B研究生期末试卷，这份试卷主要题型都是和北航考博士的题型相似，只要做好这份题，把其中涉及的知识点弄明白，北航考博的矩阵论一定会拿高分

研究生英语高校联考试卷 2012研习题10套04—11年英语期末试卷

计算机方面的书，主要是数理逻辑，在数学方面也可以参考。

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

数理逻辑入门AFriendlyIntroductiontoMathematicalLogic

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

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

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

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

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