离散数学（Discrete mathematics）是研究离散量的结构及其相互关系的数学学科，是现代数学的一个重要分支。离散的含义是指不同的连接在一起的元素，主要是研究基于离散量的结构和相互间的关系，其对象一般是有限个或可数个元素。离散数学在各学科领域，特别在计算机科学与技术领域有着广泛的应用，同时离散数学也是计算机专业的专业课程，如程序设计语言、数据结构、操作系统、编译技术、人工智能、数据库、算法设计与分析、理论计算机科学基础等必不可少的先行课程。通过离散数学的学习，不但可以掌握处理离散结构的描述工具和方法，为后续课程的学习创造条件，而且可以提高抽象思维和严格的逻辑推理能力，为将来参与创新性的研究和开发工作打下坚实的基础。

• 第一章 命题逻辑
  • 1.1 离散数学
  • 1.2 逻辑联结词（一）
  • 1.3 逻辑联结词（二）
  • 1.4 等价式
  • 1.5 蕴含式
  • 1.6 范式
  • 1.7 主范式（一）
  • 1.8 主范式（二）
  • 1.9 推理理论
• 第二章 谓词逻辑
  • 2.1 个体、谓词
  • 2.2 量词
  • 2.3 辖域
  • 2.4 等价式
  • 2.5 前束范式
  • 2.6 推理理论
• 第三章 集合与关系
  • 3.1 集合和元素
  • 3.2 集合关系与幂集
  • 3.3 集合运算（并集、交集、差集）
  • 3.4 集合运算（补集、对称差）
  • 3.5 容斥原理
  • 3.6 序偶、关系与笛卡尔积
  • 3.7 关系及其表示
  • 3.8 复合关系和逆关系
  • 3.9 关系的性质
  • 3.10 关系的闭包运算
  • 3.11 等价关系与划分
  • 3.12 偏序关系
• 第四章 函数
  • 4.1 函数的基本概念
  • 4.2 特殊函数
  • 4.3 复合函数和逆函数
• 第五章 图
  • 5.1 图的基本概念
  • 5.2 图的连通性
  • 5.3 欧拉图
  • 5.4 二部图与平面图
  • 5.5 树