离散数学研究离散结构及其相互关系，是计算机科学与工程专业的核心基础课，是数据结构、编译原理、数据库、计算机组成原理、算法分析、人工智能、计算机网络等计算机专业课程的数学基础。
本课程对离散数学的理论进行系统的阐述，对离散结构的表示、分析和证明方法进行严谨的介绍。通过丰富的应用实例介绍离散系统的建模和分析方法，帮助同学们在掌握基础理论的同时，理解离散数学理论在解决实际问题中的应用，提高学生应用理论知识分析问题和解决问题的能力，培养和提高逻辑思维能力和计算思维能力。
本课程学习数理逻辑，集合、关系和函数，图论的基本概念、分析和证明方法，为后续计算机学科相关课程学习打下坚实的理论基础。
第一讲 命题逻辑(一)
1.1 命题与联结词
1.2 命题公式及其分类
1.3 命题演算的关系式
作业-命题逻辑（一）
测验-命题逻辑（一）
第二讲 命题逻辑(二）
1.4 范式
1.5 命题演算的推理
测验-命题逻辑（二）
作业-命题逻辑（二）
第三讲 谓词逻辑(一)
2.1 谓词逻辑的基本概念
2.2 谓词演算公式
2.3 谓词公式的解释和分类
测验-谓词逻辑（一）
作业-谓词逻辑（一）
第四讲 谓词逻辑(二)
2.4 谓词演算的关系式
2.5 前束范式
2.6 谓词演算的推理
测验-谓词逻辑（二）
作业-谓词逻辑（二）
第五讲 集合
3.1 集合的基本概念和表示法
3.2 集合的关系
3.3 集合的运算
3.4 后继数和自然数
测验-集合
作业-集合
第六讲 关系和函数(一)
4.1 关系的概念与笛卡尔积
4.2 关系的表示法
4.3 关系的运算
4.4 关系的性质
4.5 关系闭包
测验-关系和函数(一)
作业-关系和函数(一)
第七讲 关系和函数(二)
4.6 等价关系
4.7 偏序关系
4.8 函数
测验-关系和函数(二)
作业-关系和函数(二)
第八讲 图论
5.1 图论的起源和发展
5.2 图的基本概念
5.3 通路、回路、连通的概念
5.4 图的表示
测验-图论的基本概念
作业-图论
第九讲 特殊图 (一)
6.1 欧拉图
6.2 哈密顿图
6.3 最短路径问题
测验-特殊图(一）
第十讲 特殊图 (二)
6.4 中国邮路问题
6.5 匹配和二分图
6.6 平面图
测验-特殊图(二)
作业-特殊图(二）
第十一讲 树
7.1 树的定义和生成树
7.2 根树
7.3 根树的应用
测验-树
作业-树