离散数学课程考核的说明.doc

PAGE 10 PAGE  PAGE 10 计算机科学与技术专业（本科） 离散数学课程考核说明 （09年3月审定） 离散数学是中央广播电视大学开放教育本科电气信息类计算机科学与技术专业的一门统设必修学位课程．该课程的主要内容包括：集合论、图论、数理逻辑等． 离散数学是计算机科学与技术专业的基础核心课程．通过本课程的学习，使学生具有现代数学的观点和方法，并初步掌握处理离散结构所必须的描述工具和方法．同时，也要培养学生抽象思维和慎密概括的能力，使学生具有良好的开拓专业理论的素质和使用所学知识分析和解决实际问题的能力，为学生以后学习计算机基础理论与专业课程打下良好的基础． 本课程是一门理论性较强的课程，要求在完成基础知识教学任务的同时，通过适当的实际应用的介绍，提高学生的实际应用能力的培养． Ⅰ．关于课程考核说明与实施要求 1．考核对象：本课程考核说明适用于中央广播电视大学开放教育本科电气信息类计算机科学与技术专业的学生． 2．考核依据：本考核说明是以本课程的教学大纲和指定的参考教材为依据制定的．本课程指定的参考教材是李伟生主编的、中央广播电视大学出版社出版的《离散数学》． 3．考核方式：本课程的考核实行形成性考核和终结性考核相结合的方式． 4．课程综合成绩的记分方法：形成性考核占课程考核成绩的30%，即形成性考核的成绩满分为30分；终结性考核成绩占课程考核成绩的70%，即终结性考核成绩满分70分．课程考核成绩满分100分，60分以上为合格，可以获得课程学分． 5．形成性考核的说明：形成性考核由本课程中的形成性考核作业成绩构成，独立完成形成性考核作业是学好本课程的重要手段．根据教学进度和教学基本要求，每学期安排4次形成性考核的作业．学生完成形成性考核作业后，由辅导教师(或责任教师)根据作业完成情况和质量，对作业进行评分． 6．终结性考试的说明：终结性考核实行全国统一考核，根据本课程考试说明，由中央电大统一命题，统一评分标准，统一考核时间． (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．理解关系的概念：包括二元关系、空关系、全关系、恒等关系．掌握关系的集合表示、关系矩阵和