离散数学本科期末复习提要.DOC

上传人:国*** 文档编号:509407 上传时间:2018-10-17 格式:DOC 页数:21 大小:328.50KB
下载 相关 举报
离散数学本科期末复习提要.DOC_第1页
第1页 / 共21页
离散数学本科期末复习提要.DOC_第2页
第2页 / 共21页
离散数学本科期末复习提要.DOC_第3页
第3页 / 共21页
离散数学本科期末复习提要.DOC_第4页
第4页 / 共21页
离散数学本科期末复习提要.DOC_第5页
第5页 / 共21页
点击查看更多>>
资源描述

1、1离散数学本科期末复习提要四川电大 孙继荣2004 年 5 月离散数学使用的教材为中央电大出版的离散数学 (刘叙华等编)和离散数学学习指导书 (虞恩蔚等编) 。离散数学主要研究离散量结构及相互关系,使学生得到良好的数学训练,提高学生抽象思维和逻辑推理能力,为从事计算机的应用提供必要的描述工具和理论基础。其先修课程为:高等数学、线性代数;后续课程为:数据结构、数据库、操作系统、计算机网络等。课程的主要内容1、 集合论部分(集合的基本概念和运算、关系及其性质) ;2、 数理逻辑部分(命题逻辑、谓词逻辑) ;3、 图论部分(图的基本概念、树及其性质) 。4、 布尔代数学习建议离散数学是理论性较强的学

2、科,学习离散数学的关键是对离散数学(集合论、数理逻辑和图论)有关基本概念的准确掌握,对基本原理及基本运算的运用,并要多做练习。教学要求的层次各章教学要求的层次为了解、理解和掌握。了解即能正确判别有关概念和方法;理解是能正确表达有关概念和方法的含义;掌握是在理解的基础上加以灵活应用。一、各章复习要求与重点第一章 集 合复习知识点1、集合、元素、集合的表示方法、子集、空集、全集、集合的包含、相等、幂集2、集合的交、并、差、补等运算及其运算律(交换律、结合律、分配律、吸收律、 De Morgan 律等) ,文氏(Venn )图3、序偶与迪卡尔积本章重点内容:集合的概念、集合的运算性质、集合恒等式的证

3、明复习要求1、理解集合、元素、子集、空集、全集、集合的包含、相等、幂集等基本概念。2、掌握集合的表示法和集合的交、并、差、补等基本运算。3、掌握集合运算基本规律,证明集合等式的方法。4、了解序偶与迪卡尔积的概念,掌握迪卡尔积的运算。本章重点习题P56,4、6; P1415,3、 6、7; P20,5、7。疑难解析1、集合的概念因为集合的概念学生在中学阶段已经学过,这里只多了一个幂集概念,重点对幂集加以掌握,一是掌握幂集的构成,一是掌握幂集元数为 2n。2、集合恒等式的证明2通过对集合恒等式证明的练习,既可以加深对集合性质的理解与掌握;又可以为第三章命题逻辑中公式的基本等价式的应用打下良好的基础

