CS2501-02
2025年秋离散数学课程网站
课程通知 / News
- 2025/9/23：欢迎开始离散数学（CS2501-02）的学习！
- 2025/10/16：图论测验安排在10月20日（周一），以随堂考试的方式进行。考试一共五道单选，五道多选，五道填空，五道大题，一共 20 题。
- 2025/11/6：数理逻辑部分测验安排在11.24，（周一），以随堂考试的方式进行。
课程材料 / Material
| 章节 | 课件 |
|---|---|
| 图论第一章 | Lecture 1 离散数学-图论-Chapter01.pdf |
| 图论第二章 | Lecture 2 离散数学-图论-Chapter02.pdf |
| 图论第三章 | Lecture 3 离散数学-图论-Chapter03.pdf |
| 数理逻辑第一章 | Lecture 4 离散数学-数理逻辑-Chapter01.pdf |
| 数理逻辑第二章 | Lecture 5 离散数学-数理逻辑-Chapter02.pdf |
| 数理逻辑第四章 | Lecture 6 离散数学-数理逻辑-Chapter04.pdf |
| 数理逻辑第五章 | Lecture 7 离散数学-数理逻辑-Chapter05.pdf |
| 集合论第九章 | Lecture 8 离散数学-集合论-Chapter09.pdf |
| 集合论第十章 | Lecture 9 离散数学-集合论-Chapter10.pdf |
| 集合论第十一章 | Lecture 10 离散数学-集合论-Chapter11.pdf |
| 复习 |
作业 / Homework
1.图论第一章作业：《图论与代数结构(第2版)》P13: 1,2,4,7,10,16(邻接矩阵、关联矩阵),17。截止时间：9月28日
2.图论第二章作业：《图论与代数结构(第2版)》P50: 1,2, 3, 4,11,18,20,25。截止时间：10月12日
3.图论第三章作业：《图论与代数结构(第2版)》P82: 1,2, 4,32,33, 39,40,44。截止时间：10月12日
4.数理逻辑第一章作业：《数理逻辑与集合论（第2版）》P12: 1(2,4,6,8), 4(2,4,6), 5(2,4,6,8), 6(2)。截止时间：10月19日
5.数理逻辑第二章作业：《数理逻辑与集合论（第2版）》P37: 1(1,3),2,3,4(2),5(8),7(10,11),8(4,5,6), 9(1),12(1)
6.数理逻辑第四章作业：《数理逻辑与集合论（第2版）》P66: 1(1,2,4,6,8,9),2(3),3(2,3),4(2),5(2,4,6,8,10),7(10),8(2,4,6,7), 10(1,3,5,7)
7.数理逻辑第五章作业：《数理逻辑与集合论（第2版）》P84: 1(1,3,5,7,9), 2(2,4,6,8), 4(1,2,3,4,5,9,10), 3(7,8,9,10,11,12), 5(1,2,3,4)
8.集合论第九章作业：《数理逻辑与集合论（第2版）》P155: 1(4), 2(3), 5(2,4,6,8,10,12), 6(3), 7(1,5), 8(3), 10, 11(4), 12(4), 15(1), 16(1), 17(6)
9.集合论第十章作业：《数理逻辑与集合论（第2版）》P189: 2, 4, 8, 9, 10, 11(4), 12(2), 16, 17(2), 22, 24, 27, 30, 33, 35, 37, 38, 39(1), 41(1), 42, 47
习题课 / 随堂测试 / Exam
补充题
习题课
勘误
1.Canvas上的单元复习题：系统在出题的时候任务简单图包含有向图。教材上的定义是简单图为无向图，按照教材定义本题无可选项。后续以教材上的定义为准。
2.图论第二章课后作业第二十五题：若 $|X|-|Y| \ge 1$，则一定没有哈密顿路径。更改为：若 $|X|-|Y| > 1$，则一定没有哈密顿路径。
3.图论第二章补充题，由穷举法可知不存在H回路
4.图论第二章补充题，从Dirac定理来看，BD都可以
5.完全二叉树的定义以PPT上讲的为准
6.AB都不存在H回路
7.必要条件是D
8.就是无法判断，y是自由变元，这不是命题
9.第九章PPT-p14，错误处：
正确：
10.第九章PPT-p33，错误处：
正确：
