第三节 特殊的格 北京大学计算机系离散数学讲义(ppt版)教程教案.pptVIP

第三节 特殊的格 模格 分配格 有界格 有补格 布尔格 模格 模格判别条件 模格判别条件（续） 分配格 判别定理一的证明（续） 判别定理二的证明 模格、分配格之间的关系 有界格与有补格 补元与有补格 第五节 布尔代数 布尔代数定义 布尔代数性质 布尔代数的同态 有限布尔代数的结构 布尔格（布尔代数）的定义 定理证明 定理证明（续） 定理的证明（续） 布尔代数的性质 布尔代数的同态 命题的证明 有限布尔代数的结构 作业 复习要点： 模格、分配格、有补格、布尔格定义 以上特殊格的判别定理 布尔代数的性质 布尔代数的同态 有限布尔代数结构的唯一性 书面作业： 习题19.21,19.27,19.28,19.33,19.36.