离散数学复习要点

《离散数学复习要点》由会员分享，可在线阅读，更多相关《离散数学复习要点（25页珍藏版）》请在金锄头文库上搜索。

1、1离散数学离散数学期末复习提要期末复习提要离散数学是中央电大“数学与数学应用专业” （本科）的一门选修课。该课程使用新的教学大纲，在原有离散数学课程的基础上削减了教学内容（主要是群与环、格与布尔代数这两章及图论的后三节内容） ，使用的教材为中央电大出版的离散数学 （刘叙华等编）和离散数学学习指导书 （虞恩蔚等编） 。离散数学主要研究离散量结构及相互关系，使学生得到良好的数学训练，提高学生抽象思维和逻辑推理能力，为从事计算机的应用提供必要的描述工具和理论基础。其先修课程为：高等数学、线性代数；后续课程为：数据结构、数据库、操作系统、计算机网络等。课程的主要内容课程的主要内容1、 集合论部分（集合

2、的基本概念和运算、关系及其性质） ；2、 数理逻辑部分（命题逻辑、谓词逻辑） ；3、 图论部分（图的基本概念、树及其性质） 。学习建议学习建议离散数学是理论性较强的学科，学习离散数学的关键是对离散数学（集合论、数理逻辑和图论）有关基本概念的准确掌握，对基本原理及基本运算的运用，并要多做练习。教学要求的层次教学要求的层次各章教学要求的层次为了解、理解和掌握。了解即能正确判别有关概念和方法；理解是能正确表达有关概念和方法的含义；掌握是在理解的基础上加以灵活应用。一、各章复习要求与重点一、各章复习要求与重点第一章第一章 集集 合合复习知识点1、集合、元素、集合的表示方法、子集、空集、全集、集合的包含

3、、相等、幂集2、集合的交、并、差、补等运算及其运算律（交换律、结合律、分配律、吸收律、 De Morgan 律等） ，文氏（Venn）图3、序偶与迪卡尔积本章重点内容：集合的概念、集合的运算性质、集合恒等式的证明2复习要求1、理解集合、元素、子集、空集、全集、集合的包含、相等、幂集等基本概念。2、掌握集合的表示法和集合的交、并、差、补等基本运算。3、掌握集合运算基本规律，证明集合等式的方法。4、了解序偶与迪卡尔积的概念，掌握迪卡尔积的运算。本章重点习题P56，4、6； P1415，3、6、7； P20，5、7。疑难解析1、集合的概念因为集合的概念学生在中学阶段已经学过，这里只多了一个幂集概念，

