离散数学课程考核说明.docVIP

计算机科学与技术专业（本科） 离散数学课程考核说明 （09年3月审定） 离散数学是电信息类计算机技术业必修课程．该课程是技术基础．通过本课程的学习，为学生以后打下基础．在完成基础知识教学任务的同时，学生实际能力的培养电信息类计算机技术业的30%，即形成性考核的成绩满分为0分；终结性考核成绩占考核成绩的0%，即终结性考核成绩满分0分．考核成绩满分100分，60分为合格． (1) 考核要求：本课程考核要求分三个层次，有关概念、性质和定理等理论方面的要求从高到低为理解，了解和知道；有关方法、公式和法则等的要求从高到低为熟练掌握，掌握和会． (2) 组卷原则：终结性考核的考核内容和要求以本考核说明为准，要求考核基本概念、基本原理和基本运算．命题覆盖面可适当宽些，但试题难度要适中，题量要适当．易、中、较难题目在试卷中分配为4：4：2． (3) 试题类型及结构：单项选择题的分数占15％，填空题的分数占15％，公式翻译题的分数占12％，判断说明题的分数占14％，计算题的分数占36％；证明题的分数占8％．单项选择题和填空题主要涉及基本概念、基本理论、重要性质和结论、公式及其简单计算．单项选择题给出四个备选答案，其一是正确选项．填空题只需填写正确结论，不写计算、推论过程或理由．逻辑公式翻译题主要是利用命题逻辑和谓词逻辑的基本概念及命题联结词、谓词量词，将一个陈述句翻译成命题公式或谓词公式．判断说明题是对给定的一个命题或结论作出对与错的判断，并给出简单的说明．计算题主要考核学生的基本运算技能和速度，要求写出化简、计算过程．证明题主要考查应用概念、性质、定理及重要结论进行逻辑推理的能力，要求写出推理过程． (4) 考核形式：采用半开卷、笔试方式，试卷满分100分． 半开卷考试允许考生携带指定的一张专用A4纸（统一印制），考生可以将自己对全课程学习内容的总结归纳写在这张A4纸上带入考场，作为答卷时参考． (5) 考核时间：90分钟． Ⅱ．考核内容与考核要求 第1章 集合及其运算 考核知识点 1．集合，元素，集合的表示，全集，空集 2．集合的包含、相等，子集，幂集 3．集合的并、交、补、差、对称差等运算及其运算律 4．容斥原理 考核要求 1．理解集合的概念，容斥原理． 2．理解集合的包含、子集、相等和幂集等概念，熟练掌握集合的表示方法和集合的并、交、补、差和对称差等运算，会用文氏图表示集合的各种运算． 3．掌握用集合运算基本规律证明集合恒等式的方法． 4．掌握利用容斥原理进行计数的方法． 第2章 关系与函数 考核知识点 1．有序对和笛卡儿积 2．关系及其运算性质 3．二元关系的矩阵与图 4．复合关系与逆关系 5．二元关系的性质 6．等价关系与等价类 7．偏序关系、复盖集与哈斯图，极大(小)元，最大(小 )元，上(下)界，最小上界，最大下界 8．函数 反函数 复合函数 单射 满射和双射 考核要求 1．了解有序对和笛卡儿积的概念，掌握笛卡儿积的运算． 2．理解关系的概念：包括二元关系、空关系、全关系、恒等关系．掌握关系的集合表示、关系矩阵和关系图，掌握关系的运算． 3．掌握求复合关系和逆关系的方法． 4．理解关系的性质(自反性和反自反性、对称性和反对称性、传递性)，掌握其判别方法． 5．理解等价关系和偏序关系概念，掌握等价关系、偏序关系的判定，掌握等价类、复盖集的求法和作偏序关系哈斯图的方法．知道极大(小)元，最大(小)元的概念，会求极大(小)元、最大(小)元、最小上界和最大下界． 6．理解函数概念：函数(映射)，函数相等，复合函数和反函数． 7．理解单射、满射和双射等概念，掌握其判别方法． 第3章 图的基本概念与性质 考核知识点 1．图的概念与表示，有向图，无向图，简单图，完全图，结点的度数，图的同构，子图、补图 几种特殊图 考核知识点 1．欧拉通路(回路)，欧拉图 2．哈密顿通路(回路)，哈密顿图 3．平面图，欧拉公式 4．对偶图及着色 考核要求 1．了解欧拉回路、欧拉图的概念及性质，掌握欧拉图的判别方法． 2．了解汉密尔顿回路、汉密尔顿图的概念及性质，掌握汉密尔顿图的判别方法． 3．了解平面图的概念：平面图、面、边界、面的次数和非平面图，掌握平面图的判别方法，掌握欧拉公式的应用． 4．理解平面图与对偶图的关系、对偶图在图着色中的作用，掌握着色算法； 5．掌握图论中常用的证明方法． 第5章 树及其应用 1．树的定义及性质 2．生成树与最小生成树的概念，最小生成树的Kruskal算法 3．根树的概念及性质 4．最优树的概念，最优树的Huffman算法，前缀码的求法 1．了解无向树、树叶、分支点、平凡树、生成树