×
>>
视频信息:不能播放?点击修复
  • 00-01导论1
  • 01-01 数理逻辑
  • 01-02 命题的概念
  • 00-02导论2
  • 01-03 命题联结词
  • 01-04 条件联结词
  • 01-05 命题公式
  • 01-06 命题的翻译
  • 01-07 真值表
  • 01-08 等价关系
  • 01-09 等价置换定理
  • 01-10 重言式与蕴含式
  • 01-11 其他联结词
  • 01-12 或非
  • 01-13 其他联结词真值表
  • 01-14 联结词及对应的真值指派
  • 01-15 最小全功能联结词集
  • 01-16 对偶式
  • 01-17 范式
  • 01-18 范式存在定理
  • 01-19 小项
  • 01-20 主析取范式
  • 01-21 大项
  • 01-22 主合取范式
  • 01-23 范式的求法
  • 01-24 推理理论
  • 01-25 直接证法
  • 01-26 反证法
  • 01-27 CP规则
  • 01-28 推理证法总结
  • 02-00 谓词逻辑简介
  • 02-01 谓词的概念
  • 02-02 谓词逻辑的翻译
  • 02-03 谓词的合式公式
  • 02-04 约束变元及换名
  • 02-05 闭式
  • 02-06 谓词的等价
  • 02-07 谓词的等价和蕴涵式
  • 02-08 前束范式
  • 02-09 推理的四个基本规则
  • 02-10 谓词逻辑的推理
  • 02-11 谓词逻辑推理实例
  • 03-01 集合论简介
  • 03-02 集合的概念
  • 03-03 子集空集幂集
  • 03-04 集合的运算(1)
  • 03-05 集合的运算(2)
  • 03-06 笛卡尔积
  • 03-07 关系
  • 03-08 关系图和关系矩阵
  • 03-09 自反和反自反
  • 03-10 对称和反对称
  • 03-11 传递关系
  • 03-12 复合关系(1)
  • 03-13 复合关系(2)
  • 03-14 逆关系
  • 03-15 关系的闭包
  • 03-16 传递闭包的运算
  • 03-17 集合的划分
  • 03-18 等价关系
  • 03-19 等价类
  • 03-20 相容类
  • 03-21 偏序关系
  • 03-22 哈斯图例子
  • 03-23 偏序关系的元素
  • 03-24 例子
  • 03-25 链与反链,全序和良序
  • 04-01 函数的定义
  • 04-02 函数的计数
  • 04-03 特殊函数
  • 04-04 函数的复合
  • 04-05 复合函数的性质
  • 04-06 逆函数
  • 05-01 代数系统简介
  • 05-02 代数系统
  • 05-03 运算的性质(1)
  • 05-04 运算的性质(2)
  • 05-05 幺元和零元
  • 05-06 逆元
  • 05-07 半群和独异点
  • 05-08 半群性质的证明(1)
  • 05-09 半群性质的证明(2)
  • 05-10 群
  • 05-11 群的性质(1)
  • 05-12 群的性质(2)
  • 05-13 子群的判定(1)
  • 05-14 子群的判定(2)
  • 05-15 例题
  • 05-16 阿贝尔群
  • 05-17 循环群
  • 05-18 元素的阶
  • 05-19 陪集
  • 05-20 陪集的性质
  • 05-21拉格朗日定理证明
  • 05-22 拉格朗日定理推论
  • 05-23 同态与同构
  • 06-01 格与子格
  • 06-02 格的性质
  • 06-03 格的代数系统定义
  • 06-04 格的同态与同构
  • 06-05 特殊格
  • 06-06 模格和分配格
  • 06-07 分配格的性质
  • 06-08 布尔代数
  • 06-09 布尔代数的性质(1)
  • 06-10 布尔代数的性质(2)
  • 06-11 格的实例
  • 07-01 图论简介
  • 07-02 图的基本概念
  • 07-03 握手定理
  • 07-04 完全图,子图和补图
  • 07-05 图的同构
  • 07-06 路与回路
  • 07-07 割集,连通度
  • 07-08 有向图的连通性
  • 07-09 图的矩阵表示
  • 07-10 欧拉图
  • 07-11 汉密尔顿图
  • 07-12 汉密尔顿图的判定
  • 07-13 汉密尔顿图判定的实际问题
  • 07-14 平面图
  • 07-15 平面图的判定
  • 07-16 对偶图
  • 07-17 五色定理证明
  • 07-18 着色法
  • 07-19 树的定义
  • 07-20 树的性质
  • 07-21 生成树
  • 07-22 最小生成树
  • 07-23 根树
  • 07-24 哈夫曼树构造
  • 07-25 前缀码
  • 猜你喜欢
  • 视频介绍
  • 分集列表
  • 视频下载