本课程聚集四个离散结构：数理逻辑、集合论、代数系统和图。

• 概述
• 课程概述
• 第一章 命题逻辑
  • 1.1 命题
  • 1.2 联结词
  • 1.3 命题公式与翻译
  • 1.4 真值表与等价公式
  • 1.5 重言式与蕴含式
  • 1.6 范式
  • 1.7 主析取范式
  • 1.8 主合取范式
  • 1.9 命题演算的推理理论：直接证法
  • 1.10 命题演算的推理理论：间接证法
• 命题逻辑考试
• 第二章 谓词逻辑
  • 2.1 谓词
  • 2.2 命题函数与量词
  • 2.3 谓词演算等价式与蕴含式
  • 2.4 前束范式
  • 2.5 谓词演算推理理论
• 谓词逻辑考试
• 第三章 集合与关系
  • 3.1 关系及其表示
  • 3.2 关系的性质
  • 3.3 关系的闭包（一）
  • 3.4 关系的闭包（二）
  • 3.5 等价关系与等价类
  • 3.6 商集
  • 3.7 序关系
  • 3.8 特殊偏序关系及偏序集中特殊元素
  • 3.1关系及其表示（课件）
  • 3.2关系的性质（课件）
  • 3.3 关系的闭包（一）（课件）
  • 3.4 关系的闭包（二）（课件）
  • 3.5 等价关系与等价类（课件）
  • 3.7 序关系(课件）
• 集合 考试
• 第四章 函数
  • 4.1 函数
  • 4.2 逆函数
  • 4.1 函数（课件）
• 第五章 代数结构
  • 5.1 代数系统的引入
  • 5.2 运算的性质
  • 5.3 特殊元素
  • 5.4 半群
  • 5.5 群与子群
  • 5.6 阿贝尔群和循环群
• 代数结构考试
• 第六章 格
  • 6.1 格
  • 6.2 格的基本性质
  • 6.3 分配格
  • 6.4 有补格
• 格 考试
• 第七章 图
  • 7.1 图的基本概念-1
  • 7.1 图的基本概念-2
  • 7.1 图的基本概念（课件）
  • 7.2 图的连通性
  • 7.2 图的连通性（课件）
  • 7.3 邻接矩阵
  • 7.3 邻接矩阵-2
  • 7.3 邻接矩阵（课件）
  • 7.4 欧拉图与汉密尔顿图
  • 7.4 欧拉图与汉密尔顿图-2
  • 7.4 欧拉图与汉密尔顿图（课件）
  • 7.5 树与生成树
  • 7.5 树与生成树（课件）
• 图 考试