哈尔滨理工大学科解程 离影数
离格与分配格 散 数 学 哈尔滨理工大学本科生课程 计算机系
第六章格与布尔代数 这一章将介绍另一类代数系统,这就是格。 格论大体上是在1935年左右形成的,它不仅是 代数学的一个分支,而且在近代解析几何,半 序空间等方面也都有重要的作用。我们在这里 只介绍格的一些基本知识以及几个具有特别性 质的格—分配格、有补格
第六章 格与布尔代数 这一章将介绍另一类代数系统，这就是格。 格论大体上是在1935年左右形成的，它不仅是 代数学的一个分支，而且在近代解析几何，半 序空间等方面也都有重要的作用。我们在这里 只介绍格的一些基本知识以及几个具有特别性 质的格——分配格、有补格
学习《格与布尔代数》 这一章的要求 学习目的与要求 本章在已经学过的群、环和域几个代数系统的 基础上,进一步学习格这个新的代数系统,并 且学习在计算机科学中有重要应用的布尔代数。 通过本章的学习,使学生进一步了解格的基本 概念,掌握布尔代数的运算规律,为学习数字 逻辑、计算机硬件设计等课程打下数学基础
学习《格与布尔代数》 这一章的要求 一、学习目的与要求 本章在已经学过的群、环和域几个代数系统的 基础上，进一步学习格这个新的代数系统，并 且学习在计算机科学中有重要应用的布尔代数。 通过本章的学习，使学生进一步了解格的基本 概念，掌握布尔代数的运算规律，为学习数字 逻辑、计算机硬件设计等课程打下数学基础
二、知识点 1.格的概念,偏序集上的并运算、 偏序集上的交运算。 2.分配格、有补格; 3.布尔代数、 Stone表示定理及其推 论,布尔表达式、布尔函数、开关代数的 概念
二、知识点 1．格的概念，偏序集上的并运算、 偏序集上的交运算。 2．分配格、有补格； 3．布尔代数、Stone表示定理及其推 论，布尔表达式、布尔函数、开关代数的 概念
、要求 1.识记 根据哈斯图识别是否是格,分配格、有补格, 模格,布尔格、布尔代数。 2.领会 格同构的概念,分配格与模格的关系,格的 全上界的唯一性证明, Stone表示定理、布尔表达 式、析取范式和合取范式。 3.简单应用 开关代数
三、要求 1．识记 根据哈斯图识别是否是格，分配格、有补格， 模格，布尔格、布尔代数。 2．领会 格同构的概念，分配格与模格的关系，格的 全上界的唯一性证明，Stone表示定理、布尔表达 式、析取范式和合取范式。 3．简单应用 开关代数