ImageVerifierCode 换一换
格式:DOCX , 页数:23 ,大小:210.55KB ,
资源ID:8165478      下载积分:1 金币
快捷下载
登录下载
邮箱/手机:
温馨提示:
快捷下载时,用户名和密码都是您填写的邮箱或者手机号,方便查询和重复下载(系统自动生成)。 如填写123,账号就是123,密码也是123。
特别说明:
请自助下载,系统不会自动发送文件的哦; 如果您已付费,想二次下载,请登录后访问:我的下载记录
支付方式: 支付宝    微信支付   
验证码:   换一换

加入VIP,免费下载
 

温馨提示:由于个人手机设置不同,如果发现不能下载,请复制以下地址【https://www.bingdoc.com/d-8165478.html】到电脑端继续下载(重复下载不扣费)。

已注册用户请登录:
账号:
密码:
验证码:   换一换
  忘记密码?
三方登录: 微信登录   QQ登录  

下载须知

1: 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。
2: 试题试卷类文档,如果标题没有明确说明有答案则都视为没有答案,请知晓。
3: 文件的所有权益归上传用户所有。
4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
5. 本站仅提供交流平台,并不能对任何下载内容负责。
6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

版权提示 | 免责声明

本文(离散数学期末复习指导专科文档格式.docx)为本站会员(b****4)主动上传,冰点文库仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知冰点文库(发送邮件至service@bingdoc.com或直接QQ联系客服),我们立即给予删除!

离散数学期末复习指导专科文档格式.docx

1、 ()如果A=B,则A=。解析此题涉及到集合中子集的概念,集合的包含关系,空集与集合的关系。解题时要注意区分两个集合之间的关系以及集合中元素与集合之间的关系的不同。 集合之间的关系分为包含关系(子集、真子集)、相等关系、幂集等,判断时要准确理解这些概念,才能正确地运用这些知识. 集合与它的元素之间的关系有两种:一个元素a属于一个集合A,记为aA;一个元素A不属于一个集合A,记为A。要注意符号的记法()与集合包含符号记法(,)的不同。正确的是(2)、()、(5)、();其余的都是错误的。例3,设,B是两个集合,A=1,2,,B=1,2,请计算(A)(B)。解析集合的概念一般在中学阶段已经学过,这

2、里只多了一个幂集概念,重点对幂集加以掌握,一是掌握幂集的构成,由集合的所有子集组成的集合,称为A的幂集,记作(A)或2A;一是掌握幂集元数为2n,n为集合A的元数. 集合的基本运算有交、并、差、补。()=,1,2,3,1,1,3,2,3,1,,3(B)=,1,2,1,2于是()(),1,3,2,3,1,2,3例,试证明(A)(AB)=(B)(B) 证明集合恒等式要熟练运用教材5页集合的10个基本运算。一般来说,欲证P=,即证PQ并且P,也就是要证明,对于任意的x,有下式成立。xP 和 xQ x P证明集合恒等式的另一种方法是利用已知的恒等式来代入。本题就是用的这个方法。通过对集合恒等式证明的练

3、习,既可以加深对集合性质的理解与掌握;又可以为第三章命题逻辑中公式的基本等价式的应用打下良好的基础实际上,本章做题是一种基本功训练,尤其要求学生重视吸收律和重要等价式在ABAB证明中的特殊作用。证明: 第二章 关系与映射例1,设集合A=1,3,,5,试求A上的模2同余关系R的关系矩阵和关系图. 关系的概念是第二章的基础,又是第一章集合概念的应用.因此应该真正理解并熟练掌握二元关系的概念及关系矩阵、关系图表示 这道题要把R表示出来,先要清楚“模同余关系的概念,如果,y模2同余,就是指x,y除以2的余数相同。于是,R=(1,),(1,3),(1,5),(2,2),(2,4),(3,1),(,3),

4、(3,5),(4,2),(,),(5,1),(5,3),(,5) 求出了关系R的表达式,就可以进一步求出关系矩阵和关系图了.R的关系矩阵为:R的关系图为:例2,设集合A=,,3,10,上的关系R=(x,y),yA,且x+y=10,试判断具有哪几种性质? 关系的性质既是对关系概念的加深理解与掌握,又是关系的闭包、等价关系、半序关系的基础。对于四种性质(自反性、对称性、反对称性、传递性)的判定,可以依据其定义,也可以依据教材中9页上总结的关于关系矩阵和关系图的规律.对于传递性的判定,难度稍大一点,这里要提及两点:一是不破坏传递性定义,可认为具有传递性如空关系具有传递性,同时空关系具有对称性与反对称