4、。实际上,本章做题是一种基本功训练,尤其要求学生重视吸收律和重要等价式在 证明中的特殊作用。BA例题分析例 1 设 A,B 是两个集合,A=1 ,2,3,B=1,2,则 )(BA。解 3,1,213,)(B于是 ,2,)(A例 2 设 ,试求:,ba(1) ; (2) ; (3) ; A(4) ; (5) ; (6) 。A,解 (1) (2) (3),baba,(4) (5) (6), A例 3 试证明 BBA证明BABBA第二章 二元关系复习知识点1、关系、关系矩阵与关系图2、复合关系与逆关系 3、关系的性质(自反性、对称性、反对称性、传递性) 4、关系的闭包(自反闭包、对称闭包、传递闭包)

5、5、等价关系与等价类6、偏序关系与哈斯图(Hasse) 、极大/ 小元、最大/小元、上/下界、最小上界、最大下界7、函数及其性质(单射、满射、双射)8、复合函数与反函数本章重点内容:二元关系的概念、关系的性质、关系的闭包、等价关系、半序关系、映3射的概念复习要求1、理解关系的概念:二元关系、空关系、全关系、恒等关系;掌握关系的集合表示、关系矩阵和关系图、关系的运算。2、掌握求复合关系与逆关系的方法。3、理解关系的性质(自反性、对称性、反对称性、传递性) ,掌握其判别方法(定义、矩阵、图) 。4、掌握求关系的闭包 (自反闭包、对称闭包、传递闭包)的方法。5、理解等价关系和偏序关系的概念,掌握等价

6、类的求法和偏序关系做哈斯图的方法,极大/小元、最大/小元、上/下界、最小上界、最大下界的求法。6、理解函数概念:函数、函数相等、复合函数和反函数。7、理解单射、满射、双射等概念,掌握其判别方法。本章重点习题P25,1;P3233,4,8,10; P43,2,3,5; P5152,5,6; P59,1,2; P64,3; P7475,2,4,6,7; P81,5,7; P86,1, 2。疑难解析1、关系的概念关系的概念是第二章全章的基础,又是第一章集合概念的应用。因此,学生应该真正理解并熟练掌握二元关系的概念及关系矩阵、关系图表示。2、关系的性质及其判定关系的性质既是对关系概念的加深理解与掌握,

7、又是关系的闭包、等价关系、半序关系的基础。对于四种性质的判定,可以依据教材中 P49 上总结的规律。这其中对传递性的判定,难度稍大一点,这里要提及两点:一是不破坏传递性定义,可认为具有传递性。如空关系具有传递性,同时空关系具有对称性与反对称性,但是不具有自反性。另一点是介绍一种判定传递性的“跟踪法” ,即若 ,RaRaaii, 13221 则 。如若 ,则有 ,且 。Rai,1Rba, b、关系的闭包在理解掌握关系闭包概念的基础上,主要掌握闭包的求法。关键是熟记三个定理的结论:定理 2, ;定理 3, ;定理 4,推论 。AIr1s niRt1、半序关系及半序集中特殊元素的确定理解与掌握半序关

8、系与半序集概念的关键是哈斯图。哈斯图画法掌握了,对于确定任一子集的最大(小)元,极大(小)元也就容易了。这里要注意,最大(小)元与极大(小)元只能在子集内确定,而上界与下界可在子集之外的全集中确定,最小上界为所有上界中最小者,最小上界再小也不小于子集中的任一元素,可以与某一元素相等,最大下界也同样。、映射的概念与映射种类的判定映射的种类主要指单射、满射、双射与非单非满射。判定的方法除定义外,可借助于关系图,而实数集的子集上的映射也可以利用直角坐标系表示进行,尤其是对各种初等函数。例题分析4例 1 设集合 ,判定下列关系,哪些是自反的,对称的,反对称的和传递的:dcbaA,cR cbaRdcad

9、cbR, ,5 4321 解:均不是自反的;R 4 是对称的; R1 ,R2 ,R3 , R4 ,R5 是反对称的;R 1 ,R2 ,R3 , R4 ,R5 是传递的。例 2 设集合 ,A 上的二元关系 R 为5,3215,4,3,4,()写出 R 的关系矩阵,画出 R 的关系图;()证明 R 是 A 上的半序关系,画出其哈斯图;()若 ,且 ,求 B 的最大元,最小元,极大元,极小元,最小上界B5,32和最大下界。解 (1)R 的关系矩阵为R 的关系图略100RM(2)因为 R 是自反的,反对称的和传递的,所以 R 是 A 上的半序关系。(A,R)为半序集,(A,R)的哈斯图如下(3) 当

10、,B 的极大元为 2,4;极小元为 2,5;B 无最大元与最小元;B5,432也无上界与下界,更无最小上界与最大下界。第三章 命题逻辑复习知识点、命题与联结词(否定、析取、合取、蕴涵、等价) ,复合命题、命题公式与解释,真值表,公式分类(恒真、恒假、可满足) ,公式的等价、析取范式、合取范式,极小(大)项,主析取范式、主合取范式 、公式类别的判别方法(真值表法、等值演算法、主析取/合取范式法)、公式的蕴涵与逻辑结果、形式演绎本章重点内容:命题与联结词、公式与解释、析取范式与合取范式、公式恒真性的判定、。4。1。3。2。55形式演绎复习要求、理解命题的概念;了解命题联结词的概念;理解用联结词产生

11、复合命题的方法。、理解公式与解释的概念;掌握求给定公式真值表的方法,用基本等价式化简其他公式,公式在解释下的真值。、了解析取(合取)范式的概念;理解极大(小)项的概念和主析取(合取)范式的概念;掌握用基本等价式或真值表将公式化为主析取(合取)范式的方法。、掌握利用真值表、等值演算法和主析取/合取范式的唯一性判别公式类型和公式等价的方法。、理解公式蕴涵与逻辑结果的概念,掌握基本蕴涵式。6、掌握形式演绎的证明方法。本章重点习题P93,1; P98,2,3; P104,2,3; P107,1,3; P112,5; P115,1,2,3。疑难解析1、公式恒真性的判定判定公式的恒真性,包括判定公式是恒真

12、的或是恒假的。具体方法有两种,一是真值表法,对于任给一个公式,主要列出该公式的真值表,观察真值表的最后一列是否全为1(或全为 0) ,就可以判定该公式是否恒真(或恒假) ,若不全为 0,则为可满足的。二是推导法,即利用基本等价式推导出结果为 1,或者利用恒真(恒假)判定定理:公式 G 是恒真的(恒假的)当且仅当等价于它的合取范式(析取范式)中,每个子句(短语)均至少包含一个原子及其否定。这里要求的析取范式中所含有的每个短语不是极小项,一定要与求主析取范式相区别,对于合取范式也同样。2、范式求范式,包括求析取范式、合取范式、主析取范式和主合取范式。关键有两点:一是准确理解掌握定义;另一是巧妙使用

13、基本等价式中的分配律、同一律和互补律,结果的前一步适当使用等幂律,使相同的短语(或子句)只保留一个。另外,由已经得到的主析取(合取)范式,根据 原理,参GG,1阅离散数学学习指导书P71 例 15,可以求得主合取(析取)范式。3、形式演绎法掌握形式演绎进行逻辑推理时,一是要理解并掌握 14 个基本蕴涵式,二是会使用三个规则:规则 P、规则 Q 和规则 D,需要进行一定的练习。例题分析例 1 求 的主析取范式与主合取范式。PRG解 (1)求主析取范式,方法 1:利用真值表求解 QPRQG0 0 00 0 10 1 00 1 11 0 01 0 11 1 000000011010101010111

14、161 1 1 1 1 1因此RQP RQPRQPRG 方法 2:推导法RQPRRQPRRPPP (2)求主合取范式方法 1:利用上面的真值表为 0 的有两行,它们对应的极大项分别为QP RP,因此, RQPPR方法 2:利用已求出的主析取范式求主合取范式已用去 6 个极小项,尚有 2 个极小项,即与 于是QPRQPRPG例 2 试证明公式 为恒真公式。证法一: 见离散数学学习指导书P60 例 6(4)的解答。 (真值表法)证法二 : G=(P Q)(QR) )(PR )=(P Q)(Q R)PR=(PQ)(PR)( QQ)(QR ) ) P)R=(PQ P)(PRP)(QRP) )R=(1(

15、 QRP) ) R=QRPR=1故 G 为恒真公式。例 3 利用形式演绎法证明 P(Q R) ,SP,Q蕴涵 SR。证明:7(1)SP 规则 P(2)S 规则 D(3)P 规则 Q,根据(1) , (2)(4)P(QR) 规则 P(5)QR 规则 Q,根据(3) , (4)(6)Q 规则 P(7)R 规则 Q,根据(5) , (6)(8)SR 规则 D,根据(2) , (7)第四章 谓词逻辑复习知识点 1、谓词、量词、个体词、个体域、变元(约束变元与自由变元)2、谓词公式与解释,谓词公式的类型(恒真、恒假、可满足)3、谓词公式的等价和蕴涵4、前束范式本章重点内容:谓词与量词、公式与解释、前束范

