- 4
- 0
- 约7.48千字
- 约 79页
- 2020-03-04 发布于上海
- 举报
对于计算机科学来说,格与布尔代数是两个重要的代数系统。
在开关理论计算机的逻辑设计,及其它一些科学领域中,都直接应用了格与布尔代数。;引 言;§7.1 格;一、格的定义;(2) 设〈A,≤〉是偏序集合,B是A的子集。
若?b∈B,b≤a,则a是子集B的上界。 ; 设〈A,≤〉是偏序集,若?a,b?A,都有最大下界、最小上界;则称〈A,≤〉是个格,且记
glb(a,b)=a∧b, lub(a,b)=a∨b,
并称它们为交和并。;例1:设n是正整数,Sn是n的正因子的集合。D为整除关系,则偏序集Sn, D构成格。?x, y∈Sn,x∨y是lcm(x,y),即x与y的最小公倍数。x∧y是gcd(x,y),即x与y的最大公约数。;例2:判断下列偏序集是否构成格,并说明理由。
(1) ?(B), ? ,其中?(B)是集合B的幂集。
(2) Z, ≤ ,其中Z是整数集,≤为小于或等于关系。
(3) 偏序集的哈斯图分别在图中给出。;解: (1) ?(B), ? 是格。
?x,y∈ ?(B),x∨y就是x∪y,x∧y就是x∩y。
由于∪和∩运算在?(B)上是封闭的,所以x∪y,x∩y∈ ?(B)。称 ?(B), ?,为B的幂集格。
(2) Z, ≤ 是格。
?x,y∈Z,x∨y=max(x,y),x∧y=min(x,y),它们都是整数。
(3) 都
您可能关注的文档
- 机械设计课程设计课件.pptx
- 木托盘自动组装机.pptx
- 植物的呼吸强.pptx
- 核酸的酶促降解与苷酸代谢.pptx
- 最后的常春藤叶2.pptx
- 数学xu分子性质.pptx
- 检验标本的采集与保存.pptx
- 旅游法及处罚.pptx
- 教育学教育心理学阮小林.pptx
- 数学五年级上册解决问题进一法与去尾法.pptx
- 2023版ESC糖尿病合并心血管疾病管理指南解读.pptx
- 2023版ESC心力衰竭诊疗指南核心更新.pptx
- 2023+WHF建议:超声心动图在Chagas病中的应用.pptx
- 2023版ESC心力衰竭指南更新要点解读.pptx
- 2023版ESC糖尿病合并心血管疾病管理指南.pptx
- 2023+多学科共识声明:SARS-CoV-2感染后择期手术时机及风险评估(更新版).pptx
- 2023版NCDC医疗机构传染病防控责任清单.pptx
- 2023版NHC患者安全专项行动方案(2023-2025年).pptx
- 2023+国际专家共识声明:种系SDHD致病突变患者嗜铬细胞瘤和副神经节瘤的管理.pptx
- 2023版NHC健康中国行动—心脑血管疾病防治行动实施方案(2023—2030年).pptx
最近下载
- 2025贵州红星发展股份有限公司国企招聘9人笔试历年参考题库附带答案详解.docx VIP
- 低空经济数字旅游建设方案PPT.pptx VIP
- CECS94-2002建筑排水用硬聚氯乙烯内螺旋管管道工程技术规程 条文说明-建筑图集、规范.pdf VIP
- 人教版一年级数学上册第四单元《认识图形(一)》课堂作业设计.doc VIP
- 【一年级上册数学西师版】口算天天练.docx VIP
- [精彩]05s502阀门井图集.pdf VIP
- 【一年级上册语文】看图写话填空训练34篇.docx VIP
- 精神康复医院负荷输出.xls VIP
- 高一数学必修—函数的单调性复习及练习.doc VIP
- 给排水国标图集-04S516:混凝土排水管道基础及接口.pdf VIP
原创力文档

文档评论(0)