《计算机数学基础》(一)――离散数学期末复习参考.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.判别简洁谓词公式的类型(永真式、永假式、可满意式)

3.求前束范式

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

第3章集合及其运算

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

2.集合的关系与运算

3.有序对和笛卡儿积

第4章关系与函数

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

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

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

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

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

第5章图的基本概念

1.图结点边有向图无向图简洁图多重图完全图子图与生成子图结点度数握手定理及其推论

2.通路通路的长度初级(简洁)通路回路初级(简洁)回路点割集与割点边割集与桥连通图强(单测、弱)连通

3.关联矩阵邻接矩阵

第6章几种特别图

1.欧拉通路(回路)欧拉图哈密顿通路(回路)哈密顿图

2.平面图面的次数平面图相关定理(定理6～8)

3.树无向树有向树最小生成树根树最优树二叉树

第7章群

1.代数运算以及运算性质单位元、逆元,代数系统，

2.半群群及其性质子群

3.循环群交换群n元置换及置换群

4.群的同态与同构

第8章其它代数系统

1.环与域，环

. 2.格有界格有余格安排格

3.布尔代数

三、各章基本问题

第1章命题逻辑

1.命题符号化，是否命题推断或求真值。

2.命题公式赋值，及类型判别。

3.命题公式等值判别或证明。方法有真值表法、等值演算法和主范式法.

4.求范式和主范式。

5.蕴含式(推理理论)证明：

方法有：真值表法、等值演算法、主析取范式法、

构造证明法――干脆法、附加前提证明法和反证法。

第2章谓词逻辑

1.命题符号化。

2.求辖域、约束变元、自由变元。

3.给定说明求谓词公式的真值(多为个体域有限的情形)。

4.推断谓词公式是否重言式(用代换实例)、永假式？

5.求前束范式。

集合及其运算

1.求集合表达式(列举法或描述法)。

2.推断集合与元素、集合与集合的关系，用?，?，?，?，?？

3.求幂集。

4.包含或相等的化简或证明。

5.求笛卡儿积，或某些等式证明。

第4章二元关系与函数

1.求关系的表达式，关系矩阵、关系图，Dom(R),Ran(R).

2.验证或证明关系的性质。

3.关系计算：求?，?，－，～，?

4.求复合关系、逆关系及其矩阵。

5.求自反闭包或对称闭包。

6.验证或证明关系R是等价关系或偏序关系。

7.作偏序关系的哈斯图，求极大(小)元、最大(小)元。

8.验证是否是函数，是满射、单射、双射？

第5章图的基本概念

1.图G与G＝V，E互求。

2.推断简洁图、多重图、完全图。

3.求子图或生成子图。

4.求结点度数或用握手定理求结点数，或推断是否度数序列。

5.推断是否同构，主要用必要条件推断不同构。会作2或3个结点非同构的生成子图。

6.用定理1(握手定理)或2以及推理进行推理或