5、性,但是不具有自反性另一点是介绍一种判定传递性的“跟踪法”,即若(a1,)R,(a2,a3),,(ai1,ai)R,则(a1,a);如若(,b)R,(b,a)R,则有(a,a)R,且(b,b)R. 先写出R的关系式,=(1,9),(2,8),(3,7),(4,6),(5,5),(6,4),(7,3),(8,2),(9,1),并在此基础上判断R是否具有四种关系的性质。只具有关系的对称性.例3,设集合,判定下列关系,哪些是自反的,对称的,反对称的和传递的:解:均不是自反的;是对称的;1,R2,3,4,R5是反对称的;R1,R2,R3,R4,R是传递的。例4,设集合A=a,b,c,R1,R2都是上的

6、二元关系,1=(a,b),(,c),(,a),R2=,试求R和R的自反闭包,对称闭包和传递闭包。在理解掌握关系闭包概念的基础上,主要掌握闭包的求法。关键是熟记三个定理的结论:定理,自反闭包;定理3,对称闭包定理4的推论,传递闭包.(1)R1IA=(a,b),(b,),(,a),(a,a),(b,b),(c,c) s(R1) R1 R11 =(,b),(,c),(c,a),(b,a),(c,b),(a,c)12 =(a,c),(,a),(c,b)R3(a,a),(,),(c,c)t(R1)= RR2 R13 =(a,),(b,c),(c,a),(a,c),(b,),(c,b),(a,a),(,b

7、),(c,c) 空关系2的自反闭包,对称闭包和传递闭包均为。例5,设集合,A上的二元关系R为:(1)写出的关系矩阵,画出的关系图;()证明是上的半序关系,画出其哈斯图;(3)若,且,求B的最大元,最小元,极大元,极小元,最小上界和最大下界。理解与掌握半序关系与半序集概念的关键是哈斯图.哈斯图画法掌握了,对于确定任一子集的最大(小)元,极大(小)元也就容易了。这里要注意,最大(小)元与极大(小)元只能在子集内确定,而上界与下界可在子集之外的全集中确定,最小上界为所有上界中最小者,最小上界再小也不小于子集中的任一元素,可以与某一元素相等,最大下界也同样。(1)的关系矩阵为 R的关系图为 ()因为是

8、自反的,反对称的和传递的,所以R是A上的半序关系(A,R)为半序集,(A,)的哈斯图如下: (3)当B=2,5,B的极大元为,4;极小元为2,5;无最大元与最小元;B也无上界与下界,更无最小上界与最大下界。例6,下列映射中哪些是满射,哪些是单射,哪些是双射? (1) (2) (3) (4)映射的概念与映射种类的判定:映射的种类主要指单射、满射、双射与非单非满射。判定的方法除定义外,可借助于关系图,而实数集的子集上的映射也可以利用直角坐标系表示进行,尤其是对各种初等函数.答:(1),(3)是非单非满射;(2)是满射;(4)是双射.第三章命题逻辑例1,试证明公式为恒真公式。判定公式的恒真性,包括判

9、定公式是恒真的或是恒假的。具体方法有两种:一是真值表法,对于任给一个公式,主要列出该公式的真值表,观察真值表的最后一列是否全为(或全为),就可以判定该公式是否恒真(或恒假),若不全为,则为可满足的。二是推导法,即利用基本等价式推导出结果为1,或者利用恒真(恒假)判定定理:公式是恒真的(恒假的)当且仅当等价于它的合取范式(析取范式)中,每个子句(短语)均至少包含一个原子及其否定。这里要求的析取范式中所含有的每个短语不是极小项,一定要与求主析取范式相区别,对于合取范式也同样。证法一:真值表法,见离散数学学习指导书60页例(4)的解答证法二 : G=(PQ)(QR)(PR) =(PQ)(QR)PR

