2023 春 CS2002.02 数理逻辑基础

课程名称：数理逻辑基础

课程主讲老师：许杨，xuyangcs@ustc.edu.cn

联系助教：QQ群内直接联系，群号696428005

课程PPT：

章节 简介
命题演算 包含数理逻辑最基本的概念

课程作业：

作业次数 作业布置时间 作业提交时间 作业内容

提交方式：TBD

逾期处理：TBD

其他事项：TBD

作业要求：禁止抄袭，鼓励思考

考试时间：TBD

考试内容：TBD

其他资源：（此处全部资源来源于网络，不要外传）

  1. 教材：数理逻辑第2版汪芳庭中国科学技术大学出版社2010年9月：(http://home.ustc.edu.cn/~isaaczhu/cs2002.02/coursebook.pdf)
  2. 参考书：陆钟万，面向计算机科学的数理逻辑，科学出版社，2002
  3. 双重否定的19步直接证明：http://home.ustc.edu.cn/~isaaczhu/cs2002.02/19步直接证明.pdf
  4. 前辈笔记：http://home.ustc.edu.cn/~isaaczhu/cs2002.02/senpainote.pdf
  5. 2022徐贵全老师数理逻辑PPT：http://home.ustc.edu.cn/~isaaczhu/cs2002.02/2022_class_ppt.zip
  6. 陈小平老师-数理逻辑PPT：http://home.ustc.edu.cn/~isaaczhu/cs2002.02/Prof.Chen_old_ppt.zip