 内容1：Dijkstra算法  内容2：Floyd-Warshall算法  内容3：旅行商问题（TSP）  内容4：最大流问题*

 1：等价关系与等价类  2：偏序关系、偏序集、偏序格

 问题1：关系具有哪些重要性质？  问题2：如果计算关系的闭包？

问题1：如何基于命题逻辑进行推理？ 问题2：什么是(一阶)谓词逻辑？ 问题3：如何基于谓词逻辑进行推理？

 内容1：生成树及其构造方法  内容2：最小生成树算法

问题1：什么是命题逻辑？ 问题2：如何判断命题表达式的真假？ 问题3：如何判定命题可满足？

上海交通大学：《离散数学》课程教学资源（讲义）错误汇总（补充2，主讲：刘胜利）

1、图的基本概念 2、图的存储表示 3、图的遍历与连通性 4、最小生成树 5、最短路径 6、活动网络

1.1 命题与联结词 1.2 命题公式及其赋值 1.3 等值演算 1.4 联结词的完备集 1.5 对偶与范式 1.6 推理理论

1 推理定义及形式 2 推理定律与推理规则 3 构造证明法