- 1、本文档共54页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
天津理工大学本科《离散数学》教学教案
PAGE 186
第6章 格与布尔代数
学习目标:
1.掌握格、格所诱导的代数系统、子格、分配格、有界格、全上(下)界、补元、有补格、布尔格、布尔代数、布尔表达式等概念;
2.掌握格的基本性质及其简单证明;
3.掌握分配格、有补格及布尔格的判别方法;
4.掌握布尔表达式的析(合)取范式的求法。
5.理解布尔函数的概念。
主要内容:
1.格的概念及性质
2.分配格与模格
3.有界格与有补格
4.布尔代数
5.布尔表达式与布尔函数
重点:
1.格的基本性质;
2.分配格、有补格及布尔格的判别方法;
3.布尔表达式的析(合)取范式的求法。
难点:
子格的概念的理解;
有补格、布尔格的判别。
教学手段:
通过多个实例的精讲帮助同学理解重点和难点的内容,并通过大量的练习使同学们巩固和掌握格的概念及其基本性质、分配格、有补格及布尔格的判别方法、布尔表达式的析(合)取范式的求法。
习题:
习题6.1:1,2,4,8;习题6.2:1,4,6,;习题6.3:2,4,8;习题6.4:1,4(双号题);习题6.5:1(双号题),4。
本章将讨论另外两种代数系统——格与布尔代数,它们与群、环、域的基本不同之处是:格与布尔代数的基集都是一个偏序集。格是具有两个二元运算的代数系统,它是一个特殊的偏序集,而布尔代数则是一个特殊的格。
6.1 格的概念及性质
6.1.1 格的概念
1. 格的定义
在第3章,对偏序集的任意一个子集可引入上确界(最小上界)和下确界(最大下界)的概念,但并非每个子集都有上确界或下确界,例如在图6-1所示的偏序集中,{24,36}没有上确界,{2,3}没有下确界。然而有一些偏序集却有这样一个共同特征,即任意两个元素都有上、下确界(不妨把的上(下)确界称为元素的上(下)确界)。例如图6-2中哈斯图所示的偏序集。把具有这种性质的偏序集称为格(Lattices)。
图6-1 非格示例
图6-2 格的示例
定义6.1.1 (格的偏序定义)如果偏序集中的任何两个元素都有上确界和下确界,则称偏序集为格。
例6.1.1 设是一正整数,是的所有正因子的集合。例如,,“|”是整除关系,则是格,因为,有
(与的最小公倍数)
(与的最大公约数)。
例如,,,的哈斯图如图6-2a、b、c所示。
例6.1.2 图6-3中的偏序集都不是格,因为图6-3中无上确界。
图6-3 例6.1.2图
虽然偏序集合的任何子集的上确界、下确界并不一定都存在,但存在,则必唯一,而格的定义保证了任意两个元素的上确界、下确界的存在性。因此我们通常用表示的上确界,用表示的下确界,即
,
,
由于对任何,及都是中确定的成员,因此从代数的意义上说,和都是格中的二元运算,分别称为并(join)和交(meet)运算。这样我们便有如下定义:
定义6.1.2 设是一个格,和分别为上的并和交运算,则称代数系统为由格所诱导的代数系统。
例6.1.3 (1)对任意集合,偏序集为格,其中并、交运算即为集合的并、交运算,即对,
,
和在上封闭,所诱导的代数系统为。
(2)设为所有命题公式的集合,逻辑蕴涵关系“”为上的偏序关系(指定逻辑等价关系“”为相等关系),那么,为格,对任何命题公式、,
(等式右边的和分别为析取与合取逻辑运算符),因此由所诱导的代数系统为。
(3)设表示正整数集,“|”表示上整除关系,那么为格,其中并、交运算即为求两正整数的最小公倍数和最大公约数的运算,即
,
所以由所诱导的代数系统为。
(4)任一全序集是一个格。因为,
,
所以由所诱导的代数系统为。
2.子格
若偏序集是格,非空集合,显然也是一个偏序集,我们自然会问,是否是格? 若是格,是否对任意的,有
为此考察下面的例子。
例6.1.4 设是一个格(见图6-4),取,
,的哈斯图如图6-4。显然偏序集不是格,而都构成格,但是在
图6-4
中,
关于中的“”运算不封闭。在中,
关于中的“”运算也不封闭。而在和中,显然对任意的,均有
即关于中的代数运算“”和“” 是封闭的。我们称和
为的子格。
定义6.1.3 设是一个格,诱导的代数系统为,为的非空子集,若关于中的运算和封闭,则称是的子格。
例6.1.5 是一个格,其中并、交运算即为求两正整数的最小公倍数和最大公约数的运算,即
,
,则也是偏序集,且关于中的和封闭,故是的子格。
例6.1.6 设是一个格,,且。令,则是的一个子格。
证明:首先,故。又对,有,于是,
,
所以。并且
,
所以。因此,即。
同理可
您可能关注的文档
- 第九章 供应链的集成.ppt
- 第六节经纬仪的检验与校正.ppt
- 第六章 泌尿器官疾病-郭定宗 华中农业大学.doc
- 第六章砾岩和角砾岩.ppt
- 第七章 知己知彼百戰百勝徹底解剖「癲癇波」.ppt
- 第七章干酪的生产 - 乳制品加工工艺学.ppt
- 第七章银行保函与备用信用证结算方式.ppt
- 第三单元1 版画艺术--套色版画.doc
- 第十节 呕血与黑便 呕血.ppt
- 第十课 遮罩动画——探照灯文字.ppt
- 食品安全作文300字(通用15篇).pdf
- 飞机维修实习生基本技能鉴定.pdf
- 食品安全培训开班仪式讲话稿(精选5篇).pdf
- 注册安全工程师中级煤矿安全生产专业实务(煤矿安全基础知识)模拟试卷1.pdf
- 试验检测员考试(材料)模拟试卷6.pdf
- 2022-2023年企业人力资源管理师之一级人力资源管理师通关练习题提供答案解析.docx
- 2022-2023年企业人力资源管理师之一级人力资源管理师通关练习题附有答案详解.docx
- 2022-2023年企业人力资源管理师之一级人力资源管理师通关练习题库附答案详解.docx
- 2022-2023年企业人力资源管理师之一级人力资源管理师通关练习题库包含答案.docx
- 2022-2023年企业人力资源管理师之一级人力资源管理师通关练习题库含答案讲解.docx
文档评论(0)