《計算机数学基础》(一)――离散数学期末复习参考.docVIP

《计算机数学基础》(一)――离散数学期末复习参考 一、关于期末考试 1.本学期的结业考核由形成性考核和期末考核构成。形成性考核由平时作业成绩构成，占结业考核成绩的20%, 期末考核成绩占结业考核成绩的80%。 2.期末考核实行全国统一考核，根据本课程考试说明，由中央电大统一命题，统一考核时间，制定统一评分标准。开办试点的地方电大组织考核。 期末考核的考核内容和要求以考核说明为准；采用闭卷笔试，试卷满分100分；时限120分钟。 试题类型及分数：单项选择题和填空题，分数约占25％。解答与计算题，分数约占56％；证明题，分数约占19％。 3, 考核试卷分数分布：第1编数理逻辑约30分，第2编集合论约30分，第3编图论约25分，第4编代数系统约15。 4. 易、中、较难题目在试卷中占的比例是4：4：2。 二、各章重点考核内容 第1章 命题逻辑 1．命题 联结词 真值 真值表 简单命题符号化 2. 命题公式 永真式 永假式 可满足式 3. 公式等值演算(必须掌握公式基本等值式) 4. 求范式 （用各种方法求合取范式、析取范式，尤其是主析取范式，主合取范式等） 5. 掌握逻辑推理的方法。 第2章 谓词逻辑 1. 谓词 量词 个体词 个体域 变元(约束变元、自由变元) 简单命题符号化 2. 判别简单谓词公式的类型(永真式、永