离散数学是一门讲授数理逻辑、集合论、代数结构和图论的计算机大类核心课程，总课时48学时，每年春天面向计算机大类开设。
一、日程安排
| 日期 | 内容 |
| Feb, 13 | ▩ 课程概论 ▩ Ch1.《命题逻辑》 ▩ 专题：《被枪毙的囚徒》 |
| Feb, 16 | ▩ Ch1.《命题逻辑》 ▩ 专题：《悖论与命题逻辑》 |
| Feb, 17 | ▩ Ch1.《命题逻辑》 |
| Feb, 20 | ▩ Ch1.《命题逻辑》 |
| Feb, 23 | ▩ Ch1.《命题逻辑》 |
| Feb, 24 | ▩ Ch1.《命题逻辑》 |
| Feb, 27 | ▩ Ch1.《命题逻辑》 |
| Mar, 02 | ▩ Ch2. 《集合论》 ▩ 专题：《希尔伯特旅馆、理发师悖论与集合论的发展》 |
| Mar, 03 | ▩ Ch2. 《集合论》 |
| Mar, 06 | ▩ Ch2. 《集合论》 |
| Mar, 09 | ▩ Ch2. 《集合论》 |
| Mar, 10 | ▩ Ch2. 《集合论》 |
| Mar, 13 | ▩ Ch2. 《集合论》 |
| Mar, 16 | ▩ Ch2. 《集合论》 |
| Mar, 17 | ▩ Ch2. 《集合论》 ▩ 期中课堂测验 |
| Mar, 20 | ▩ Ch3. 《代数结构》 ▩ 专题：《抽象代数结构与当代科学》 |
| Mar, 23 | ▩ Ch3. 《代数结构》 ▩ 专题：《从集合Set到格Lattice》 |
| Mar, 24 | ▩ Ch3. 《代数结构》 |
| Mar, 27 | ▩ Ch5. 《图论》 ▩ 专题：《哥尼斯堡七桥问题和图论的诞生》 |
| Mar, 30 | ▩ Ch5. 《图论》 |
| Mar, 31 | ▩ Ch5. 《图论》 ▩ 专题：《野人过河问题》 |
| Apr, 03 | ▩ Ch5. 《图论》 ▩ 专题：《一笔画游戏和图论》 |
| Apr, 07 | ▩ Ch5. 《图论》 ▩ 专题：《图论和编码理论》 |
| Apr, 10 | ▩ Ch5. 《图论》 ▩ 期末复习 |
1682470800
days
hours minutes seconds
until
期末考试（三教B205）
二、本地课程资源
♥ 《命题逻辑—Slides》 (1.1.命题与联接词, 1.2. 命题公式及其赋值, 2.1. 等值式, 2.2. 析取范式与合取范式, 2.3. 联接词的完备集, 3.1. 推理的形式结构, 3.2. 自然推理系统P)
♥ 《命题逻辑——学生笔记》杜颢天/余诗嘉/郭曼丽/朱家豪(7.1 Mb)
♥ 《集合论—Slides》 (6.1. 集合的基本概念, 6.2. 集合的运算, 6.3. 有穷集的计数, 6.4. 集合恒等式, 7.1. 有序对与笛卡尔积, 7.2. 二元关系, 7.3. 关系的运算, 7.4. 关系的性质, 7.5. 关系的闭包, 7.6. 等价关系与划分, 7.7. 偏序关系)
♥ 《集合论——学生笔记》刘润润/李莎/王绮文/熊宇凡(18.3 Mb)
♥ 《代数结构—Slides》 (9.1. 二元运算及其性质, 9.2. 代数系统, 11.1. 格的定义与性质, 11.2. 分配格、有补格与布尔代数)
♥ 《图论—Slides》 (14.1. 图, 14.2/3 通路与回路, 图的连通性, 14.4. 图的矩阵表示, 15.1/2. 欧拉图, 哈密尔顿图, 16.1/2. 无向树, 生成树, 16.3. 根树及其应用. )
四、考核方式
- 平时成绩 40% （注：作业期末需复查。）
- 期中随堂测验 10%
- 期末闭卷考试 50%
Jingbo's BioNLP Lab 