16、式复习要求1、理解谓词、量词、个体词、个体域、变元的概念;理解用谓词、量词、逻辑联结词描述一个简单命题;了解命题符号化。2、理解公式与解释的概念;掌握在有限个体域下消去公式量词,求公式在给定解释下真值的方法;了解谓词公式的类型。3、理解用解释的方法证明等价式和蕴涵式。4、掌握求公式前束范式的方法。本章重点习题P120,1,2; P125126,1,3; P137,1。疑难解析1、谓词与量词反复理解谓词与量词引入的意义,概念的含义及在谓词与量词作用下变量的自由性、约束性与改名规则。2、公式与解释能将一阶逻辑公式表达式中的量词消除,写成与之等价的公式,然后将解释 I 中的数值代入公式,求出真值。3

17、、前束范式在充分理解掌握前束范式概念的基础上,利用改名规则、基本等价式与蕴涵式(一阶逻辑中) ,将给定公式中量词提到母式之前称为首标。典型例题例 1 设 I 是如下一个解释: 3,2DF(2) F(3) P(2) P(3) Q(2,2) Q(2,3) Q(3,2) Q(3,3)3 2 0 1 1 1 0 1求 的真值。y,xFQPyx解 810113,FQP2,3FQP2,x,xxy,FQxPy例 2 试将一阶逻辑公式化成前束范式。解xRzQyxPzG,第五章 群与环 第六章 格和布尔代数复习要求1. 了解代数运算、代数系统和子代数系统等概念。掌握二元运算的性质:结合律、交换律、分配律、幂等律

