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