×

离散数学

当前位置：外唐教程网 > 视频教程 > 理工科学
>>
视频信息：不能播放？点击修复
  • 绪言
  • 逻辑学概述
  • 数理逻辑回顾
  • 命题的概念及符号化
  • 命题的合式公式
  • 自然语言形式化
  • 命题逻辑等值式
  • 命题逻辑公式的等值置换
  • 命题逻辑公式的对偶
  • 命题逻辑公式的范式和主范式（一）
  • 命题逻辑公式的范式和主范式（二）
  • 命题逻辑公式的范式和主范式（三）
  • 命题逻辑的推理结构（一）
  • 命题逻辑的推理结构（二）
  • 命题逻辑的自然演绎系统（一）
  • 命题逻辑的自然演绎系统（二）
  • 命题逻辑的归结推理方法
  • 谓词逻辑的基本概念
  • 谓词逻辑的自然语言形式化
  • 基本的谓词等值式
  • 谓词逻辑的推理结构
  • 谓词逻辑的归结推理
  • 谓词逻辑的归结反演系统
  • 集合与元素
  • 集合的蕴含与相等
  • 集合的基本运算
  • 关系的定义
  • 关系的性质
  • 关系的运算（一）
  • 关系的运算（二）
  • 偏序关系
  • 格
  • 函数的概念
  • 集合的基数
  • 有穷布尔代数
  • 图的基本定义
  • 道路与回路
  • 图的邻接矩阵 道路矩阵及Warshall算法
  • 树的基本概念
  • 图的关联矩阵及生成树数目
  • 二元树与Huffman树
  • 树与图的遍历
  • 最短路径问题
  • 作业网络和关键路径
  • TSP问题的近似解
  • 最小生成树
  • 平面图
  • 图的染色
  • 图的匹配理论
  • 图的网络模型
  • 猜你喜欢
  • 视频介绍
  • 分集列表
  • 视频下载
网友评论
本周教程点击排行
  1. >徐小湛《高等数学》（全138讲） 479055
  2. >高等数学 199524
  3. >数学分析（陈纪修主讲） 158992
  4. >《电磁学》思考题+习题讲解 139380
  5. >经济数学 133569
  6. >数学分析 126589
  7. >数学分析 117135
  8. >徐小湛《线性代数》全59讲 115860
视频教程索引

软件专题

编程指导

开发框架

前端技术

名校课程