计算机数学基础知识点归纳,《计算机数学基础》(一)――离散数学期末复习参考...

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

一、关于期末考试

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. 判别简单谓词公式的类型(永真式、永假式、可满足式)

3. 求前束范式

4. 有限个体域中，求给定解释下的公式真值。

第3章集合及其运算

1.集合元素全集空集幂集

2. 集合的关系与运算

3. 有序对和笛卡儿积

第4章关系与函数

1. 二元关系及其表示方法――集合方法、矩阵和图

2.关系的运算和复合关系、逆关系

3.二元关系的性质 (5条性质)

4. 等价关系(等价类)与偏序关系 (哈斯图极大(小)元最大(小 )元

5. 函数复合函数单射满射和双射，求反函数