ImageVerifierCode 换一换
格式:PPT , 页数:17 ,大小:374KB ,
资源ID:3150019      下载积分:8 金币
验证码下载
登录下载
邮箱/手机:
验证码: 获取验证码
温馨提示:
支付成功后,系统会自动生成账号(用户名为邮箱或者手机号,密码是验证码),方便下次登录下载和查询订单;
特别说明:
请自助下载,系统不会自动发送文件的哦; 如果您已付费,想二次下载,请登录后访问:我的下载记录
支付方式: 支付宝    微信支付   
验证码:   换一换

开通VIP
 

温馨提示:由于个人手机设置不同,如果发现不能下载,请复制以下地址【https://www.zixin.com.cn/docdown/3150019.html】到电脑端继续下载(重复下载【60天内】不扣币)。

已注册用户请登录:
账号:
密码:
验证码:   换一换
  忘记密码?
三方登录: 微信登录   QQ登录  
声明  |  会员权益     获赠5币     写作写作

1、填表:    下载求助     留言反馈    退款申请
2、咨信平台为文档C2C交易模式,即用户上传的文档直接被用户下载,收益归上传人(含作者)所有;本站仅是提供信息存储空间和展示预览,仅对用户上传内容的表现方式做保护处理,对上载内容不做任何修改或编辑。所展示的作品文档包括内容和图片全部来源于网络用户和作者上传投稿,我们不确定上传用户享有完全著作权,根据《信息网络传播权保护条例》,如果侵犯了您的版权、权益或隐私,请联系我们,核实后会尽快下架及时删除,并可随时和客服了解处理情况,尊重保护知识产权我们共同努力。
3、文档的总页数、文档格式和文档大小以系统显示为准(内容中显示的页数不一定正确),网站客服只以系统显示的页数、文件格式、文档大小作为仲裁依据,个别因单元格分列造成显示页码不一将协商解决,平台无法对文档的真实性、完整性、权威性、准确性、专业性及其观点立场做任何保证或承诺,下载前须认真查看,确认无误后再购买,务必慎重购买;若有违法违纪将进行移交司法处理,若涉侵权平台将进行基本处罚并下架。
4、本站所有内容均由用户上传,付费前请自行鉴别,如您付费,意味着您已接受本站规则且自行承担风险,本站不进行额外附加服务,虚拟产品一经售出概不退款(未进行购买下载可退充值款),文档一经付费(服务费)、不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
5、如你看到网页展示的文档有www.zixin.com.cn水印,是因预览和防盗链等技术需要对页面进行转换压缩成图而已,我们并不对上传的文档进行任何编辑或修改,文档下载后都不会有水印标识(原文档上传前个别存留的除外),下载后原文更清晰;试题试卷类文档,如果标题没有明确说明有答案则都视为没有答案,请知晓;PPT和DOC文档可被视为“模板”,允许上传人保留章节、目录结构的情况下删减部份的内容;PDF文档不管是原文档转换或图片扫描而得,本站不作要求视为允许,下载前自行私信或留言给上传者【丰****】。
6、本文档所展示的图片、画像、字体、音乐的版权可能需版权方额外授权,请谨慎使用;网站提供的党政主题相关内容(国旗、国徽、党徽--等)目的在于配合国家政策宣传,仅限个人学习分享使用,禁止用于任何广告和商用目的。
7、本文档遇到问题,请及时私信或留言给本站上传会员【丰****】,需本站解决可联系【 微信客服】、【 QQ客服】,若有其他问题请点击或扫码反馈【 服务填表】;文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“【 版权申诉】”(推荐),意见反馈和侵权处理邮箱:1219186828@qq.com;也可以拔打客服电话:4008-655-100;投诉/维权电话:4009-655-100。

注意事项

本文(离散数学课件第七章(第1讲).ppt)为本站上传会员【丰****】主动上传,咨信网仅是提供信息存储空间和展示预览,仅对用户上传内容的表现方式做保护处理,对上载内容不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知咨信网(发送邮件至1219186828@qq.com、拔打电话4008-655-100或【 微信客服】、【 QQ客服】),核实后会尽快下架及时删除,并可随时和客服了解处理情况,尊重保护知识产权我们共同努力。
温馨提示:如果因为网速或其他原因下载失败请重新下载,重复下载【60天内】不扣币。 服务填表

离散数学课件第七章(第1讲).ppt

1、 本章将介绍其他的代数系统本章将介绍其他的代数系统格和布尔代数,格和布尔代数,格论是数学的一个分支,不仅在近代解析集合有格论是数学的一个分支,不仅在近代解析集合有重要的作用,而且在计算机领域也有一定的用途;重要的作用,而且在计算机领域也有一定的用途;布尔代数形成比较早,在布尔代数形成比较早,在19世纪,就已经有了相世纪,就已经有了相当的发展,布尔代数是研究和逻辑、集合等运算当的发展,布尔代数是研究和逻辑、集合等运算有关的知识。有关的知识。n7.1 格的概念格的概念n7.2 分配格分配格n7.3 有补格有补格n7.4 布尔代数布尔代数第七章第七章 格与布尔代数格与布尔代数7.1 格的概念格的概念

2、 例:偏序集例:偏序集(2,3,5,7,14,15,21,/),“/”为整除关系。为整除关系。其其hasze图如下:图如下:2,7的最小上界、最大下界各为什的最小上界、最大下界各为什么?么?2,3呢?呢?5,14呢?呢?2,7的最小上界为的最小上界为14。最大下界无。最大下界无。2,3的最小上界无,最大下界无。的最小上界无,最大下界无。5,14的最小上界无,最大下界无。的最小上界无,最大下界无。然而也存在这样一类偏序集,它的每一对元素都有最小上界然而也存在这样一类偏序集,它的每一对元素都有最小上界和最大下界,如:偏序集和最大下界,如:偏序集(1,2,3,4,6,8,12,24,/):其:其Ha

