《离散数学》方世昌 的期末复习知识点总结含例题.docx
《《离散数学》方世昌 的期末复习知识点总结含例题.docx》由会员分享,可在线阅读,更多相关《《离散数学》方世昌 的期末复习知识点总结含例题.docx(29页珍藏版)》请在三一办公上搜索。
1、离散数学方世昌 的期末复习知识点总结含例题离散数学方世昌 的期末复习知识点总结含例题 一、各章复习要求与重点 第一章 集 合 复习知识点 1、集合、元素、集合的表示方法、子集、空集、全集、集合的包含、相等、幂集 2、集合的交、并、差、补等运算及其运算律,文氏图 3、序偶与迪卡尔积 本章重点内容:集合的概念、集合的运算性质、集合恒等式的证明 复习要求 1、理解集合、元素、子集、空集、全集、集合的包含、相等、幂集等基本概念。 2、掌握集合的表示法和集合的交、并、差、补等基本运算。 3、掌握集合运算基本规律,证明集合等式的方法。 4、了解序偶与迪卡尔积的概念,掌握迪卡尔积的运算。 疑难解析 1、集合
2、的概念 因为集合的概念学生在中学阶段已经学过,这里只多了一个幂集概念,重点对幂集加以掌握,一是掌握幂集的构成,一是掌握幂集元数为2n。 2、集合恒等式的证明 通过对集合恒等式证明的练习,既可以加深对集合性质的理解与掌握;又可以为第三章命题逻辑中公式的基本等价式的应用打下良好的基础。实际上,本章做题是一种基本功训练,尤其要求学生重视吸收律和重要等价式在A-B=AB证明中的特殊作用。 例题分析 例1 设A,B是两个集合,A=1,2,3,B=1,2,则r(A)-r(B)= 。 解 r(A)=f,1,2,3,1,2,1,3,2,3,1,2,3 r(B)=f,1,2,1,2 1 于是r(A)-r(B)=
3、3,1,3,2,3,1,2,3 例2 设A=a,b,a,b,F,试求: (1)A-a,b; (2)A-F; (3)A-F; (4)a,b-A; (5)F-A; (6)F-A。 解 (1)A-a,b=a,b,F (2)A-F=A (3)A-F=a,b,a,b (4)a,b-A=F (5)F-A=F (6)F-A=F 例3 试证明(AB)(AB)=(AB)(AB) 证明 (AB)(AB)=(AB)A)(AB)B)=(AA)(BA)(AB)(BB)()()=FABABF=(AB)(AB) 第二章 二元关系 复习知识点 1、关系、关系矩阵与关系图 2、复合关系与逆关系 3、关系的性质 4、关系的闭包
4、5、等价关系与等价类 6、偏序关系与哈斯图、极大/小元、最大/小元、上/下界、最小上界、最大下界 7、函数及其性质 8、复合函数与反函数 本章重点内容:二元关系的概念、关系的性质、关系的闭包、等价关系、半序关系、映射的概念 复习要求 1、理解关系的概念:二元关系、空关系、全关系、恒等关系;掌握关系的集合表示、关系矩阵和关系图、关系的运算。 2 2、掌握求复合关系与逆关系的方法。 3、理解关系的性质,掌握其判别方法。 4、掌握求关系的闭包 的方法。 5、理解等价关系和偏序关系的概念,掌握等价类的求法和偏序关系做哈斯图的方法,极大/小元、最大/小元、上/下界、最小上界、最大下界的求法。 6、理解函
5、数概念:函数、函数相等、复合函数和反函数。 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、关系的性质及其判定 关系的性质既是对关系概念的加深理解与掌握,又是关系的闭包、等价关系、半序关系的基础。对于四种性质的判定,可以依据教材中P49上总结的
6、规律。这其中对传递性的判定,难度稍大一点,这里要提及两点:一是不破坏传递性定义,可认为具有传递性。如空关系具有传递性,同时空关系具有对称性与反对称性,但是不具有自反性。另一点是介绍一种判定传递性的“跟踪法”,即若(a1,a2)R,(a2,a3)R,LL,则(a1,ai)R。如若(a,b)R,、关系的闭包 在理解掌握关系闭包概念的基础上,主要掌握闭包的求法。关键是熟记三个定理的结论:定理2, r(R)=RIA;定理3, s(R)=RR;定理4,推论 t(R)=-1(ai-1,ai)R,(b,a)R,则有(a,a)R,且(b,b)R。 URi=1ni。 、半序关系及半序集中特殊元素的确定 理解与掌
7、握半序关系与半序集概念的关键是哈斯图。哈斯图画法掌握了,对于确定任一子集的最大元,极大元也就容易了。这里要注意,最大元与极大3 元只能在子集内确定,而上界与下界可在子集之外的全集中确定,最小上界为所有上界中最小者,最小上界再小也不小于子集中的任一元素,可以与某一元素相等,最大下界也同样。 、映射的概念与映射种类的判定 映射的种类主要指单射、满射、双射与非单非满射。判定的方法除定义外,可借助于关系图,而实数集的子集上的映射也可以利用直角坐标系表示进行,尤其是对各种初等函数。 例题分析 例1 设集合A=a,b,c,d,判定下列关系,哪些是自反的,对称的,反对称的和传递的: R1=(a,a),(b,
8、a)R5=(a,c),(b,d)R2=(a,a),(b,c),(d,a)R3=(c,d)R4=(a,a,),(b,b),(c,c)解:均不是自反的;R4是对称的;R1 ,R2 ,R3 , R4 ,R5是反对称的;R1 ,R2 ,R3 , R4 ,R5是传递的。 例2 设集合A=1,2,3,4,5,A上的二元关系R为 R=(1,1),(2,2),(3,3),(3,4),(4,4),(5,3),(5,4),(5,5) 写出R的关系矩阵,画出R的关系图; 证明R是A上的半序关系,画出其哈斯图; 若BA,且B=2,3,4,5,求B的最大元,最小元,极大元,极小元,最小上界和最大下界。 解 R的关系矩阵
9、为 10 MR=000000010000110 R的关系图略 00100111 因为R是自反的,反对称的和传递的,所以R是A上的半序关系。(A,R)为半序集, (A,R)的哈斯图如下 4 。4 。1 。3 。2 。5 (3) 当B=2,3,4,5,B的极大元为2,4;极小元为2,5;B无最大元与最小元;B也无上界与下界,更无最小上界与最大下界。 第三章 命题逻辑 复习知识点 、命题与联结词,复合命题 、命题公式与解释,真值表,公式分类,公式的等价 、析取范式、合取范式,极小项,主析取范式、主合取范式 、公式类别的判别方法 、公式的蕴涵与逻辑结果 、形式演绎 本章重点内容:命题与联结词、公式与解
10、释、析取范式与合取范式、公式恒真性的判定、形式演绎 复习要求 、理解命题的概念;了解命题联结词的概念;理解用联结词产生复合命题的方法。 、理解公式与解释的概念;掌握求给定公式真值表的方法,用基本等价式化简其他公式,公式在解释下的真值。 、了解析取范式的概念;理解极大项的概念和主析取范式的概念;掌握用基本等价式或真值表将公式化为主析取范式的方法。 、掌握利用真值表、等值演算法和主析取/合取范式的唯一性判别公式类型和公式等价的方法。 、理解公式蕴涵与逻辑结果的概念,掌握基本蕴涵式。 6、掌握形式演绎的证明方法。 本章重点习题 5 P93,1; P98,2,3; P104,2,3; P107,1,3
11、; P112,5; P115,1,2,3。 疑难解析 1、公式恒真性的判定 判定公式的恒真性,包括判定公式是恒真的或是恒假的。具体方法有两种,一是真值表法,对于任给一个公式,主要列出该公式的真值表,观察真值表的最后一列是否全为1,就可以判定该公式是否恒真,若不全为0,则为可满足的。二是推导法,即利用基本等价式推导出结果为1,或者利用恒真判定定理:公式G是恒真的当且仅当等价于它的合取范式中,每个子句均至少包含一个原子及其否定。 这里要求的析取范式中所含有的每个短语不是极小项,一定要与求主析取范式相区别,对于合取范式也同样。 2、范式 求范式,包括求析取范式、合取范式、主析取范式和主合取范式。关键
12、有两点:一是准确理解掌握定义;另一是巧妙使用基本等价式中的分配律、同一律和互补律,结果的前一步适当使用等幂律,使相同的短语只保留一个。 另外,由已经得到的主析取范式,根据GG=1,(G)=G原理,参阅离散数学学习指导书P71例15,可以求得主合取范式。 3、形式演绎法 掌握形式演绎进行逻辑推理时,一是要理解并掌握14个基本蕴涵式,二是会使用三个规则:规则P、规则Q和规则D,需要进行一定的练习。 例题分析 例1 求G=(PQ)R)P的主析取范式与主合取范式。 解 求主析取范式, 方法1:利用真值表求解 PQR 0 0 0 0 0 1 0 1 0 PQ 0 0 0 (PQ)R 1 0 1 G 0
13、1 0 6 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 因此 0 0 0 1 1 0 1 0 1 1 1 1 1 1 1 G=(PQR)(PQR)(PQR)(PQR)(PQR)(PQR) 方法2:推导法 G=(PQ)RR)P=(PQ)R)P=(PQ)R)P=(PR)(QR)P=(PR)(QQ)(QR)(PP)(P(QQ)(RR)=(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)=(PQR)(PQR)(PQR)(PQR)(PQR)(PQR)求主合取范式 方法1:利用上面的真值表 它们对应的极大项分别为PQR,(PQ)R)P为0的有两行,因此,(PQ
14、)R)P=(PQR)(PQR) 方法2:利用已求出的主析取范式求主合取范式 已用去6个极小项,尚有2个极小项,即 PQR与PQR 于是 PQR G=(PQR)(PQR)G=(G)=(PQR)(PQR) =(PQR)(PQR)例2 试证明公式G=(PQ)(QR)(PR)为恒真公式。 证法一: 见离散数学学习指导书P60例6的解答。 证法二 : 7 G=) =PR =)P)R =)R =)R =QRPR =1 故G为恒真公式。 例3 利用形式演绎法证明 P,SP,Q蕴涵SR。 证明: SP 规则P S 规则D P 规则Q,根据, P 规则P QR 规则Q,根据, Q 规则P R 规则 Q,根据,
15、SR 规则D,根据, 第四章 谓词逻辑 复习知识点 1、谓词、量词、个体词、个体域、变元 2、谓词公式与解释,谓词公式的类型 3、谓词公式的等价和蕴涵 4、前束范式 本章重点内容:谓词与量词、公式与解释、前束范式 复习要求 1、理解谓词、量词、个体词、个体域、变元的概念;理解用谓词、量词、逻辑联结词描述一个简单命题;了解命题符号化。 2、理解公式与解释的概念;掌握在有限个体域下消去公式量词,求公式在给定解释下真值8 的方法;了解谓词公式的类型。 3、理解用解释的方法证明等价式和蕴涵式。 4、掌握求公式前束范式的方法。 本章重点习题 P120,1,2; P125126,1,3; P137,1。
16、疑难解析 1、谓词与量词 反复理解谓词与量词引入的意义,概念的含义及在谓词与量词作用下变量的自由性、约束性与改名规则。 2、公式与解释 能将一阶逻辑公式表达式中的量词消除,写成与之等价的公式,然后将解释I中的数值代入公式,求出真值。 3、前束范式 在充分理解掌握前束范式概念的基础上,利用改名规则、基本等价式与蕴涵式,将给定公式中量词提到母式之前称为首标。 典型例题 例1 设I是如下一个解释:D=2,3 F(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 求$xy(P(x)Q(F(x),y)的真值。 解 $xy(P(x)
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 离散数学方世昌 的期末复习知识点总结含例题 方世昌 期末 复习 知识点 总结 例题
链接地址:https://www.31ppt.com/p-3184792.html