15.1 欧拉图 15.2 哈密顿图 15.3 带权图与货郎担问题

哈尔滨理工大学：《离散数学 Discrete Mathematics》课程教学资源（PPT课件讲稿）18 路与回路

14.1 图 14.2 通路与回路 14.3 图的连通性 14.4 图的矩阵表示 14.5 图的运算

哈尔滨理工大学：《离散数学 Discrete Mathematics》课程教学资源（PPT课件讲稿）16 布尔表达式

13.1 格的定义与性质 13.2 子格与格同态 13.3 分配格与有补格 13.4 布尔代数

12.1 环的定义与性质 12.2 整环与域

8.1 函数的定义与性质 8.2 函数的复合与反函数 8.3 一个电话系统的描述实例

5.1 一阶逻辑等值式与置换规则 5.2 一阶逻辑前束范式 5.3 一阶逻辑的推理理论

4.1 一阶逻辑命题符号化 4.2 一阶逻辑公式及解释

– 等值式与基本的等值式 – 等值演算与置换规则 – 析取范式与合取范式、主析取范式与主合取范式