离散数学

《离散数学》是计算机类专业常见的基础课程，内容包括命题逻辑、一阶逻辑、二元关系和图论基础等。本页面提供章节课件与专题习题讲义下载。

建议使用电脑桌面端访问，以获得更佳的课件浏览与下载体验。

---

章节大纲与课件下载

第 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 📂
复习	期末专题复习讲义	学生版 📂教师版 📂