10、=(PQ)(P)()(QR) =(P)(PR)(QP)R=(1(RP)RRPR 故G为恒真公式。例2,求的主析取范式与主合取范式。求范式,包括求析取范式、合取范式、主析取范式和主合取范式。关键有两点:一是准确理解掌握定义;另一是巧妙使用基本等价式中的分配律、同一律和互补律,结果的前一步适当使用等幂律,使相同的短语(或子句)只保留一个另外,由已经得到的主析取(合取)范式,根据原理,参阅离散数学学习指导书71页例15,也可以求得主合取(析取)范式。解:()求主析取范式, 方法 利用真值表求解G 0 00 0 1 00 1 0 0 0 1 1 01 1 1因此方法2 推导法()求主合取范式方法1 利

11、用上面的真值表,为0的有两行,它们对应的极大项分别为,因此,方法 利用已求出的主析取范式求主合取范式,已用去个极小项,尚有2个极小项,即与,于是,例3,利用形式演绎法证明 P(Q),S,Q蕴涵SR.利用形式演绎进行逻辑推理时,一是要理解并掌握14个基本蕴涵式,二是会使用三个规则:规则、规则Q和规则D,需要进行一定的练习.证明:()P 规则P() 规则D(3)P 规则Q,根据(1),(2) ()P(R) 规则P (5)QR 规则Q,根据(3),(4) ()Q 规则 (7)R 规则,根据(),(6) (8) 规则,根据(2),()第四章 谓词逻辑例1,在谓词逻辑中将下列命题符号化: (1)凡正数都

12、大于0; (2)存在小于3的素数; (3)没有不能表示成分数的有理数; (4)参加考试的人未必都能取得好成绩.反复理解谓词与量词引入的意义,概念的含义及在谓词与量词作用下变量的自由性、约束性与改名规则,其中F(x):是正数,G():x大于0; (2),其中F(x):x大于3,G(x):x是素数; (3),其中(x):x为有理数,(x):x能表示成分数.“没有不能表示成分数的有理数”与“所有的有理数都能表示成分数”是同一个命题的不同的叙述方法,因此本命题也可以符号化为 (4),其中F(x):x是参加考试的人,(x):x取得好成绩.与(3)类似,本命题可以符号化为。 这个例子中几个命题的符号化均有

13、典型性,请同学们注意分析。例2,设I是如下一个解释: F(2) F(3)(2) (3) Q(2,2) (2,3) Q(,2) Q(3,3) 3 0 1 1 1 1求的真值。解析将一阶逻辑公式表达式中的量词消除,写成与之等价的公式,然后将解释I中的数值代入公式,求出真值。例3,试将一阶逻辑公式化成前束范式。在充分理解掌握前束范式概念的基础上,利用改名规则、基本等价式与蕴涵式(一阶逻辑中),将给定公式中量词提到母式之前称为首标。第五章 图论例1,在具有个顶点的完全图n中删去多少条边才能得到树? 本章的概念较多,学习时需要认真比较各概念的含义,如:图、子图、有向图、权图;树、支撑树、二叉树、有向树;

14、路、简单路、回路等,这些都是图的基本概念,今后将在数据结构、数据库、计算机网络等课程中用到。n个顶点的完全图Kn中共有条边,n个顶点的树应有条边,于是,删去的边有:例2,求下面有限图中点u到各点间的最短路。(图上数字见教材231页第题.左侧一列的四个点为u到u4,右侧一列的四个点为u到u8) v计算权图中的最短路要格执行迪克斯特拉(ijkra)算法的骤,从起点起,到每一点求出最短路,然后进行仔细比较,最后到达终点,算出最小权和.uu, d(u, u1)1,路(u, u1) u,(, u2)=9,路(u, 4, u,u7, u2)u u,d(, 3)=5,路(u, u, ,) ,d(u, u4)

15、=,路(u, u)uu5,d(u, u5)1,路(u, u1, 5)或路(u, 4, u , , u2 ,u5)u u6,d(, u)=3,路(u, u1, u5, u6) ,d(u, u7)=,路(, u , u3 , u)u u8,(u, )1,路(u, u, u8)v,d(u,v)=5,路(u, 1, 5 , u,v) 或路(u, u ,3 , 7 ,u6 ,v)例3,利用克鲁斯卡尔(Kruskal)算法求一棵最优支撑树。 A 3 B 2 1 1 2 4 2 D 3 E 2 1 F G 2 H 权图中的最优支撑树是图中所带权和最小的支撑树,使用克鲁斯卡尔(ukal)算法。按照Krusl给

16、出的在权图中求最优支撑树的算法,可生成下面的最优支撑树:(权和为1) 生成的最优支撑树结果不是唯一的,又如下图(权和为11)也是一种最优支撑树.例,一棵树有两个节点度数为2,一个节点度数为,三个节点度数为4,问它有几个度数为1的节点?我们知道一个有限图中,各点的度数总和是边数的2倍;而树中的边数为点数减1。根据这两点,可知树中各点的度数总和=(树中点数-1),设树叶有x个,于是,22+3+34+x=(2+1+3+x1)得x=9。上例可推广为“一棵树有n2个节点度数为2,n3个节点度数为3,,nk个节点度数为k,问它有几个度数为1的节点?”请同学们思考.三、 综合练习及参考解答(一)填空题1、集

17、合的表示方法有两种:法和法.请把“奇整数集合表示出来。2、A,B是两个集合,A=1,2,3,4,B=,3,5,则BA=,(B)-(A),(B)的元素个数为。3、设,则从A到B的所有映射是4、设命题公式,则使公式G为假的解释是、和。5、设G是完全二叉树,有15个点,其中8个叶结点,则的总度数为,分枝点数为。、全集E=1,2,3,,5,A=1,5,=1,3,C=2,, 求AB=,()(C)=,C=。7、设A和B是任意两个集合,若序偶的第一个元素是A的一个元素,第二个元素是的一个元素,则所有这样的序偶集合称为集合和B的,记作A,即A=.B的子集称为,B上的8、将几个命题联结起来,形成一个复合命题的逻

18、辑联结词主要有否定、和等值、表达式yL(,y)中谓词的定义域是a,b,c,将其中的量词消除,写成与之等价的命题公式为0、一个无向图表示为G(P,L),其中P是的集合,L是的集合,并且要求(二)选择题(选择一个正确答案的代号,填入括号中)1.设命题公式,则是()。A。恒真的 B。恒假的C可满足的D。析取范式、设集合,A上的关系,则().3、一个公式在等价意义下,下面哪个写法是唯一的( )。A析取范式 B.合取范式 C主析取范式 .以上答案都不对4、设命题公式G=(PQ),H=P(QP),则与的关系是( ).AGH HG C.G=H D以上都不是5、已知图G的相邻矩阵为,则G有(). A。5点,8

19、边 B。 6点,7边. 5点,7边D. 点,8边6、下列命题正确的是( )。A B.= .aa,b,c D,c7、设集合A=a,b,c,上的关系R=(,b),(a,c),(b,),(,c),(c,a),(,b),(c,c),则R具有关系的( )性质。.自反 B对称 C.传递 .反对称8、设R为实数集,映射=RR,(x)= x2+2x-1,则是( )。A单射而非满射 B.满射而非单射 C双射 D既不是单射,也不是满射、下列语句中,( )是命题。A下午有会吗? B这朵花多好看呀! C.2是常数。 请把门关上。10、下面给出的一阶逻辑等价式中,( )是错的。Ax(A(x)B(x)A(x)(x)BAx

20、B(x) (A(x)C(A(x)B(x)=x(x)x()DxA(x)x(A(x)(三)计算题1、设和S是集合上的关系,其中,试求: (1)写出R和S 的关系矩阵;(2)计算2、设Aa,b,d,R1,2是上的关系,其中R=(a,a),(a,),(b,a),(b,b),(,c),(c,d),(,c),(,),R2=(a,b),(b,a),(a,),(c,),(b,),(c,),(a,a),(b,),(c,c)。(1)画出R和R2的关系图;(2)判断它们是否为等价关系,是等价关系的求A中各元素的等价类。3、用真值表判断下列公式是恒真?恒假?可满足?()(PP)(2)()Q()(P)(R)(PR)4、

21、设解释I为:(1)定义域D-2,,6;(2)(x):3;G(x):。 在解释I下求公式x(F(x)G()的真值。5、化简下式:(B)(AB)-(A(B-)A)6、已知A=1,2,4,5,B=1,2,3,是到的二元关系,并且R=(x,y)xA且B且y 4,画出R的关系图,并写出关系矩阵.7、画出下面偏序集(A,)的哈斯图,并指出集合A的最小元、最大元、极大元和极小元。其中A=,b,c,d,e,(,),(,c),(a,),(a,e),(,e),(c,),(d,e)IA.8、求命题公式的析取范式与合取范式.9、给定解释如下: 定义域D=2,3; (2) f(3) (2,2) F(2,) F(3,2)

22、 F(,3) 2 0 1 10、求下面带权图的最优支撑树,并计算它的权。 4 7 8 20 12 8 9 0 15(四)证明题1、证明等价式2、利用形式演绎法证明:蕴涵Q。3、A,B,为任意的集合,证明:4、利用一阶逻辑的基本等价式,证明:练习题参考解答1、列举;描述;2、5;,2,,3,5,,5;83、1=(a,1),(b,1);=(,),(b,2);3(a,1),(b,2);=(a,2),(,1)、(1,0,1);(,1,1);(1,0,0)5、8; 76、5;,5;1,,4、笛卡尔积(或直乘积);(x,y)xA且y;二元关系8、并且(或合取);或者(或析取);蕴涵9、(,)(a,)(a,)(L(b,)L(,)L(b,c)(c,a)L(c,)L(,c)10、点;连接某些不同点对的边;一对不同点之间最多有一条边1、 2、 3、C 4、A 5、 、B 、D 9、C 10、1、解:(1)(2)=(,2),(3,4) =(1,1),(1,2),(1,3),(2,3),(2,4),(3,4),(4,4) =(1,1),(,1),(,),(4,3)(2,),(4,3)2、解:

copyright@ 2008-2023 冰点文库 网站版权所有

经营许可证编号:鄂ICP备19020893号-2