4、重点对幂集加以掌握，一是掌握幂集的构成，一是掌握幂集元数为 2n。2、集合恒等式的证明通过对集合恒等式证明的练习，既可以加深对集合性质的理解与掌握；又可以为第三章命题逻辑中公式的基本等价式的应用打下良好的基础。实际上，本章做题是一种基本功训练，尤其要求学生重视吸收律和重要等价式在证明中的特殊作用。BABA例题分析例 1 设 A，B 是两个集合，A=1，2，3，B=1，2，则 )()(BA。解 3 , 2 , 1,3 , 2,3 , 1,2 , 1,3,2,1 ,)(A2 , 1,2,1 ,)(B于是3 , 2 , 1,3 , 2,3 , 1,3)()(BA例 2 设，试求： ,babaA(1)

5、； (2)； (3)； baA,A A(4)； (5)； (6)。 Aba,A A解 (1) (2) (3) ,babaAAA babaA,(4) (5) (6) Aba,A A3例 3 试证明 BABABABA证明 BABABABABBBAABAABBAABABABA第二章第二章 二元关系二元关系复习知识点1、关系、关系矩阵与关系图2、复合关系与逆关系 3、关系的性质（自反性、对称性、反对称性、传递性） 4、关系的闭包（自反闭包、对称闭包、传递闭包）5、等价关系与等价类6、偏序关系与哈斯图（Hasse） 、极大/小元、最大/小元、上/下界、最小上界、最大下界7、函数及其性质（单射、满射、双射

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

7、、理解单射、满射、双射等概念，掌握其判别方法。4本章重点习题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 上总结的规律。这其中对传递性的判定，难度稍大一点，这里要提及两

8、点：一是不破坏传递性定义，可认为具有传递性。如空关系具有传递性，同时空关系具有对称性与反对称性，但是不具有自反性。另一点是介绍一种判定传递性的“跟踪法” ，即若，RaaRaaRaaii,13221LL则。如若，则有，且。Raai,1RabRba,Raa,Rbb,、关系的闭包在理解掌握关系闭包概念的基础上，主要掌握闭包的求法。关键是熟记三个定理的结论：定理 2， ；定理 3， ；定理 4，推论 。 AIRRr 1RRRs UniiRRt1、半序关系及半序集中特殊元素的确定理解与掌握半序关系与半序集概念的关键是哈斯图。哈斯图画法掌握了，对于确定任一子集的最大（小）元，极大（小）元也就容易了。这里要

9、注意，最大（小）元与极大（小）元只能在子集内确定，而上界与下界可在子集之外的全集中确定，最小上界为所有上界中最小者，最小上界再小也不小于子集中的任一元素，可以与某一元素相等，最大下界也同样。、映射的概念与映射种类的判定映射的种类主要指单射、满射、双射与非单非满射。判定的方法除定义外，可借助于关系图，而实数集的子集上的映射也可以利用直角坐标系表示进行，尤其是对各种初等函数。例题分析5例 1 设集合，判定下列关系，哪些是自反的，对称的，反对称的和传递的：dcbaA, dbcaRccbbaaRdcRadcbaaRabaaR, ,54321 解：均不是自反的；R4是对称的；R1 ,R2 ,R3 , R

10、4 ,R5是反对称的；R1 ,R2 ,R3 , R4 ,R5是传递的。例 2 设集合，A 上的二元关系 R 为5 , 4 , 3 , 2 , 1A 5 , 5,4 , 5,3 , 5,4 , 4,4 , 3,3 , 3,2 , 2,1 , 1R（）写出 R 的关系矩阵，画出 R 的关系图；（）证明 R 是 A 上的半序关系，画出其哈斯图；（）若，且，求 B 的最大元，最小元，极大元，极小元，最小上界AB 5 , 4 , 3 , 2B和最大下界。解 （1）R 的关系矩阵为R 的关系图略1110001000011000001000001RM（2）因为 R 是自反的，反对称的和传递的，所以 R 是

11、A 上的半序关系。(A,R)为半序集，(A,R)的哈斯图如下(3) 当，B 的极大元为 2，4；极小元为 2，5；B 无最大元与最小元；B5 , 4 , 3 , 2B也无上界与下界，更无最小上界与最大下界。第三章第三章 命题逻辑命题逻辑。4。1。3。2。56复习知识点、命题与联结词（否定、析取、合取、蕴涵、等价） ，复合命题、命题公式与解释，真值表，公式分类（恒真、恒假、可满足） ，公式的等价、析取范式、合取范式，极小（大）项，主析取范式、主合取范式 、公式类别的判别方法（真值表法、等值演算法、主析取/合取范式法）、公式的蕴涵与逻辑结果、形式演绎本章重点内容：命题与联结词、公式与解释、析取范式

12、与合取范式、公式恒真性的判定、形式演绎复习要求、理解命题的概念；了解命题联结词的概念；理解用联结词产生复合命题的方法。、理解公式与解释的概念；掌握求给定公式真值表的方法，用基本等价式化简其他公式，公式在解释下的真值。、了解析取（合取）范式的概念；理解极大（小）项的概念和主析取（合取）范式的概念；掌握用基本等价式或真值表将公式化为主析取（合取）范式的方法。、掌握利用真值表、等值演算法和主析取/合取范式的唯一性判别公式类型和公式等价的方法。、理解公式蕴涵与逻辑结果的概念，掌握基本蕴涵式。6、掌握形式演绎的证明方法。本章重点习题P93，1； P98，2，3； P104，2，3； P107，1，3；

13、P112，5； P115，1，2，3。疑难解析1、公式恒真性的判定判定公式的恒真性，包括判定公式是恒真的或是恒假的。具体方法有两种，一是真值表法，对于任给一个公式，主要列出该公式的真值表，观察真值表的最后一列是否全为1（或全为 0） ，就可以判定该公式是否恒真（或恒假） ，若不全为 0，则为可满足的。二是推导法，即利用基本等价式推导出结果为 1，或者利用恒真（恒假）判定定理：公式 G 是恒真的（恒假的）当且仅当等价于它的合取范式（析取范式）中，每个子句（短语）均至少包含一个原子及其否定。这里要求的析取范式中所含有的每个短语不是极小项，一定要与求主析取范式相区别，7对于合取范式也同样。2、范式求

14、范式，包括求析取范式、合取范式、主析取范式和主合取范式。关键有两点：一是准确理解掌握定义；另一是巧妙使用基本等价式中的分配律、同一律和互补律，结果的前一步适当使用等幂律，使相同的短语（或子句）只保留一个。另外，由已经得到的主析取（合取）范式，根据原理，参GGGG, 1阅离散数学学习指导书P71 例 15，可以求得主合取（析取）范式。3、形式演绎法掌握形式演绎进行逻辑推理时，一是要理解并掌握 14 个基本蕴涵式，二是会使用三个规则：规则 P、规则 Q 和规则 D，需要进行一定的练习。例题分析例 1 求的主析取范式与主合取范式。PRQPG解 （1）求主析取范式，方法 1：利用真值表求解RQPQP RQPG0 0 00 0 10 1 00 1 11 0 01 0 11 1 01 1 1000000111010101101011111因此 RQPRQPRQPRQPRQPRQPG 方法 2：推导法8 RQPRQPRQPRQPRQPRQPRQPRQPRQPRQPRQPRQP