3、sze图图如下:如下:1、格、格 定义:设定义:设是一个偏序集,若对是一个偏序集,若对A中的任两个元素中的任两个元素a、b,都有最小上界和最大下界,则称,都有最小上界和最大下界,则称为格。为格。其中上确界其中上确界 lub a,b,记为,记为ab,称为称为a和和b的并。的并。下确界下确界 glb a,b,记为,记为ab,称为称为a和和b的交。的交。将将、,看作集合上的两个二元运算,故格,看作集合上的两个二元运算,故格所诱所诱导的代数系统记作导的代数系统记作。例:下述偏序集能构成格的是(例:下述偏序集能构成格的是()(a)(b)(c)(d)bbcdefacdfabcdefghabcdefac2、

4、对偶格 对偶格:若对偶格:若是一个偏序集,则是一个偏序集,则也是一个也是一个偏序集,其中偏序集,其中“”是是“”的逆关系。若的逆关系。若是是一个格,则一个格,则也是一个格,称这两个格互为对偶也是一个格,称这两个格互为对偶格。格。若将关于格若将关于格的命题中符号的命题中符号,、,分别,分别用用,、,代替,则得到一个新的命题,称这个,代替,则得到一个新的命题,称这个新命题为原命题的对偶命题。新命题为原命题的对偶命题。定理:对于格中的一个真命题,其对偶命题亦真定理:对于格中的一个真命题,其对偶命题亦真。3、格的性质、格的性质定理定理1:若:若是一个格,则对任意是一个格,则对任意a、b、c A,有,有

5、(1)aab,bab (2)aba,abb(3)若若ac且且bc,则,则abc(4)若若ca且且cb,则,则cab(1)aab,bab 证明:因证明:因ab=luba,b,它显然是,它显然是 a 的一个上界,的一个上界,aab,同理:,同理:bab。(2)aba,abb证明:因证明:因ab=glba,b,它显然是,它显然是 a 的一个下界,的一个下界,aba,同理:,同理:abb。(3)若)若ac且且bc,则,则abc 证明:证明:ac且且bc,由上界的定义知,由上界的定义知,c是是a,b的一个上界,的一个上界,而而ab是是a,b的最小上界,的最小上界,abc。(4)若若ca且且cb,则,则c

6、ab 证明:证明:ca且且cb,由下界的定义知,由下界的定义知,c是是a,b的一个下界,的一个下界,而而ab是是a,b的最大下界,的最大下界,cab。推论:在推论:在中,对于任意中,对于任意a,b,c A,如果,如果bc,则,则 abac,abac。定理定理2:若:若是一个格,则对于任意是一个格,则对于任意a,b A,以,以下三个公式等价;下三个公式等价;(1)ab (2)ab=b (3)ab=a(1)ab (2)ab=b (3)ab=a 证明:(证明:(1)(2)ab 且偏序关系是自反的。且偏序关系是自反的。bb,abb 又又 bab成立成立 ab=b(偏序关系是反对称的)(偏序关系是反对称

7、的)设设ab=b aab成立,将成立,将ab=b代入代入aab得:得:ab 类似可证(类似可证(1)(3)定理定理3:是一个格,则对于任意是一个格,则对于任意a,b,c A,满足以下四个定律:满足以下四个定律:(1)交换律:)交换律:ab=ba ab=ba (2)吸收律:)吸收律:a(ab)=a a(ab)=a (3)结合律:)结合律:a(bc)=(ab)c a(bc)=(ab)c (4)等幂律:)等幂律:aa=a aa=a定理定理4:设有格:设有格,对于任意,对于任意a,b,c,d A,如果,如果ab和和cd,则,则(1)acbd,(2)acbd 证:证:bbd,dbd ,而而ab,cd,由

8、传递性可得:由传递性可得:abd,cbd,这就表明这就表明bd是是a和和c的一个上界,而的一个上界,而ac是是a和和c的最小上界,的最小上界,必有必有acbd。类似可以证明:类似可以证明:acbd 定理定理5:在一个格:在一个格中,对于任意中,对于任意a,b,c A,有下列,有下列分配不等式成立:分配不等式成立:(1)a(bc)(ab)(ac)(2)a(bc)(ab)(ac)证:由定理证:由定理1,(,(1)()(2)知:)知:aab和和aac,可得:,可得:a(ab)(ac),),又又 bc b ab和和 bc c ac bc(ab)(ac)对于对于和和,有:,有:a(bc)(ab)(ac)类似可证明:(类似可证明:(ab)(ac)a(bc)n定义:定义:设设是一个格,设非空集合是一个格,设非空集合S且且S A,若对任意的若对任意的a,b S,有有a b S,a b S,则称则称是是的子格。的子格。n显显然然,子子格格必必是是格格。而而格格的的某某个个子子集集构构成成格格,却却不不一一定是子格。定是子格。4、子格、子格例例:设:设A,是一个格,其中是一个格,其中A=a,b,c,d,e,其哈斯图如下图所示。其哈斯图如下图所示。S1=a,b,c,d,S2=a,b,c,e.则则S1,是是A,是一个子格,是一个子格,S2,不是不是A,的一个子格,因为的一个子格,因为b c=d S2。

移动网页_全站_页脚广告1

关于我们      便捷服务       自信AI       AI导航        获赠5币

©2010-2025 宁波自信网络信息技术有限公司  版权所有

客服电话:4008-655-100  投诉/维权电话:4009-655-100

gongan.png浙公网安备33021202000488号   

icp.png浙ICP备2021020529号-1  |  浙B2-20240490  

关注我们 :gzh.png    weibo.png    LOFTER.png 

客服