离散数学课.docVIP

离散数学课程 考核说明与综合练习 第一部分 考核说明 本课程的计划学时数为54学时，对教学大纲中注有“*”的内容不做要求。各章的重点习题请参考教学大纲中的附件（离散数学平时作业要求）。考试题型为填空题、单选题、计算题、问答题和证明题。各章的复习重点和具体要求如下： 第一章 集 合 熟练掌握集合、子集、包含、相等、空集、全集、幂集等基本概念和并、交、差、补的基本运算。在理解集合运算的基本定律的基础上，能熟练地运用这些基本定律证明集合的恒等式。 掌握序偶与笛卡尔积的概念。 了解文氏图和包含排斥原理。 第二章 关系与映射 熟练掌握二元关系、空关系、全关系、恒等关系、关系矩阵、关系图、n元关系等基本概念。能够对给出的关系图写出相应的关系矩阵，反之亦然。 掌握复合关系和逆关系的概念，对给定的集合和其上的二元关系，能够求出复合关系、逆关系和n不超过3次的n次幂。 熟练掌握自反性、对称性、反对称性、传递性四个性质及其判定的方法。对给定的集合及其上的关系能够判定是否具有上述性质。 熟练掌握关系闭包的概念及其求解的方法，对给定的集合及其上的关系，能够求出自反闭包、对称闭包、传递闭包等。 熟练掌握半序关系、半序集的概念及哈斯图的表示，并能区分出半序集中的最大元、最小元、极大元、极小元、最大下界和最小上界。 掌握映射、单射、满射、双射的概念及其判定方法。 了解等价关系的判定及等价类的求法。了解复合映射和逆映射。 第三章 命题逻辑 熟练掌握命题及命题的否定、析取、合取、蕴涵和等值五种联结词的概念和公式的解释、公式的恒真性、恒假性、可满足性以及公式的等价等概念。能用基本等价公式证明一般的等价式。 掌握范式、析取范式、合取范式的概念，能够用基本等价式或真值表将公式化为（主）析取范式或（主）合取范式。 熟练掌握公式的蕴涵与演绎的概念，能用真值表或推导法证明公式间的蕴涵关系。熟练掌握形式演绎的概念，在掌握了规则P、规则Q和规则D的基础上能用形式演绎法证明蕴涵式。 了解公式恒真性的判定。 第四章 一阶逻辑 熟练掌握谓词、量词、原子、公式和解释的概念，对给出的公式和解释能够确定其真值。 了解等价与蕴涵、谓词逻辑的例和前束范式。 第五章 群与环 熟练掌握置换、轮换、对换、奇置换、偶置换的概念以及乘法运算。对给定的置换能够判断奇偶性或写成对换的乘积并能够计算轮换的乘积等。 熟练掌握群、置换群、交换群的基本概念及其判定。熟练掌握子群、生成子群、循环群的概念，对给出的集合及其上的置换，能够写出生成的循环群和循环群的子群以及子群的生成元素。 掌握陪集和正规子群的概念，了解正规子群的判定。 了解拉格朗日定理、群的同态、商群、同构定理、环与子环。 第六章 格与布尔代数 熟练掌握半序格、代数格、子格的概念及其性质。对给出的半序集能够判定是否为格，对给出的格能够求出所有的子格，并能够用格的性质证明一些等式等。 熟练掌握有界格、有余格和分配格的概念及其有关证明问题。 熟练掌握布尔代数的概念及其运算。能够熟练地运用布尔代数性质对给定的布尔表达式进行化简或证明。 第七章 图 论 掌握图、子图、支撑子图和同构图的概念以及图的关联矩阵和相邻矩阵的表示。对给出的图能够判断是否是支撑子图等。对给出的图能够用关联矩阵和相邻矩阵表示出来，反之亦然。 掌握路的基本概念，能够用迪克斯特拉算法求出权图中的最短路。 掌握树、支撑树、二叉树的概念，对给出的二叉树能够按先根次序、中根次序、后根次序进行遍历。掌握最优支撑树的概念及用克鲁斯卡尔算法求出最优支撑树的方法。 掌握欧拉图与欧拉路的概念，对给出的图判定是否是欧拉图或一笔划图。 了解最优支撑树定理、树与有向树的转化定理、哈密顿图和平面图。 第二部分 综合练习 一、填空题 1.已知集合A ={φ，1，2}，则A得幂集合p（A）=________。 2.设集合E ={a, b, c, d, e}, A= {a, b, c}, B = {a, d, e}, 则A∪B =________，A∩B =________，A－B =________，～A∩～B =________。 3.设A，B是两个集合，其中A= {1, 2, 3}, B= {1, 2}，则A－B =________，ρ（A）－ρ（B）=________。 4.设A= {x | -1≤x2, x∈R}, B = { x | 0x≤5, x∈R } , 则A－B =________，B－A=________，～A=________，～B =________。 5.由集合运算的吸收律，A∩（A∪B）=________，A∪A∩B= ________。 6.由集合运算的基本定律： （1）A∩A = A，满足________律； （2）A∪E = E，满足________律； （3）A