电大---06形成性考核改.doc

PAGE 13 PAGE  PAGE 13 中央广播电视大学“开放教育试点” 计算机科学与技术专业（本科） 《计算机数学基础(1)》课程考核说明 《计算机数学基础》是中央广播电视大学本科开放教育计算机科学与技术专业学生必修的一门专业基础课程，是学习专业理论必不可少的数学工具．通过本课程的学习，使学生掌握离散数学的基本概念和基本原理，进一步提高抽象思维和逻辑推理的能力．课程的结业考核，考核合格水准应达到高等学校该专业本科教育的要求． Ⅰ．关于课程考核说明与实施要求 1．本考核说明是以本课程的教学大纲和指定的参考教材任现淼主编、吴裕树副主编的《计算机数学基础(上)??离散数学》(中央广播电视大学出版社出版)为依据制定的． 2．考核要求分三个层次，有关概念、性质和定理等理论方面的要求从高到低为理解，了解和知道；有关方法、公式和法则等的要求从高到低为熟练掌握，掌握和会． 3．本课程的结业考核实行形成性考核和期末考核．形成性考核占结业考核成绩的20%，即形成性考核的成绩满分为20分；期末考核成绩占结业考核成绩的80%，即期末考核成绩满分80分．结业考核成绩满分100分，60分为合格． 4．关于形成性考核的说明 形成性考核由本课程中的形成性考核作业成绩构成，根据教学进度，每学期学生应完成4次形成性考核的作业．辅导教师(或责任教师)根据作业完成情况和质量，对作业进行评分． 5． 关于期末考试的说明 期末考核实行全国统一考核，根据本课程考试说明，由中央电大统一命题，统一评分标准，统一考核时间． (1) 期末考核的考核内容和要求以本考核说明为准，要求考核基本概念、基本原理和基本运算．命题覆盖面可适当宽些，但试题难度要适中，题量要适当． (2) 考核形式：闭卷笔试，试卷满分100分． (3) 考核时间：90分钟． (4) 试题类型及分数：单项选择题和填空题，分数约占40％．化简计算题，分数约占50％；证明题，分数约占10％．单项选择题和填空题主要涉及基本概念、基本理论、重要性质和结论、公式及其简单计算．单项选择题给出四个备选答案，其一正确．填空题只需填写正确结论，不写计算、推论过程或理由．化简计算题主要考核学员的基本运算技能和速度，要求写出化简、计算过程．证明题主要考查应用概念、性质、定理及重要结论进行逻辑推理的能力，要求写出推理过程． (5) 易、中、较难题目在试卷中分配为4：4：2． Ⅱ．考核内容与考核要求 第1章 命题逻辑 考核知识点 1．命题与联结词(否定、析取、合取、蕴含、等价、不可兼析取)，真值与真值表 2．命题公式及分类(永真式、永假式、可满足式) 3．公式等值与基本等值式，等值演算 4．析取范式，合取范式，极小(大)项，主析取范式，主合取范式 5．逻辑推理，公式的蕴含与逻辑结果，重言蕴含式 考核要求 1．理解命题概念，掌握判断语句是不是命题的方法． 2．了解六个联结词概念，掌握由它们构成的公式及真值表： ① ?P(否定式)； ② P?Q(合取式)； ③ P?Q(析取式)； ④ P?Q(蕴含式)； ⑤ P?Q(等价式)； ⑥P??Q(不可兼析取式)． 会将命题符号化．熟练掌握求给定公式真值表的方法． 3．理解公式、公式解释、永真式(重言式)、永假式(矛盾式)和可满足式等概念．掌握基本等值式以及用真值表法和等值演算法判别公式类型和公式等值的方法． 4．了解析取(合取)范式概念，理解极小(大)项的概念和主析取(合取)范式概念，熟练掌握用基本等值式或真值表将公式化为主析取(合取)范式的方法． 5．了解有效结论(逻辑结果)的概念，掌握判断重言蕴含式(推理是否有效)的五种方法 (1) 真值表法； (2) 等值演算法(记住基本等值式)； (3) 主析取(合取)范式法； (4) 直接证法：掌握P规则和T规则，及常用重言蕴含式、等值式； (5) 间接证法(反证法)：掌握CP规则． 第2章 谓词逻辑 考核知识点 1．谓词，量词，个体词，个体域，变元 2．谓词公式与解释，公式类型(永真式、永假式、可满足式) 3．谓词逻辑等值式，前束范式 4．推理规则与推理理论 考核要求 1．理解谓词、量词、个体词、个体域、原子公式、谓词公式和变元等概念．会将命题符号化． 2．掌握在有限个体域下消去公式的量词和求公式在给定解释下真值的方法． 3．掌握谓词演算的等值式和重言蕴含式(六种情况)： (1)命题公式的推广； (2)量词否定式的等值式； (3)量词辖域扩张和收缩的等值式； (4)量词与联结词?，?，?的等值式； (5)量词与联结词的重言蕴含式； (6)两个量词公式间的等值式与重言蕴