《计算机数学基础一离散数学期末复习参考Word版》由会员分享，可在线阅读，更多相关《计算机数学基础一离散数学期末复习参考Word版（7页珍藏版）》请在金锄头文库上搜索。
1、计算机数学基础(一)离散数学期末复习参考一、关于期末考试1.本学期的结业考核由形成性考核和期末考核构成。形成性考核由平时作业成绩构成，占结业考核成绩的20%, 期末考核成绩占结业考核成绩的80%。 2.期末考核实行全国统一考核，根据本课程考试说明，由中央电大统一命题，统一考核时间，制定统一评分标准。开办试点的地方电大组织考核。期末考核的考核内容和要求以考核说明为准；采用闭卷笔试，试卷满分100分；时限120分钟。试题类型及分数：单项选择题和填空题，分数约占25。解答与计算题，分数约占56；证明题，分数约占19。3, 考核试卷分数分布：第1编数理逻辑约30分，第2编集合论约30分，第3编图论约2
2、5分，第4编代数系统约15。4. 易、中、较难题目在试卷中占的比例是4：4：2。二、各章重点考核内容第1章 命题逻辑1命题 联结词 真值 真值表 简单命题符号化2. 命题公式 永真式 永假式 可满足式3. 公式等值演算(必须掌握公式基本等值式)4. 求范式 （用各种方法求合取范式、析取范式，尤其是主析取范式，主合取范式等）5. 掌握逻辑推理的方法。第2章谓词逻辑1. 谓词 量词 个体词 个体域 变元(约束变元、自由变元) 简单命题符号化 2. 判别简单谓词公式的类型(永真式、永假式、可满足式) 3. 求前束范式4. 有限个体域中，求给定解释下的公式真值。第3章 集合及其运算1.集合 元素 全集
3、 空集 幂集 2. 集合的关系与运算3. 有序对和笛卡儿积 第4章 关系与函数1. 二元关系及其表示方法集合方法、矩阵和图2.关系的运算和复合关系、逆关系3.二元关系的性质 (5条性质)4. 等价关系(等价类)与偏序关系 (哈斯图 极大(小)元 最大(小 )元5. 函数 复合函数 单射 满射和双射，求反函数第5章 图的基本概念1. 图 结点 边 有向图 无向图 简单图 多重图 完全图 子图与生成子图 结点度数 握手定理及其推论 2. 通路 通路的长度 初级(简单)通路 回路 初级(简单)回路 点割集与割点 边割集与桥 连通图 强(单测、弱)连通 3. 关联矩阵 邻接矩阵 第6章 几种特殊图1.
4、 欧拉通路(回路) 欧拉图 哈密顿通路(回路) 哈密顿图2. 平面图 面的次数 平面图相关定理(定理68)3. 树 无向树 有向树 最小生成树 根树 最优树 二叉树第7章 群1. 代数运算以及运算性质 单位元、逆元, 代数系统，2. 半群 群及其性质 子群 3. 循环群 交换群 n元置换及置换群 4. 群的同态与同构第8章 其它代数系统1. 环与域，环. 2. 格 有界格 有余格 分配格3. 布尔代数三、各章基本问题第1章 命题逻辑1. 命题符号化，是否命题判断或求真值。2. 命题公式赋值，及类型判别。3. 命题公式等值判别或证明。方法有真值表法、等值演算法和主范式法. 4. 求范式和主范式。
5、5. 蕴含式(推理理论)证明：方法有：真值表法、等值演算法、主析取范式法、构造证明法直接法、附加前提证明法和反证法。第2章 谓词逻辑1. 命题符号化。2. 求辖域、约束变元、自由变元。3. 给定解释求谓词公式的真值(多为个体域有限的情形)。4. 判断谓词公式是否重言式(用代换实例)、永假式？5. 求前束范式。第3章 集合及其运算1. 求集合表达式(列举法或描述法)。2. 判断集合与元素、集合与集合的关系，用，？3. 求幂集。4. 包含或相等的化简或证明。5. 求笛卡儿积，或某些等式证明。第4章 二元关系与函数1. 求关系的表达式，关系矩阵、关系图，Dom(R),Ran(R).2. 验证或证明关
6、系的性质。3. 关系计算：求，4. 求复合关系、逆关系及其矩阵。 5. 求自反闭包或对称闭包。6. 验证或证明关系R是等价关系或偏序关系。7. 作偏序关系的哈斯图，求极大(小)元、最大(小)元。8. 验证是否是函数，是满射、单射、双射？ 第5章 图的基本概念1. 图G与G互求。2. 判断简单图、多重图、完全图。3. 求子图或生成子图。4. 求结点度数或用握手定理求结点数，或判断是否度数序列。 5. 判断是否同构，主要用必要条件判断不同构。会作2或3个结点非同构的生成子图。 6. 用定理1(握手定理)或2以及推理进行推理或计算。7. 求图中通路、回路、长度或通路、回路的数目(主要用定理8)8.判
7、断是否连通、强连通、单侧连通或弱连通。 9. 求点割集、割点和边割集、割边(比较简单的图)。 10. 求有向图的邻接矩阵和可达矩阵。第6章 几种特殊的图1.判断或作欧拉图，求欧拉通路、回路。2. 判断或作哈密顿图，求哈密顿通路、回路，说明不是哈密顿图。3. 判断是否可平面图，将可平面图改画为平面图。 4. 求连通平面图的面、边界和次数。5. 用定理6，7作某些证明或计算。如求二元完全树中树叶个数与分支点数之关系。6. 判断是否树。7. 求树的结点与边的关系。8. 求最小生成树和权。 第7章 群1. 验证代数运算f在A上封闭，即是代数系统。 2. 验证代数运算有结合律，交换律等。 3. 验证代数
8、运算f，g有无分配律，吸收律等。4. 求运算的单位元，逆元.。5. 判断是否半群、群、交换群、循环群，求生成元和循环群的子群。.7. 在群中进行计算、化简等。 8. 求复合置换、逆置换等。9. 证明群同态、同构，找同态(同构)映射。第8章 其它代数系统1. 验证是否为环？2. 给出偏序集，判断是否为格？3. 在格中进行计算、化简或证明等。4. 布尔代数式的化简、求值或证明. 四、自我练习题 g af d b e c 图1一、单项选择题1. 给定无向图如图1所示，下面给出的顶点集的子集中，不是点割集的为（ ） (A) b,d (B) d (C) a,c (D) e,g 2. 无向完全图K3的不同
9、构的生成子图有（ ）个(A) 6 (B) 5 (C) 4 (D) 33. 在自然数集合N上，下列运算可结合的是（ ）A. B. C. D. 4. 设N为自然数集合，在下面4种运算下不构成代数系统的是（ ） (A) xy = x+y2xy (B) xy = x+y (C) xy = xy (D) xy = |x|+|y| (其中，+、分别为普通加法和减法)5. 已知偏序集的哈斯图，如图2所示，是格的为( ) (A) (B) (C) (D) 图2二、填空题6. 若命题变元P，Q，R赋值为(1,0,1)，则命题公式G的真值是 7. 设N(x)：x是自然数，Z(y)；y是整数，则命题“自然数都是整数，
10、而有的整数不是自然数”符号化为 8. 设A,，B为任意集合，命题A-B=A=B的真值为 9. 设A，B为有限集，且|A|=m,|B|=n,那末A与B间存在双射，当且仅当 10. 在有向图的邻接矩阵中，第i行元素之和,第j列元素之和分别为 三、化简解答题11. 做命题公式的真值表，并判断该公式的类型12.化简集合表达式：(ABC)(AC)(C(CB)A) 13. （1）将命题公式化为只含和的尽可能简单的等值式 (2) 求谓词公式的真值其中P：43，Q（x）：x1，R（x）：x2，f(0)=0，f(4)=4a：4个体域D=0，4 四、计算解答题14. (1) 设R和S是集合A1,2,3上的二元关系
11、，R, S=,求RS，写出它的矩阵MRS (2) 求布尔表达式的对偶式，并求当a,b,c取值0,0,1时，E(a,b,c)以及其对偶式的真值。14 5 8 9 2 10 6 7315. 指出谓词公式中x和$x的辖域，并指出该公式的约束变元和自由变元以及约束出现次数和自由出现次数16. 已知带权图G，如图3所示试求图G的最小生成树，并计算该生成树的权17. 设简单连通无向图G有12条边，G中有1度结点2个，2度结点2个，4度结点3个，其余结点度数不超过3求G中至少有多少个结点试作一个满足 该条件的简单无向图 图3五、证明题18. 证明如果R和S是非空集合A上的等价关系，则也是A上的等价关系19.
12、 设R*是非0实数集，在R*上定义集合S为 证明 (S，*)是代数系统，满足结合律，交换律，存在单位元，S的每个元素有逆元。其中*是矩阵的乘法运算五、自我练习题解答一、单项选择题1. B 2. C 3. A 4. A 5. D 二、填空题6. 1 7. x(N(x)Z(x)$x(Z(x)N(x) 8. 0 9. m=n 10. 结点vi的出度和结点vj的入度 三、化简解答题11. . 命题公式的真值表PQPQ001000011000100011111111 原式为可满足式. 12. (ABC)(AC)(C(CB)A)(AC)（CA）(两次用吸收律) =(AC)(CA) =(AC)(CC)A(AC)=(AC)A=A13. (1) 不惟一.(2) = = 四、计算解答题14. (1) RS= ,=
