离散数学期末复习纲医要.ppt

（1）需要熟练掌握的知识点包括：命题的定义、逻辑联结词、命题变元、命题公式（合式公式）、永真式、永假式、可满足式、等价式、蕴涵式、极小项、极大项、主析取范式、主合取范式。;（2）掌握基本的等价式和蕴涵式，并掌握常用的等价式和蕴涵式的证明方法（替换规则和推论规则）。 ;（3）要能准确地求出命题公式的主析取范式和主合取范式。掌握主析取范式和主合取范式与真值表的对应关系，主析取范式和主合取范式的关系。;（4）掌握命题符号化的原则； （5）熟练掌握四个推论规则（P、T、CP、F）进行有效性论证。;证明等价式:P41#8(1);P41#8(5);P41#11(2);求命题公式的主范式P42#17;求命题公式的主范式P42#17;CP规则的使用P42#22(3);F规则的使用P43#23(2);符号化并验证结论的有效P43#25(1);符号化;证明;P43#25(6);P43#25(6)(续);第2章 谓词逻辑重点;第2章 谓词逻辑重点（续）;符号化并证明结论的有效性P64#18(1);符号化;证明;符号化并证明结论的有效性P64#18(2);符号化;符号化(续);证明;符号化并证明结论的有效性P64#18(3);符号化;证明;第三章 集合;P84#4;P84#5;P84#6;P84#8;P85#11;P85#12;P85#12（续）;P85#17(1);第四章二元关系;第四章二元关系（续）;P125#10;P125#12;P125#13;P125#13;P125#13;P125#13;P126#22;证明（续）;P126#23;P126#24;证明（续）;证明（续）;P126#25;证明（续）;P126#26;P126#26;P126#26;P126#30;P127#42;P127#42;P127#43;解答（续）;P127#44;P127#44;P127#45(1);P127#45(2);P127#45(3);P127#45(4);第四章 函数;一、主要内容;1、函数的基本概念;2、函数的性质;3、特种函数;4、复合函数;5、逆函数;相关定理;相关定理（续）;二、本章要点;本章要点（续）;本章要点（续）;本章要点（续）;P148#3;P148#6;P148#10;P148#10;P148#10;P148#11;P148#12;P148#12（续）;P149#15;第五章 代数结构;一、主要内容;1. 代数运算;2. 二元运算的性质;3．二元运算的特异元;(1)幺元;(2)零元;(3)逆元;4. 可约的或可消去的;5. 代数系统;6. 同态与同构的概念;7. 代换性质和同余关系;8. 商代数与积代数;商代数与积代数（续）;9.半群和群;子群;阿贝尔群和循环群;二、本章要点;本章要点（续）;(7)掌握半群、独异点、群、子群的概念及相关的证明。 (8)理解阿贝尔群、循环群的概念。;P166#4;证明;P167#9;P167#13;P168#17;5、P196#5;证明（1）a*a=a;证明（2） a*b*a=a;证明（3） a*b*c=a*c;P197#6;解答; P198#17;证明;证明： （续）; P198#18;证明;P198#19;证明（2）;P198#25;证明（续）;证明（续）;P198#26;证明;证明： （续）;证明;证明;证明;解答;证明;证明方法一;证明方法二; 设S, *是群,任取a?S,定义函数f:S→S使得对每个x?S有: f(x) = a*x*a-1 试证明：f是S, *的自同构映射。;证明;证明（续）;证明（续）;证明;证明;证明;证明：H= B,*是一个群;（1）*运算可结合;（2） B,*中存在幺元;（3） B,*中每个元素均可逆;第七章 图论要点;图论要点（续）;图论要点（续）;4、特殊图： （1）欧拉图、二部图、平面图（简单了解基本概念）； （2）树（没有任何回路的连通无向图），如果T为树，则：m=n-1（m为边数，n为结点数）； （3）掌握树的六个等价定义,掌握最小生成树。 （4）掌握有向树、根树（树根、树叶、分支结点）、有序树、m叉树、完全m叉树、二叉树、最优二叉树的概念。;P242#5;P242#6;P242#9;P242#11;P284#33;P284#34;P284#42;P284#43;证明;证明;P284#45、46