离散数学模块

随着信息时代的到来，工业革命时代以微积分为代表的连续数学占主流的地位已经发生了变化，离散数学的重要性逐渐被人们认识。离散数学课程所传授的思想和方法，广泛地体现在计算机科学技术及相关专业的诸领域，从科学计算到信息处理，从理论计算机科学到计算机应用技术，从计算机软件到计算机硬件，从人工智能到认知系统，无不与离散数学密切相关。

离散数学I

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