《离散数学》是研究离散结构和离散数量关系的数学分支统称，它是计算机科学中基础理论的核心课程，它在内容上充分体现了计算机科学离散性的特点。本课程主要内容包括数理逻辑、集合论、图论和代数系统等四大主题。 通过本课程的学习，学生将具有现代数学的观点，并初步掌握处理离散问题所必须的描述工具和方法。本课程旨在培养学生抽象思维能力和分析问题、解决问题的能力，并为学好后继专业课打好基础。
第一篇章 数理逻辑
第一讲 离散数学概述
第二讲 命题逻辑的知识准备
第三讲 命题及其表示
第四讲 联结词
第五讲 命题公式及翻译
第六讲 真值表与等价公式
第七讲 等价公式的证明方法
第八讲 重言式与蕴含式
第九讲 蕴含的性质
第十课时 对偶
第十一讲 范式
第十二讲 主范式
第十三讲 推理理论
第十四讲 谓词逻辑
第十五讲 变元的约束
第十六讲 谓词演算的等价公式与蕴含式
第十七讲 前束范式
第十八讲 推理理论
第十九讲 勘误表
单元测验-数理逻辑
第二篇章 集合论
第一讲 集合的基本概念
第二讲 集合的运算
第三讲 序偶与笛卡尔积
第四讲 关系及其表示
第五讲 关系的性质
第六讲 复合关系和逆关系
第七讲 关系的闭包运算
第八讲 集合的划分和覆盖
第九讲 等价关系与等价类
第十讲 相容关系
第十一讲 偏序关系
第十二讲 特殊的偏序集
第十三讲 函数的概念（一）
第十四讲 函数的概念（二）
第十五讲 逆函数
第十六讲 复合函数
单元测试题-集合和二元关系
第四篇章 图论
第一讲 图的基本概念与性质（一）
第二讲 图的基本概念与性质（二）
第三讲 图的基本概念与性质（三）
第四讲 路与回路
第五讲 无向图的连通性
第六讲 有向图的连通性
第七讲 图的矩阵表示（一）
第八讲 图的矩阵表示（二）
第九讲 欧拉图
第十讲 欧拉图的应用
第十一讲 汉密尔顿图
第十二讲 平面图
第十四讲 树与树的性质
第十五讲 生成树
第十六讲 根树的性质
第十七讲 最优树及其应用
单元测验-图论
第三篇章 代数系统
第一讲 代数系统的引入
第二讲 元素的性质
第三讲 半群
第四讲 独异点
第五讲 群
第六讲 子群
单元测试-代数系统