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