离散数学

徐琳

目录

  • 1 命题逻辑
    • 1.1 命题逻辑-命题
      • 1.1.1 练习
    • 1.2 命题逻辑-联接词
      • 1.2.1 练习
    • 1.3 命题逻辑-其他联接词
      • 1.3.1 练习
    • 1.4 命题逻辑-命题公式
      • 1.4.1 练习
    • 1.5 命题逻辑-等值演算
      • 1.5.1 练习
    • 1.6 命题逻辑-主析取范式
      • 1.6.1 练习
    • 1.7 命题逻辑-主合取范式
      • 1.7.1 练习
    • 1.8 命题逻辑-推理定理
      • 1.8.1 练习
    • 1.9 命题逻辑-推理证明方法
      • 1.9.1 练习
    • 1.10 章节测验
  • 2 谓词逻辑
    • 2.1 谓词逻辑-基本概念
      • 2.1.1 练习
    • 2.2 谓词逻辑-谓词演算公式
      • 2.2.1 练习
    • 2.3 谓词逻辑-谓词公式的解释和分类
      • 2.3.1 练习
    • 2.4 谓词逻辑-谓词演算关系式
      • 2.4.1 练习
    • 2.5 谓词逻辑-前束范式
      • 2.5.1 练习
    • 2.6 谓词逻辑-谓词逻辑的推理规则
    • 2.7 谓词逻辑-谓词逻辑推理证明举例
      • 2.7.1 练习
    • 2.8 章节测验
  • 3 集合
    • 3.1 集合的基本概念和表示法
      • 3.1.1 练习
    • 3.2 集合的关系
      • 3.2.1 练习
    • 3.3 集合的运算
      • 3.3.1 练习
    • 3.4 后继集与自然数
    • 3.5 章节测验
  • 4 关系和函数
    • 4.1 关系的概念与笛卡尔积
      • 4.1.1 练习
    • 4.2 关系的表示法
      • 4.2.1 练习
    • 4.3 关系的运算
      • 4.3.1 练习
    • 4.4 关系的性质
      • 4.4.1 练习
    • 4.5 关系闭包
      • 4.5.1 练习
    • 4.6 等价关系
      • 4.6.1 练习
    • 4.7 偏序关系
      • 4.7.1 练习
    • 4.8 函数的定义
    • 4.9 函数的复合和反函数
    • 4.10 集合的基数
      • 4.10.1 练习
    • 4.11 章节测验
  • 5 图论
    • 5.1 图论的起源和发展
    • 5.2 图的基本概念
    • 5.3 图的分类
    • 5.4 子图和补图
    • 5.5 图的同构
      • 5.5.1 练习
    • 5.6 通路和回路
    • 5.7 图的连通性
      • 5.7.1 练习
    • 5.8 图的表示
      • 5.8.1 练习
    • 5.9 章节测验
  • 6 特殊图
    • 6.1 欧拉图
      • 6.1.1 练习
    • 6.2 哈密顿图
      • 6.2.1 练习
    • 6.3 最短路径问题
      • 6.3.1 练习
    • 6.4 中国邮路问题
      • 6.4.1 练习
    • 6.5 二分图
      • 6.5.1 练习
    • 6.6 平面图
    • 6.7 对偶图和图的着色
      • 6.7.1 练习
    • 6.8 章节测验
  • 7 树
    • 7.1 树的定义
      • 7.1.1 练习
    • 7.2 根树
      • 7.2.1 练习
    • 7.3 根树的应用
      • 7.3.1 练习
    • 7.4 章节测验
  • 8 代数系统的基本概念
    • 8.1 抽象代数 - 代数系统引言
    • 8.2 抽象代数 - 运算和代数系统
    • 8.3 代数系统 - 特殊元素
    • 8.4 代数系统间的关系
    • 8.5 章节测验
  • 9 群、环和域
    • 9.1 半群和独异点
    • 9.2 群的概念
    • 9.3 子群
    • 9.4 特殊群 - 循环群和置换群
    • 9.5 陪集与Lagrange定理
    • 9.6 群的同态与同构
    • 9.7 环和域的概念
    • 9.8 子环和环同态
    • 9.9 章节测验
  • 10 格和布尔代数
    • 10.1 格的概念
    • 10.2 格的性质
    • 10.3 子格与格同态
    • 10.4 特殊格
    • 10.5 布尔代数
    • 10.6 章节测验
函数的定义
  • 1 课程视频
  • 2 课件