×
>>
视频信息:不能播放?点击修复
  • 01 第一章 命题逻辑 第一节 命题与联结词
  • 02 第一章 命题逻辑 第二节 命题公式与翻译
  • 03 第一章 命题逻辑 第三节 真值表与等价公式
  • 04 第一章 命题逻辑 第四节 重言式与蕴含式
  • 05 第一章 命题逻辑 第五节 其他联结词
  • 06 第六节 对偶与范式
  • 07 第七节 推理理论
  • 08 第二章 谓词逻辑 第一节 谓词、命题函数与量词
  • 09 第二节 谓词公式与翻译
  • 10 第三节 变元的约束
  • 11 第四节 谓词演算的等价式与蕴含式
  • 12 第五节 前束范式
  • 13 第六节 谓词演算的推理理论
  • 14 第三章 集合论 第一节 集合概念及其表示法
  • 15 第二节 集合的运算
  • 16 序偶与笛卡尔积
  • 17 第四节 序偶与笛卡尔积
  • 18 第五节 关系及其表示
  • 19 第六节 关系的性质
  • 20 第七节 复合关系和逆关系
  • 21 第八节 关系的闭包运算
  • 22 等价关系与划分
  • 23 第十节 等价关系与划分
  • 24 第十一节 相容关系与覆盖
  • 25 第十二节 偏序关系
  • 26 第四章 函数 第一节 函数的概念
  • 27 第二节 逆函数和复合函数
  • 28 代数系统的基本概念
  • 29 第四节 基数的概念(自学)
  • 30 第五节 可数集与不可数集(自学)
  • 31 第六节 基数的比较(自学)
  • 32 第五章 代数结构 第一节 代数系统的基本概念
  • 33
  • 34 第三节 半群
  • 35 第四节 群(阿贝尔群和循环群)
  • 36
  • 37
  • 猜你喜欢
  • 视频介绍
  • 分集列表
  • 视频下载