离散数学期末复习指导专科Word格式文档下载.docx
- 文档编号:15050287
- 上传时间:2022-10-27
- 格式:DOCX
- 页数:21
- 大小:264.84KB
离散数学期末复习指导专科Word格式文档下载.docx
《离散数学期末复习指导专科Word格式文档下载.docx》由会员分享,可在线阅读,更多相关《离散数学期末复习指导专科Word格式文档下载.docx(21页珍藏版)》请在冰豆网上搜索。
学习建议
离散数学是理论性较强的学科.学习离散数学的关键是对离散数学(集合论、数理逻辑和图论)有关基本概念的准确掌握.对基本原理及基本运算的运用.并要多做练习。
一、各章复习示例与解析
第一章集合
例1.将“大于3而小于或等于7的整数集合”用集合表示出来。
[解析]
集合的表示方法一般有两种.一种称为列举法.一种称为描述法。
列举法将集合的元素按任意顺序逐一列在花括号内.并用逗号分开。
“大于3而小于或等于7的整数”有4、5、6、7.用列举法表示为{4、5、6、7};
描述法是利用集合中的元素满足某种条件或性质用文字或符号在花括号内竖线后面表示出来。
上例用描述法表示为{x|xZ并且3x7}.其中Z为整数集合。
答:
{4、5、6、7}或{x|xZ并且3x7}。
例2.判定下列各题的正确与错误:
(1)a{{a}};
(2){a}{a.b.c};
(3){a.b.c};
(4){a.b.c};
(5){a.b}{a.b.c.{a.b.c}};
(6){{a}.1.3.4}{{a}.3.4.1};
(7){a.b}{a.b.{a.b}};
(8)如果AB=B.则A=E。
此题涉及到集合中子集的概念.集合的包含关系.空集与集合的关系。
解题时要注意区分两个集合之间的关系以及集合中元素与集合之间的关系的不同。
集合之间的关系分为包含关系(子集、真子集)、相等关系、幂集等.判断时要准确理解这些概念.才能正确地运用这些知识。
集合与它的元素之间的关系有两种:
一个元素a属于一个集合A.记为aA;
一个元素A不属于一个集合A.记为aA。
要注意符号的记法()与集合包含符号记法(.)的不同。
正确的是
(2)、(4)、(5)、(7);
其余的都是错误的。
例3.设A.B是两个集合.A={1.2.3}.B={1.2}.请计算(A)–(B)。
集合的概念一般在中学阶段已经学过.这里只多了一个幂集概念.重点对幂集加以掌握.一是掌握幂集的构成.由集合A的所有子集组成的集合.称为A的幂集.记作(A)或2A;
一是掌握幂集元数为2n.n为集合A的元数。
集合的基本运算有交、并、差、补。
(A)={.{1}.{2}.{3}.{1.2}.{1.3}.{2.3}.{1.2.3}}
(B)={.{1}.{2}.{1.2}}
于是(A)–(B)={{3}.{1.3}.{2.3}.{1.2.3}}
例4.试证明(A~B)(~AB)=(AB)(~A~B)
证明集合恒等式要熟练运用教材15页集合的10个基本运算。
一般来说.欲证P=Q.即证PQ并且QP.也就是要证明.对于任意的x.有下式成立。
xPxQ和xQxP
证明集合恒等式的另一种方法是利用已知的恒等式来代入。
本题就是用的这个方法。
通过对集合恒等式证明的练习.既可以加深对集合性质的理解与掌握;
又可以为第三章命题逻辑中公式的基本等价式的应用打下良好的基础。
实际上.本章做题是一种基本功训练.尤其要求学生重视吸收律和重要等价式在A–B=A~B证明中的特殊作用。
证明:
第二章关系与映射
例1.设集合A={1.2.3.4.5}.试求A上的模2同余关系R的关系矩阵和关系图。
关系的概念是第二章的基础.又是第一章集合概念的应用。
因此应该真正理解并熟练掌握二元关系的概念及关系矩阵、关系图表示。
这道题要把R表示出来.先要清楚“模2同余关系”的概念.如果x.y模2同余.就是指x.y除以2的余数相同。
于是.
R={(1.1).(1.3).(1.5).(2.2).(2.4).(3.1).(3.3).(3.5).(4.2).(4.4).(5.1).(5.3).(5.5)}
求出了关系R的表达式.就可以进一步求出关系矩阵和关系图了。
R的关系矩阵为:
R的关系图为:
例2.设集合A={1.2.3..10}.A上的关系R={(x.y)|x.yA.且x+y=10}.试判断R具有哪几种性质?
关系的性质既是对关系概念的加深理解与掌握.又是关系的闭包、等价关系、半序关系的基础。
对于四种性质(自反性、对称性、反对称性、传递性)的判定.可以依据其定义.也可以依据教材中49页上总结的关于关系矩阵和关系图的规律。
对于传递性的判定.难度稍大一点.这里要提及两点:
一是不破坏传递性定义.可认为具有传递性。
如空关系具有传递性.同时空关系具有对称性与反对称性.但是不具有自反性。
另一点是介绍一种判定传递性的“跟踪法”.即若(a1.a2)R.(a2.a3)R..(ai-1.ai)R.则(a1.ai)R;
如若(a.b)R.(b.a)R.则有(a.a)R.且(b.b)R。
先写出R的关系式.R={(1.9).(2.8).(3.7).(4.6).(5.5).(6.4).(7.3).(8.2).(9.1)}.并在此基础上判断R是否具有四种关系的性质。
R只具有关系的对称性。
例3.设集合.判定下列关系.哪些是自反的.对称的.反对称的和传递的:
解:
均不是自反的;
R4是对称的;
R1.R2.R3.R4.R5是反对称的;
R1.R2.R3.R4.R5是传递的。
例4.设集合A={a.b.c.d}.R1.R2都是A上的二元关系.R1={(a.b).(b.c).(c.a)}.R2=.试求R1和R2的自反闭包.对称闭包和传递闭包。
在理解掌握关系闭包概念的基础上.主要掌握闭包的求法。
关键是熟记三个定理的结论:
定理2.自反闭包;
定理3.对称闭包;
定理4的推论.传递闭包。
r(R1)=R1IA={(a.b).(b.c).(c.a).(a.a).(b.b).(c.c)}
s(R1)=R1R1-1={(a.b).(b.c).(c.a).(b.a).(c.b).(a.c)}
R12={(a.c).(b.a).(c.b)}
R13={(a.a).(b.b).(c.c)}
t(R1)=R1R12R13={(a.b).(b.c).(c.a).(a.c).(b.a).(c.b).(a.a).(b.b).(c.c)}
空关系R2的自反闭包.对称闭包和传递闭包均为。
例5.设集合.A上的二元关系R为:
(1)写出R的关系矩阵.画出R的关系图;
(2)证明R是A上的半序关系.画出其哈斯图;
(3)若.且.求B的最大元.最小元.极大元.极小元.最小上界和最大下界。
理解与掌握半序关系与半序集概念的关键是哈斯图。
哈斯图画法掌握了.对于确定任一子集的最大(小)元.极大(小)元也就容易了。
这里要注意.最大(小)元与极大(小)元只能在子集内确定.而上界与下界可在子集之外的全集中确定.最小上界为所有上界中最小者.最小上界再小也不小于子集中的任一元素.可以与某一元素相等.最大下界也同样。
(1)R的关系矩阵为
R的关系图为
(2)因为R是自反的.反对称的和传递的.所以R是A上的半序关系。
(A.R)为半序集.(A.R)的哈斯图如下:
4
·
1
3
2
5
(3)当B={2.3.4.5}.B的极大元为2.4;
极小元为2.5;
B无最大元与最小元;
B也无上界与下界.更无最小上界与最大下界。
例6.下列映射中哪些是满射.哪些是单射.哪些是双射?
(1)
(2)
(3)
(4)
映射的概念与映射种类的判定:
映射的种类主要指单射、满射、双射与非单非满射。
判定的方法除定义外.可借助于关系图.而实数集的子集上的映射也可以利用直角坐标系表示进行.尤其是对各种初等函数。
(1).(3)是非单非满射;
(2)是满射;
(4)是双射。
第三章 命题逻辑
例1.试证明公式为恒真公式。
判定公式的恒真性.包括判定公式是恒真的或是恒假的。
具体方法有两种:
一是真值表法.对于任给一个公式.主要列出该公式的真值表.观察真值表的最后一列是否全为1(或全为0).就可以判定该公式是否恒真(或恒假).若不全为0.则为可满足的。
二是推导法.即利用基本等价式推导出结果为1.或者利用恒真(恒假)判定定理:
公式G是恒真的(恒假的)当且仅当等价于它的合取范式(析取范式)中.每个子句(短语)均至少包含一个原子及其否定。
这里要求的析取范式中所含有的每个短语不是极小项.一定要与求主析取范式相区别.对于合取范式也同样。
证法一:
真值表法.见《离散数学学习指导书》60页例6(4)的解答。
证法二:
G=((PQ)(QR))(PR)
=(PQ)(QR)PR
=(((PQ)(PR)(QQ)(QR))P)R
=((PQP)(PRP)(QRP))R
=(1(QRP))R
=QRPR
=1
故G为恒真公式。
例2.求的主析取范式与主合取范式。
求范式.包括求析取范式、合取范式、主析取范式和主合取范式。
关键有两点:
一是准确理解掌握定义;
另一是巧妙使用基本等价式中的分配律、同一律和互补律.结果的前一步适当使用等幂律.使相同的短语(或子句)只保留一个。
另外.由已经得到的主析取(合取)范式.根据原理.参阅《离散数学学习指导书》71页例15.也可以求得主合取(析取)范式。
(1)求主析取范式.
[方法1]利用真值表求解
G
000
001
010
011
100
101
110
111
1
因此
[方法2]推导法
(2)求主合取范式
[方法1]利用上面的真值表.为0的有两行.它们对应的极大项分别为.因此.
[方法2]利用已求出的主析取范式求主合取范式.已用去6个极小项.尚有2个极小项.即与.于是.
例3.利用形式演绎法证明{P(QR).SP.Q}蕴涵SR。
利用形式演绎进行逻辑推理时.一是要理解并掌握14个基本蕴涵式.二是会使用三个规则:
规则P、规则Q和规则D.需要进行一定的练习。
(1)SP规则P
(2)S规则D
(3)P规则Q.根据
(1).
(2)
(4)P(QR)规则P
(5)QR规则Q.根据(3).(
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 期末 复习 指导 专科