离散数学Ⅰ（M210204B），32学时。每周二上午第二节课，10:30~12:20，逸夫教学楼YF508；每教学周2学时。
讲授与练习共28学时，随堂考试共4学时。综合研究性实践在课外完成，具体作业安排以KL教学平台公告为准。
| 教学周次 | 日期 | 教学内容 | 阅读章节与复习 |
|---|---|---|---|
| 1 | 2026-09-08 | 集合、子集与幂集，集合运算、性质与证明，容斥原理、序列 | 1.1 |
| 2 | 2026-09-15 | 数论基础：整除、最大公因子与最小公倍数、欧几里得算法、同余 | 1.2 |
| 3 | 2026-09-22 | 计数基础：加法与乘法法则、排列组合、鸽巢原理；布尔矩阵及其运算 | 1.3、1.4 |
| 4 | 2026-09-29 | 中秋国庆假期休息（计为教学周） | — |
| — | 2026-10-06 | 国庆节休息（不计为教学周） | — |
| 5 | 2026-10-13 | 命题逻辑等值演算、析取范式与合取范式、主范式 | 2.3、2.4.2、2.4.3 |
| 6 | 2026-10-20 | 随堂考试（1） | 复习第1至第5教学周内容 |
| 7 | 2026-10-27 | 主范式与真值表，命题逻辑的推理演算与综合练习 | 第2章 |
| 8 | 2026-11-03 | 谓词、量词、谓词公式与自然语言形式化 | 3.1、3.2、3.3 |
| 9 | 2026-11-10 | 谓词逻辑等值演算、前束范式、推理方法、证明与反驳 | 3.4、3.5、3.6 |
| 10 | 2026-11-17 | 有序对、笛卡尔积、二元关系与多元关系，关系图与矩阵、关系的像与计数 | 4.1 |
| 11 | 2026-11-24 | 关系的运算、幂与道路、性质及其判断，运算对性质的保持 | 4.2、4.3 |
| 12 | 2026-12-01 | 随堂考试（2） | 复习第7至第11教学周内容 |
| 13 | 2026-12-08 | 关系的闭包与Warshall算法，等价关系、划分与商集 | 4.4、4.5 |
| 14 | 2026-12-15 | 函数的定义与性质，函数的复合、逆函数及其性质 | 5.1、5.2、5.3、5.4 |
| 15 | 2026-12-22 | 函数的计数、常用函数与特征函数（1学时）；偏序、拟序、对偶偏序集、积偏序与字典序（1学时） | 第5章、6.1 |
| 16 | 2026-12-29 | 哈斯图、可比性与线性序，极大元/极小元、最大元/最小元、上下界与确界，拓扑排序 | 6.1、6.2 |