哈尔滨理工大学：《离散数学 Discrete Mathematics》课程教学资源（PPT课件讲稿）19 图的矩阵表示

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

哈尔滨理工大学：《离散数学 Discrete Mathematics》课程教学资源（PPT课件讲稿）15 有补格

1．格的概念，偏序集上的并运算、 偏序集上的交运算。 2．分配格、有补格； 3．布尔代数、Stone表示定理及其推 论，布尔表达式、布尔函数、开关代数的 概念

11.1 半群与独异点 11.2 群的定义与性质 11.3 子群 11.4 陪集与拉格朗日定理 11.5 正规子群与商群 11.6 群的同态与同构 11.7 循环群与置换群

–集合的等势及其性质 –重要的等势或不等势的结果 –集合的优势及其性质 –自然数与自然数集合 –集合的基数 –可数集

7.1 有序对与笛卡儿积 7.2 二元关系 7.3 关系的运算 7.4 关系的性质 7.5 关系的闭包 7.6 等价关系与划分 7.7 偏序关系

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

–推理的形式结构 –自然推理系统P

– 命题、联结词、复合命题 – 命题公式、赋值、命题公式的分类