| 教学周次 | 日期 | 教学内容 | 阅读章节与作业 |
|---|---|---|---|
| 1 | 2025-9-9 |
集合的基本概念、集合的运算性质、序列 |
教学大纲实施细则, KL教学平台使用手册、1.1 |
| 2025-9-11 | 数论基础、计数基础 | 1.2、1.3、第一次书面作业 | |
| 2 | 2025-9-16 | 布尔矩阵及其运算、命题逻辑的基本概念 | 1.4、2.1 |
| 3 | 2025-9-23 | 命题公式及其分类、命题逻辑的等值演算 | 2.2、2.3、第二次书面作业 |
| 2025-9-25 | 析取范式与合取范式、主范式 | 2.4.2、2.4.3 | |
| 4 | 2025-9-30 | 主范式、命题逻辑的推理 | 2.4.3 |
| 5 | 2025-10-14 | 谓词与量词、谓词公式及其分类 | 3.1、3.2、第三次书面作业 |
| 2025-10-16 | 自然语句形式化、谓词逻辑的等值演算、前束范式、谓词逻辑的推理 | 3.3、3.4、3.5、3.6 | |
| 6 | 2025-10-21 | 随堂考试（1） | |
| 7 | 2025-10-28 | 关系及其表示、关系的基本运算、关系的幂和道路、关系的性质 | 4.1、4.2.1、4.2.2、4.3、第四次书面作业 |
| 2025-10-30 | 关系的闭包、等价关系和集合的划分 | 4.4、4.5、第一次综合作业 | |
| 8 | 2025-11-4 | 函数的定义、函数的性质、函数的复合 | 5.1、5.2、5.3 |
| 9 | 2025-11-11 | 逆函数、计算机科学中的常用函数 | 5.4、5.5、第五次书面作业 |
| 2025-11-13 | 偏序关系和偏序集、偏序集中的特殊元素 | 6.1、6.2 | |
| 10 | 2025-11-18 | 格的定义、代数结构 | 6.3.1、7.1 |
| 11 | 2025-11-25 | 半群与亚群、群的概念、群的性质 | 7.2.1、7.2.2、7.2.3、第六次书面作业 |
| 2025-11-27 | 子群、群的同态与同构 | 7.2.4、7.2.5 | |
| 12 | 2025-12-2 | 随堂考试（2） | |
| 13 | 2025-12-9 | 图的基本概念、欧拉图、哈密顿图 | 8.1、8.2、8.3 |
| 2025-12-11 | 平面图、顶点支配、独立与覆盖 | 8.4、8.5、第七次书面作业 | |
| 14 | 2025-12-16 | 匹配、图的着色 | 8.6、8.7、第二次综合作业 |
| 15 | 2025-12-23 | 无向树、支撑树及其应用 | 9.1、9.2 |
| 2025-12-25 | 最短道路树、根树的定义和基本概念、二叉树的遍历 | 9.3、9.4.1、9.4.2、第八次书面作业 | |
| 16 | 2023-12-24 | 最优二叉树与霍夫曼编码、应用专题选讲与整体复习 | 9.4.3 |