2、公式与解释 （3） 一、原子及其公式 二、公式的解释 三、真值表 四、公式的类型 五、公式的等价 3、范式 （2） 一、范式

二、主析取范式及其唯一性 4、公式类别的判别方法 （2） 一、 真值表法 二、 主析取范式 5、公式的蕴涵 （1.5）

一、 公式蕴涵的三个等价定义及其逻辑结果 二、 公式的逻辑结果与演绎的逻辑结果的等价性 三、 基本蕴涵公式 6、 形式演绎 (1.5) 一、 规则P 二、 规则Q 三、 规则D

7、典型例题解析与本章小结

教学要求

1、掌握： 命题、逻辑联结词的概念；公式与解释的概念，公式的递归定义，用基本等价式化简其他公式；主析取范式及其唯一性，用真值表法判断公式的类型；公式蕴涵与逻辑结果的概念；形式演绎方法。 2、理解：用联结词产生复合命题的方法；公式在解释下的真值；公式范式的概念；形式演绎和蕴涵的关系。

【四】谓词逻辑

教学内容

1、个体词、谓词与量词 （1.5） 一、 个体常元、变元和个体域 二、 谓词与量词

三、 谓词的约束变元与自由变元 2、公式与解释 (2) 一、 原子公式 二、 公式的递归定义

三、 解释

四、 谓词公式的类型 3、等价与蕴涵 (1) 一、 等价 二、 蕴涵

4、谓词逻辑命题符号化 (1.5) 5、例题解析与本章小结

教学要求

1. 掌握：个体词、个体域、谓词、量词的概念和使用；原子、公式、解释的概念；公式在解释下的真值；求公式的前束范式。

2. 理解：用谓词、量词、逻辑联结词描述一个简单命题；公式的递归定义；用解释的方法证明等价式和蕴涵式。

3 了解：以谓词逻辑为工具，将命题符号化。

【五】 图论

教学内容

1、图的概念 (2) 一、 图的基本概念 二、 无向图

三、 图的连通性、同构 2、图的矩阵表示 (1) 一、关联矩阵 二、相邻矩阵

3、权图中的最短路问题 (2) 一、 权图 二、 最短路径

三、迪克斯特拉（Dijkstra） 算法 4、 树 (3) 一、 树 二、 二叉树 三、 支撑树

四、 树的等价性定理 5、权图中的最小树 (1) 一、 权图中的最小树

二、 克鲁斯卡尔（Kruskal）算法 6、有向图与有向树 (1)

7、典型例题解析与本章小结

教学要求

1. 掌握：图的有关概念；用关联矩阵和相邻矩阵表示图；路的基本概念，权图的概念，用Dijkstra算法求权图中最短路；树、二叉树与支撑树的有关概念；用Kruskal算法求权图中最小树。 2. 理解：图的连通、同构的概念；树的等价定理；有向图与有向树的概念。