离散数学课程考核说明

《离散数学课程考核说明》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、10计算机科学与技术专业（本科）离散数学课程考核说明（09年3月审定）离散数学是中央广播电视大学开放教育本科电气信息类计算机科学与技术专业的一门统设必修学位课程．该课程的主要内容包括：集合论、图论、数理逻辑等．离散数学是计算机科学与技术专业的基础核心课程．通过本课程的学习，使学生具有现代数学的观点和方法，并初步掌握处理离散结构所必须的描述工具和方法．同时，也要培养学生抽象思维和慎密概括的能力，使学生具有良好的开拓专业理论的素质和使用所学知识分析和解决实际问题的能力，为学生以后学习计算机基础理论与专业课程打下良好的基础．本课程是一门理论性较强的课程，要求在完成基础知识

2、教学任务的同时，通过适当的实际应用的介绍，提高学生的实际应用能力的培养．Ⅰ．关于课程考核说明与实施要求1．考核对象：本课程考核说明适用于中央广播电视大学开放教育本科电气信息类计算机科学与技术专业的学生．2．考核依据：本考核说明是以本课程的教学大纲和指定的参考教材为依据制定的．本课程指定的参考教材是李伟生主编的、中央广播电视大学出版社出版的《离散数学》．3．考核方式：本课程的考核实行形成性考核和终结性考核相结合的方式．4．课程综合成绩的记分方法：形成性考核占课程考核成绩的30%，即形成性考核的成绩满分为30分；终结性考核成绩占课程考核成绩的70%，即终结性考核成绩满分

3、70分．课程考核成绩满分100分，60分以上为合格，可以获得课程学分．5．形成性考核的说明：形成性考核由本课程中的形成性考核作业成绩构成，独立完成形成性考核作业是学好本课程的重要手段．根据教学进度和教学基本要求，每学期安排4次形成性考核的作业．学生完成形成性考核作业后，由辅导教师(或责任教师)根据作业完成情况和质量，对作业进行评分．6．终结性考试的说明：终结性考核实行全国统一考核，根据本课程考试说明，由中央电大统一命题，统一评分标准，统一考核时间．(1)考核要求：本课程考核要求分三个层次，有关概念、性质和定理等理论方面的要求从高到低为理解，了解和知道；有关方法、公式

4、和法则等的要求从高到低为熟练掌握，掌握和会．(2)组卷原则：终结性考核的考核内容和要求以本考核说明为准，要求考核基本概念、基本原理和基本运算．命题覆盖面可适当宽些，但试题难度要适中，题量要适当．易、中、较难题目在试卷中分配为4：4：2．(3)试题类型及结构：单项选择题的分数占15％，填空题的分数占15％，公式翻译题的分数占12％，判断说明题的分数占14％，计算题的分数占36％；证明题的分数占81010％．单项选择题和填空题主要涉及基本概念、基本理论、重要性质和结论、公式及其简单计算．单项选择题给出四个备选答案，其一是正确选项．填空题只需填写正确结论，不写计算、推论过

5、程或理由．逻辑公式翻译题主要是利用命题逻辑和谓词逻辑的基本概念及命题联结词、谓词量词，将一个陈述句翻译成命题公式或谓词公式．判断说明题是对给定的一个命题或结论作出对与错的判断，并给出简单的说明．计算题主要考核学生的基本运算技能和速度，要求写出化简、计算过程．证明题主要考查应用概念、性质、定理及重要结论进行逻辑推理的能力，要求写出推理过程．(4)考核形式：采用半开卷、笔试方式，试卷满分100分．半开卷考试允许考生携带指定的一张专用A4纸（统一印制），考生可以将自己对全课程学习内容的总结归纳写在这张A4纸上带入考场，作为答卷时参考．(5)考核时间：90分钟．Ⅱ．考核内容

6、与考核要求第1章集合及其运算考核知识点1．集合，元素，集合的表示，全集，空集2．集合的包含、相等，子集，幂集3．集合的并、交、补、差、对称差等运算及其运算律4．容斥原理考核要求1．理解集合的概念，容斥原理．2．理解集合的包含、子集、相等和幂集等概念，熟练掌握集合的表示方法和集合的并、交、补、差和对称差等运算，会用文氏图表示集合的各种运算．3．掌握用集合运算基本规律证明集合恒等式的方法．4．掌握利用容斥原理进行计数的方法．第2章关系与函数考核知识点1．有序对和笛卡儿积2．关系及其运算性质3．二元关系的矩阵与图4．复合关系与逆关系5．二元关系的性质6．等价关系与等价类7

7、．偏序关系、复盖集与哈斯图，极大(小)元，最大(小)元，上(下)界，最小上界，最大下界8．函数反函数复合函数单射满射和双射1010考核要求1．了解有序对和笛卡儿积的概念，掌握笛卡儿积的运算．2．理解关系的概念：包括二元关系、空关系、全关系、恒等关系．掌握关系的集合表示、关系矩阵和关系图，掌握关系的运算．3．掌握求复合关系和逆关系的方法．4．理解关系的性质(自反性和反自反性、对称性和反对称性、传递性)，掌握其判别方法．5．理解等价关系和偏序关系概念，掌握等价关系、偏序关系的判定，掌握等价类、复盖集的求法和作偏序关系哈斯图的方法．知道极大(小)元，最大(小)元的概念