×
>>
视频信息:不能播放?点击修复
  • 一 数理逻辑之命题逻辑|1.0 数理逻辑简介
  • 1.1 命题的基本概念
  • 1.2 联结词
  • 1.3 命题公式
  • 1.4.a 命题公式之间的关系
  • 1.4.b 命题公式之间的关系
  • 1.4.c 命题公式之间的关系
  • 1.5.a 对偶与范式
  • 1.5.b 对偶与范式
  • 1.6 命题逻辑推理理论
  • 1.7 命题逻辑小结
  • 二 数理逻辑之谓词逻辑|2.1.a 谓词的基本概念
  • 2.1.b 谓词的基本概念
  • 2.2.a 谓词公式与解释
  • 2.2.b 谓词公式与解释
  • 2.3 谓词公式间的关系
  • 2.4 前束范式
  • 2.5.a 谓词逻辑推理理论
  • 2.5.b 谓词逻辑推理理论
  • 2.6 谓词逻辑小结
  • 三 集合论之集合|3.1 集合论简介
  • 3.2 集合的基本概念
  • 3.3 幂集和集族
  • 3.4 集合运算及其性质
  • 3.6 有限集合的计数
  • 四 集合论之二元关系|4.1 二元关系的定义及表示
  • 4.2 关系的性质
  • 4.3 关系的运算
  • 4.4 关系的性质与运算的联系
  • 4.5 等价关系与划分
  • 4.6 相容关系与覆盖
  • 4.7 偏序关系
  • 五 集合论之函数|5.1 函数的定义和分类
  • 5.2 函数的运算
  • 七 代数结构之代数系统|7.0 代数结构简介
  • 7.1.a 二元运算及其性质
  • 7.1.b.1 二元运算性质
  • 7.1.b.2 特殊元素
  • 7.1.b.3 特殊元的性质
  • 7.2.a 代数系统
  • 7.2.b 代数系统
  • 八 代数结构之群论初步|8.1.a 群的定义及其性质
  • 8.1.b 群的定义及其性质
  • 8.2.a 子群与陪集
  • 8.2.b 子群与陪集
  • 8.3 特殊的群
  • 8.5 群论初步小结
  • 十 图论之图的基本概念|10.1 图论及图的基本介绍
  • 10.2 图的定义
  • 10.3 可图化与可简单图化
  • 10.4 图的同构分类与运算
  • 十一 图论之图的连通性|11.1 通路与回路的定义
  • 11.2 无向图的连通性
  • 11.3 有向图的连通性
  • 十二 图论之图的矩阵表示|12.1 邻接矩阵
  • 12.2 可达矩阵
  • 12.3 关联矩阵
  • 十三 特殊图|13.1 树与生成树
  • 13.2 最小生成树
  • 13.3 根树与二叉树
  • 13.4 欧拉图
  • 13.5 哈密顿图
  • 13.6 二分图与平面图
  • A1 数理逻辑实验
  • A2 集合论实验
  • A3 图论实验
  • 猜你喜欢
  • 视频介绍
  • 分集列表
  • 视频下载