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

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

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

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

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

10.1 二元运算及其性质 10.2 代数系统

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

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

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

–集合的基本概念—集合、相等、(真)包含、子集、空集、 全集、幂集 –集合运算—交、并、(相对和绝对)补、对称差、广义交、 广义并 –文氏图—有穷集计数问题 –集合恒等式