《离散数学》方世昌的期末复习知识点总结 .docx
《《离散数学》方世昌的期末复习知识点总结 .docx》由会员分享,可在线阅读,更多相关《《离散数学》方世昌的期末复习知识点总结 .docx(30页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、精品名师归纳总结离散数学期末复习提要离散数学是中心电大“数学与数学应用专业”(本科)的一门选修课。该课程使用新的教学大纲,在原有离散数学课程的基础上削减了教学内容(主要是群与环、格与布尔代数这两章及图论的后三节内容),使用的教材为中心电大出版的离散数学(刘叙华等编)和离散数学学习指导书(虞恩蔚等编) 。离散数学主要讨论离散量结构及相互关系,使同学得到良好的数学训练,提高同学抽象思维和规律推理才能,为从事运算机的应用供应必要的描述工具和理论基础。其先修课 程为:高等数学、线性代数。后续课程为:数据结构、数据库、操作系统、运算机网络等。课程的主要内容1、 集合论部分(集合的基本概念和运算、关系及其
2、性质)。2、 数理规律部分(命题规律、谓词规律)。3、 图论部分(图的基本概念、树及其性质)。学习建议离散数学是理论性较强的学科,学习离散数学的关键是对离散数学(集合论、数理逻辑和图论)有关基本概念的精确把握,对基本原理及基本运算的运用,并要多做练习。教学要求的层次各章教学要求的层次为明白、懂得和把握。明白即能正确判别有关概念和方法。懂得是能正确表达有关概念和方法的含义。把握是在懂得的基础上加以敏捷应用。一、各章复习要求与重点第一章 集合 复习学问点 1、集合、元素、集合的表示方法、子集、空集、全集、集合的包含、相等、幂集2、集合的交、 并、差、补等运算及其运算律 (交换律、 结合律、 安排律
3、、 吸取律、 De Morgan律等),文氏( Venn)图3、序偶与迪卡尔积本章重点内容:集合的概念、集合的运算性质、集合恒等式的证明复习要求 可编辑资料 - - - 欢迎下载精品名师归纳总结1、懂得集合、元素、子集、空集、全集、集合的包含、相等、幂集等基本概念。2、把握集合的表示法和集合的交、并、差、补等基本运算。3、把握集合运算基本规律,证明集合等式的方法。4、明白序偶与迪卡尔积的概念,把握迪卡尔积的运算。 本章重点习题 P56, 4、6。 P1415,3、6、7。 P20,5、7。 疑难解析 1、集合的概念由于集合的概念同学在中学阶段已经学过,这里只多了一个幂集概念,重点对幂集加以把握
4、,一是把握幂集的构成,一是把握幂集元数为2n。2、集合恒等式的证明通过对集合恒等式证明的练习,既可以加深对集合性质的懂得与把握。又可以为第三章命题规律中公式的基本等价式的应用打下良好的基础。实际上,本章做题是一种基本功可编辑资料 - - - 欢迎下载精品名师归纳总结训练,特别要求同学重视吸取律和重要等价式在ABA B 证明中的特别作用。可编辑资料 - - - 欢迎下载精品名师归纳总结可编辑资料 - - - 欢迎下载精品名师归纳总结 例题分析 例 1 设 A ,B 是两个集合, A=1 ,2,3 ,B=1 ,2 ,就 A(B) 。可编辑资料 - - - 欢迎下载精品名师归纳总结解 A,1, 2,
5、 3, 1,2, 1,3, 2,3, 1,2,3B,1, 2, 1,2可编辑资料 - - - 欢迎下载精品名师归纳总结于是 A B 3, 1,3, 2,3, 1,2,3可编辑资料 - - - 欢迎下载精品名师归纳总结可编辑资料 - - - 欢迎下载精品名师归纳总结例 2设 Aa, b,a, b ,试求:可编辑资料 - - - 欢迎下载精品名师归纳总结可编辑资料 - - - 欢迎下载精品名师归纳总结(1) Aa, b。 2 A。3 A。可编辑资料 - - - 欢迎下载精品名师归纳总结可编辑资料 - - - 欢迎下载精品名师归纳总结4a,bA 。5A。 6A 。可编辑资料 - - - 欢迎下载精品
6、名师归纳总结可编辑资料 - - - 欢迎下载精品名师归纳总结解1 Aa, ba,b ,(2) AA3 Aa,b,a, b可编辑资料 - - - 欢迎下载精品名师归纳总结可编辑资料 - - - 欢迎下载精品名师归纳总结4a, bA5A6A可编辑资料 - - - 欢迎下载精品名师归纳总结可编辑资料 - - - 欢迎下载精品名师归纳总结例 3试证明A B ABAB A B可编辑资料 - - - 欢迎下载精品名师归纳总结证明可编辑资料 - - - 欢迎下载精品名师归纳总结A B ABA B AA BBA A B AAB BB A BABAB A B其次章 二元关系 复习学问点 1、关系、关系矩阵与关系
7、图2、复合关系与逆关系3、关系的性质(自反性、对称性、反对称性、传递性)4、关系的闭包(自反闭包、对称闭包、传递闭包)5、等价关系与等价类6、偏序关系与哈斯图(Hasse)、极大 /小元、最大 /小元、上 /下界、最小上界、最大下界7、函数及其性质(单射、满射、双射)8、复合函数与反函数本章重点内容:二元关系的概念、关系的性质、关系的闭包、等价关系、半序关系、映射的概念 复习要求 1、懂得关系的概念:二元关系、空关系、全关系、恒等关系。把握关系的集合表示、关系矩阵和关系图、关系的运算。2、把握求复合关系与逆关系的方法。3、懂得关系的性质(自反性、对称性、反对称性、传递性),把握其判别方法(定义
8、、矩阵、图)。4、把握求关系的闭包(自反闭包、对称闭包、传递闭包)的方法。5、懂得等价关系和偏序关系的概念,把握等价类的求法和偏序关系做哈斯图的方法,极大/ 小元、最大 /小元、上 /下界、最小上界、最大下界的求法。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。 疑难解析
9、 1、关系的概念关系的概念是其次章全章的基础,又是第一章集合概念的应用。因此,同学应当真正懂得并娴熟把握二元关系的概念及关系矩阵、关系图表示。2、关系的性质及其判定关系的性质既是对关系概念的加深懂得与把握,又是关系的闭包、等价关系、半序关系的基础。对于四种性质的判定,可以依据教材中P49 上总结的规律。这其中对传递性的判定,难度稍大一点,这里要提及两点:一是不破坏传递性定义,可认为具有传递性。如空关系具有传递性,同时空关系具有对称性与反对称性,但是不具有自反性。另一点是介可编辑资料 - - - 欢迎下载精品名师归纳总结绍一种判定传递性的“跟踪法” ,即如a1 , a 2R,a2 , a3R,a
10、i1 , aiR ,可编辑资料 - - - 欢迎下载精品名师归纳总结可编辑资料 - - - 欢迎下载精品名师归纳总结就 a1 , aiR 。如如a, bR,b, aR ,就有a, aR ,且b,bR 。可编辑资料 - - - 欢迎下载精品名师归纳总结、关系的闭包在懂得把握关系闭包概念的基础上,主要把握闭包的求法。关键是熟记三个定理的结可编辑资料 - - - 欢迎下载精品名师归纳总结论:定理 2, r RRI A 。定理 3, s Rn1iRR。定理 4,推论 t RR 。i 1可编辑资料 - - - 欢迎下载精品名师归纳总结、半序关系及半序集中特别元素的确定懂得与把握半序关系与半序集概念的关键
11、是哈斯图。哈斯图画法把握了,对于确定任一子集的最大 (小) 元,极大(小) 元也就简洁了。 这里要留意, 最大(小) 元与极大 (小) 元只能在子集内确定,而上界与下界可在子集之外的全集中确定,最小上界为全部上界中最小者,最小上界再小也不小于子集中的任一元素,可以与某一元素相等,最大下界也同样。、映射的概念与映射种类的判定映射的种类主要指单射、满射、双射与非单非满射。判定的方法除定义外,可借助于关系图,而实数集的子集上的映射也可以利用直角坐标系表示进行,特别是对各种初等函数。 例题分析 可编辑资料 - - - 欢迎下载精品名师归纳总结例 1 设集合 Aa,b,c,d,判定以下关系,哪些是自反的
12、,对称的,反对称的和传递的:可编辑资料 - - - 欢迎下载精品名师归纳总结R1a, a , b, aR2a, a , b,c , d,aR3c, dR4a, a, , b,b , c,cR5a,c , b, d解:均不是自反的。 R4 是对称的。 R1 ,R2 ,R3 , R4 ,R5 是反对称的。 R1 ,R2 ,R 3 , R 4 ,R5 是传递的。可编辑资料 - - - 欢迎下载精品名师归纳总结例 2 设集合 A1,2,3,4,5, A 上的二元关系 R 为可编辑资料 - - - 欢迎下载精品名师归纳总结可编辑资料 - - - 欢迎下载精品名师归纳总结R1,1 ,2,2 ,3,3 ,3
13、,4 ,4,4 ,5,3 ,5,4 ,5,5可编辑资料 - - - 欢迎下载精品名师归纳总结()写出 R 的关系矩阵,画出R 的关系图。()证明 R 是 A 上的半序关系,画出其哈斯图。可编辑资料 - - - 欢迎下载精品名师归纳总结()如 BA,且 B2,3,4,5,求 B 的最大元,最小元,极大元,微小元,最小上界可编辑资料 - - - 欢迎下载精品名师归纳总结和最大下界。解 ( 1)R 的关系矩阵为100000100000110R 的关系图略0001000111M R( 2)由于 R 是自反的, 反对称的和传递的, 所以 R 是 A 上的半序关系。 A,R 为半序集,A,R 的哈斯图如下
14、。4。1。3。2。5可编辑资料 - - - 欢迎下载精品名师归纳总结(3) 当 B2,3,4,5, B 的极大元为2,4。微小元为2,5。 B 无最大元与最小元。 B可编辑资料 - - - 欢迎下载精品名师归纳总结也无上界与下界,更无最小上界与最大下界。第三章命题规律 复习学问点 、命题与联结词(否定、析取、合取、蕴涵、等价),复合命题 、命题公式与说明,真值表,公式分类(恒真、恒假、可满意),公式的等价可编辑资料 - - - 欢迎下载精品名师归纳总结、析取范式、合取范式,微小(大)项,主析取范式、主合取范式 、公式类别的判别方法(真值表法、等值演算法、主析取/合取范式法) 、公式的蕴涵与规律
15、结果、形式演绎本章重点内容: 命题与联结词、 公式与说明、 析取范式与合取范式、公式恒真性的判定、形式演绎 复习要求 、懂得命题的概念。明白命题联结词的概念。懂得用联结词产生复合命题的方法。、懂得公式与说明的概念。把握求给定公式真值表的方法,用基本等价式化简其他公式, 公式在说明下的真值。 、明白析取(合取)范式的概念。懂得极大(小)项的概念和主析取(合取)范式的概念。把握用基本等价式或真值表将公式化为主析取(合取)范式的方法。、把握利用真值表、 等值演算法和主析取 /合取范式的唯独性判别公式类型和公式等价的方法。、懂得公式蕴涵与规律结果的概念,把握基本蕴涵式。6、把握形式演绎的证明方法。 本
16、章重点习题 P93,1。 P98, 2, 3。 P104,2, 3。 P107, 1, 3。 P112, 5。 P115, 1, 2, 3。 疑难解析 1、公式恒真性的判定判定公式的恒真性,包括判定公式是恒真的或是恒假的。详细方法有两种,一是真值表法,对于任给一个公式,主要列出该公式的真值表,观看真值表的最终一列是否全为1(或全为 0),就可以判定该公式是否恒真(或恒假),如不全为 0,就为可满意的。二是推导法,即利用基本等价式推导出结果为1,或者利用恒真(恒假)判定定理:公式G 是恒真的(恒假的)当且仅当等价于它的合取范式(析取范式)中,每个子句(短语)均至少包含一个原子及其否定。这里要求的
17、析取范式中所含有的每个短语不是微小项,肯定要与求主析取范式相区分,对于合取范式也同样。2、范式求范式,包括求析取范式、合取范式、主析取范式和主合取范式。关键有两点:一是可编辑资料 - - - 欢迎下载精品名师归纳总结精确懂得把握定义。另一是奇妙使用基本等价式中的安排律、同一律和互补律,结果的前一步适当使用等幂律,使相同的短语(或子句)只保留一个。可编辑资料 - - - 欢迎下载精品名师归纳总结另外,由已经得到的主析取(合取)范式,依据GG1,GG 原理,参可编辑资料 - - - 欢迎下载精品名师归纳总结阅离散数学学习指导书P71 例 15,可以求得主合取(析取)范式。3、形式演绎法把握形式演绎
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 离散数学方世昌的期末复习知识点总结 方世昌 期末 复习 知识点 总结
限制150内