离散数学I知识模块

这是一篇关于离散数学I知识模块的思维导图。离散的含义是指不同的连接在一起的元素，主要是研究基于离散量的结构和相互间的关系，其对象一般是有限个或可数个元素。

离散数学I

• 数理逻辑
  • 命题逻辑
    • 基本概念
    • 命题符号化
    • 等值演算
    • 推理理论
  • 一阶逻辑
    • 量词、个体和谓词
    • 符号化
    • 前束范式
    • 一阶推理
• 集合论
  • 普通集合及其计算
  • 二元关系
    • 关系的基本运算
    • 偏序关系
    • 等价关系
      • 划分和分类
    • 函数
      • 集合的基数
• 代数结构
  • 基本概念
  • 群
    • 交换群
    • 子群
    • 循环群
    • 群同态
    • 商群
  • 环与域
    • 基本概念
    • 环的分类
    • 子环
    • 环同态
    • 商环
  • 格与布尔格
    • 格的基本概念
    • 子格
    • 格同态
    • 格的种类
      • 模格
        • 非分配格
        • 分配格
      • 有界格
        • 有补格
        • 非有补格