离散数学

《离散数学》是计算机类各专业的核心基础必修课，也是构建现代算法、数理逻辑与系统分析必不可少的数理基石。本页面提供课程中“命题逻辑”“一阶逻辑”“二元关系”与“图论基础”等章节的章节化授课课件与专题习题讲义下载。所有文件均与备课目录实时同步。

---

章节大纲与课件下载

第 1 章：命题逻辑

章节	核心知识要点	授课课件 / 复习讲义
1.1	命题符号化与联结词	PDF 📂
1.2	命题公式及其分类	PDF 📂
1.3	命题等值演算	PDF 📂
1.4	命题范式	PDF 📂
1.5	命题逻辑推理理论	PDF 📂

第 2 章：一阶逻辑

章节	核心知识要点	授课课件 / 复习讲义
2.1	一阶逻辑的基本概念	PDF 📂
2.2	合式公式与解释	PDF 📂
2.3	一阶逻辑等值演算与前束范式	PDF 📂
2.4	一阶逻辑形式推理理论	PDF 📂

第 4 章：二元关系与函数

章节	核心知识要点	授课课件 / 复习讲义
4.1	笛卡尔积与二元关系	PDF 📂
4.2	关系的运算、性质与闭包	PDF 📂
4.3	等价关系与偏序关系	PDF 📂
复习	第四章习题课与实践专题	复习 PDF 📂

第 5 章：图论基础

章节	核心知识要点	授课课件 / 复习讲义
5.1	图的基本概念	PDF 📂
5.2	通路、连通性与矩阵表示	PDF 📂
5.3	最短路径算法	PDF 📂
5.4	关键路径法	PDF 📂
5.5	图的着色问题	PDF 📂

---

期末复习

类型	资料名称	授课课件 / 复习讲义
样卷	期末复习参考样卷（学生自测版）	下载 PDF 📂
复习	期末专题复习与核心要点讲义	学生版 📂教师版 🔒