18、、吸收律。掌握求集合上代数运算的单位元(幺元) 、0 元和逆元的方法。代数运算的性质:x,yA,有 xy=xyz,运算在 A 上适合交换律。 x,y,zA,有(x y)zx(y z),运算在 A 上适合结合律。x,y,zA,有 x(yz)=(xy)(xz) 或(yz)x=(yx)(z x),运算 对 可分配,适合分配律。 xA,有 xx=x,则运算在 A 上适合幂等律。x,yA, 有 x(xy)=x, x(xy)=x, 和 满足吸收律。el, (或 er)A,对 xA, 有 elx=x (xer=x), el(或 er)是 A 的运算 的左单位元(或右单位元)。若 e 既是右单位元又是左单位元

19、,就称其为单位元。存在 , 就是*的 0 元。一侧成立叫右 0 元或左 0 元。有,对 xA,若 x-1A, 有 x-1x=xx-1=e,x -1 是 x 的逆元。在非空集合 A 上,定义了若干代数运算 f1,f2,fm, (A, f1,f2,fm)称为代数系统。若BA,f 1,f2,fm 在 B 上成立, (B, f1,f2,fm)称为子代数系统。2. 了解半群、群和子群等概念。掌握群的基本运算律及群的判别方法代数系统 子 群群半 群)( 存 在 逆 元 、 单 位 元具 有 结 合 律 ),(, HGG 3. 了解循环群、交换群和置换群的概念,掌握其判别方法。4.了解群的同态与同构等概念,

20、知道它们的主要性质。5. 知道环的概念。6. 了解格的概念。设(L,) 是一个偏序集,如果对于a,bL,L 的子集 a,b在 L 中都有一个最大下界(记为 infa,b)和一个最小上界(记为 supa,b),则称(L,)是一个偏序格。9子集在 L 中有上确界和下确界的偏序集,就是格。在 L 定义二元运算*, o 满足:对a,b,cL, 有 (1) 交换律 a*b=b*a, aob=boa(2) 结合律 (a*b)*c=a*(b*c) , (aob)oc=ao(boc)(3) 吸收律 a*(aob)=a, ao(a*b)=a则称(L,*, o )是代数格. 用代数的语言,格就是在非空集合上定义了

21、两个满足结合律、交换律和吸收律的运算。7. 知道有界格、有余格、分配格的概念。8. 了解布尔代数概念,掌握其性质和运算。设 B 是一个至少含有两个元素的集合,是定义在 B 上的两种运算,如果对a,b,cB,满足下列公理:H1:ab =ba a+b=b+aH2:a(b+c)=a b+ac a+(bc)=(a+b)(a+c)H3:B 中有元素 0 和 1,对aB,有 a1 = a a+0 = aH4:对aB ,有 aB,满足 aa=0 a+a=1则(B, , ,0,1)是一个布尔代数记住布尔代数运算的 10 条算律。【本部分重点】代数运算及性质,群的概念,格和布尔代数的概念,布尔代数的运算及其性质

22、例题:例 1 试判断(Z ,)是否为格?其中是数的小于或等于关系. 解 显然(Z,)是一个偏序集. 又 ,x , y 的最小上界为 , x, y 的最大下Z, )ma(界为 ,皆为整数,仍然属于 Z. 故对 Z 的任意子集,在 Z 中都有上确界和下确界. ,minyx即(Z,)是格. 例 2 设 ( )是布尔代数, ,证明( )是 B 的子布,B1,0,2aB,T尔代数,而且是布尔代数,其中 . 1,0aT证明 对于集合 T 中的元素作运算见表 83. 表 83 T 的元素运算表 0 a a 1 0 a a 1 10 0 a a a 0 0 0 0 0 0 1a a a 1 a a 0 a 0

23、 A a aa a 1 a a a 0 0 a a a a1 1 1 1 1 1 0 a a 1 1 0由 B 是布尔代数可知,从表 83 得到 T 对运算, 是封闭的,所以( ),T是子布尔代数. 由定理 11 知( )也是布尔代数. ,10例 3 单项选择题 1. 下列图(如图 81)表示的偏序集中,是格的为( )图 81答案:(C)解答:所给(A),(B),(D) 的偏序集,都有两个极大元,不存在上确界,都不是格,只有(C)的偏序集有上确界和下确界,是格. 故选择(C)正确. 2. 设 是布尔代数, ,则下式不成立的是( )1,0,(BbaB,1)D)C()Ababa答案:(D)解答:因

