欢迎来到天天文库
浏览记录
ID：53612062
大小：367.50 KB
页数：10页
时间：2020-04-20
《离散数学考试总复习-中南大学电子信息工程.ppt》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。
1、1总复习2主要内容命题逻辑谓词逻辑集合二元关系函数图论命题逻辑命题原子命题复合命题联结词命题公式永真式永真蕴涵式等价公式范式命题逻辑推理直接推理间接推理附加前提法反证法析取合取主析取主合取3逻辑联结词要熟练掌握联结词的真值表定义以及它们在自然语言中的含义特别注意“∨”和“→”的用法命题符号化、约束变元换名掌握永真式的证明方法真值表等价变换，化简成Ｔ主范式掌握永真蕴含式的证明方法掌握等价公式的证明方法对偶式熟练掌握范式的写法熟练掌握三种推理方法直接证明附加前提反证法学习重点及要求：45谓词逻辑本章重点掌握内容：1.各基本概念清楚。2.会命题符号化。3.熟练
2、掌握等价公式和永真蕴涵式；判断公式类型4.熟练掌握谓词逻辑的三种推理方法。6集合本章重点掌握内容：1.幂集2.容斥原理3.熟练掌握集合的运算二元关系良序枚举法有向图矩阵*等价关系有向图等价类商集划分*偏序关系全序哈斯图重要元素计算方法运算性质二元关系概念及表示方法性质*自反对称传递反对称反自反运算*复合求逆闭包拟序关系78本章重点掌握内容：1.关系的性质、关系图、关系矩阵2.等价关系、偏序关系、商集3.熟练掌握关系的闭包4.熟练掌握哈斯图，8大元素9函数本章重点掌握内容：1.熟练掌握复合函数和逆函数2.熟练掌握三大特殊函数10图论本章重点掌握内容：1.熟
3、练掌握欧拉公式2.熟练掌握图的点着色3.熟练掌握二部图、欧拉图、哈密尔顿图等
此文档下载收益归作者所有
