数理逻辑

学习材料

教科书

中文

1. [1]
   屈婉玲, 曹永知, 耿素云, and 张立昂, 离散数学, 3rd ed. in 普通高等教育“十一五”国家级规划教材. 高等教育出版社, 2024. Accessed: May 22, 2025. [Online]. Available: https://www.hep.com.cn/book/show/2d67dc4c-217a-41db-81b2-56bfe7428879
2. [2]
   耿素云, 屈婉玲, and 王捍贫, 离散数学教程. in 高等教育精品教材. 北京: 北京大学出版社, 2002.

英文

3. [3]
   J. Avigad, R. Y. Lewis, and F. van Doorn, Logic and Proof. (Dec. 04, 2021). Accessed: May 07, 2026. [Online]. Available: https://avigad.github.io/logic_and_proof/
   免费资源：

   • PDF

公开课

中文

4. [4]
   北京大学. 离散数学（全）-北京大学, (May 24, 2018). Accessed: May 07, 2026. [Online Video]. Available: https://www.bilibili.com/video/BV1BW411n7gw

   主讲：刘田, 屈婉玲, 王捍贫

学习指导

中文

5. [5]
   屈婉玲, 耿素云, 王捍贫, and 刘田, 离散数学习题解析. 北京: 北京大学出版社, 2008. Accessed: Oct. 04, 2026. [Online]. Available: https://book.douban.com/subject/2201366/
6. [6]
   屈婉玲, 曹永知, 耿素云, and 张立昂, 离散数学学习指导与习题解析, 3rd ed. in 普通高等教育“十一五”国家级规划教材配套参考书. 高等教育出版社, 2024. Accessed: Oct. 04, 2026. [平装]. Available: https://www.hep.com.cn/book/show/14b2a634-b12a-41f3-ba25-31ca845f4429

其它参考

教科书

中文

7. [7]
   左孝凌, 李为鑑, and 刘永才, 离散数学, 1st ed. 上海: 上海科学技术文献出版社, 1982. Accessed: Oct. 18, 2026. [Paperback]. Available: https://caixuan.aijiaocai.com/textbook/details?textbook_id=395690
   其它链接：

   • https://www.yuntaigo.com/book.action?recordid=bmFvbWFua2M5Nzg3ODA1MTMwNjk5
   • https://wxtsg.bzpt.edu.cn/museweb/showmarc/table.asp?crc=70C049DB4E250D4E15B07F4E2E00A622&nTmpKzh=314524

英文

8. [8]
   K. H. Rosen, Discrete Mathematics and Its Applications, 9th ed. McGraw-Hill Education, 2025. Accessed: May 07, 2026. [Online]. Available: https://www.mheducation.co.uk/discrete-mathematics-and-its-applications-2025-release-ise-9781266191541-emea-group
9. [9]
   M. Huth and M. Ryan, Logic in Computer Science: Modelling and Reasoning about Systems, 2nd ed. Cambridge University Press, 2012. Accessed: May 07, 2026. [Online]. Available: https://www.cambridge.org/highereducation/books/logic-in-computer-science/9022E2BE5E7C9F20D259F4A83986236C

课程资料

英文

10. [10]
    L. C. Paulson, “Logic and Proof.” 2022. Accessed: Nov. 01, 2026. [PDF and Standard ML]. Available: https://www.cl.cam.ac.uk/teaching/2122/LogicProof/materials.html
    机构：

    • University of Cambridge

    其它链接：

    • Course information

    免费资源：

    • Lecture notes (PDF) (35 pages)
    • Slides (PDF) (170 pages)
    • Standard ML theorem-prover source
    • Standard ML examples

学习指导

英文

11. [11]
    K. H. Rosen, Student’s Solutions Guide for Discrete Mathematics and Its Applications, 8th ed. McGraw-Hill Education, 2018. Accessed: Oct. 04, 2026. [Online]. Available: https://www.mheducation.co.uk/catalog/product/view/id/154843/s/ise-student-s-solutions-guide-for-discrete-mathematics-and-its-applications-9781260092387-emea/category/6839/