24、为 B 是偏序集, . 故; 否 则 , 不 成 立则若那 么 ,baab选择(D)正确. 3. 布尔代数式 =( )(cabcba D(C)()A(答案:(B)解答: . acbcb)1()()(故选择(B)正确. 例 4 填空题1. 非空集合 L,其上定义二元运算和,如果 是交换群,(L, )是 ,而且 满足分配律,则 L 对二元运算和构成环. 答案:(L, );半群;二元运算对运算解答:见环的定义. 2. 设 L 是一个集合,和是 L 上两个二元运算,如果这两个二元运算满足 律,律和 律,则(L ,)是格. 答案:交换律;结合律;吸收律解答:见代数格的定义. 3. 在布尔代数中,有 成立. 则该式的对偶式 也ba)(A) (B) (C) (D)

展开阅读全文
相关资源
相关搜索

当前位置:首页 > 重点行业资料库 > 1

Copyright © 2018-2021 Wenke99.com All rights reserved

工信部备案号浙ICP备20026746号-2  

公安局备案号:浙公网安备33038302330469号

本站为C2C交文档易平台,即用户上传的文档直接卖给下载用户,本站只是网络服务中间平台,所有原创文档下载所得归上传人所有,若您发现上传作品侵犯了您的权利,请立刻联系网站客服并提供证据,平台将在3个工作日内予以改正。