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

《计算机数学基础》(一)――离散数学期末复习参考 《计算机数学基础》(一)――离散数学期末复习参考 《计算机数学基础》(一)――离散数学期末复习参考 《计算机数学基础》 ( 一) ――失散数学期末复习参照 一、对于期末考试 本学期的结业查核由形成性查核和期末查核组成。形成性查核由平常作业成绩构 成，占结业查核成绩的 20%, 期末查核成绩占结业查核成绩的 80%。 期末查核推行全国一致查核，依据本课程考试说明，由中央电大一致命题，一致查核时间，拟订一致评分标准。创办试点的地方电大组织查核。 期末查核的查核内容和要求以查核说明为准；采纳闭卷笔试，试卷满分 100 分；时限 120 分钟。 试卷种类及分数：单项选择题和填空题，分数约占 25％。解答与计算题，分数约占 56％； 证明题，分数约占 19％。 3, 查核试卷分数散布：第 1 编数理逻辑约 30 分，第 2 编会合论约 30 分，第 3 编图论 约 25 分，第 4 编代数系统约 15。 易、中、较难题目在试卷中占的比率是4：4： 2。 二、各章要点查核内容 第1章 命题逻辑 1．命题 联络词 真值 真值表 简单命题符号化 2. 命题公式 永真式 永假式 可知足式 公式等值演算 ( 一定掌握公式基本等值式 ) 求范式 （用各样方法求合取范式、析取范式，特别是主析取范式，主合取范式 等） 掌握逻辑推理的方法。第 2 章谓词逻辑 1. 谓词 量词 个体词 个体域 变元 ( 拘束变元、自由变元 ) 简单命题符号化 鉴别简单谓词公式的种类 ( 永真式、永假式、可知足式 ) 求前束范式 有限个体域中，求给定解说下的公式真值。第 3 章 会合及其运算 会合 元素 全集 空集 幂集 会合的关系与运算 有序对和笛卡儿积 第 4 章关系与函数 二元关系及其表示方法――会合方法、矩阵和图 关系的运算和复合关系、逆关系 二元关系的性质 ( 5 条性质 ) 等价关系 ( 等价类 ) 与偏序关系 ( 哈斯图 极大 ( 小) 元最大 ( 小 ) 元 函数 复合函数 单射 满射和双射，求反函数 1 / 7 第 5 章图的基本观点 1. 图 结点 边 有向图 无向图 简单图 多重图 完整图 子图与生成子图 结 点度数 握手定理及其推论 2. 通路 通路的长度 初级 ( 简单 ) 通路 回路 初级 ( 简单 ) 回路 点割集与割点 边 割集与桥 连通图 强 ( 单测、弱 ) 连通 3. 关系矩阵 毗邻矩阵 第 6 章几种特别图 欧拉通路 ( 回路 ) 欧拉图 哈密顿通路 ( 回路 ) 哈密顿图 2. 平面图 面的次数 平面图有关定理 ( 定理 6～ 8) 树 无向树 有向树 最小生成树 根树 最优树 二叉树第7章群 代数运算以及运算性质单位元、逆元 , 代数系统， 半群 群及其性质子群 3. 循环群 互换群 n 元置换及置换群 群的同态与同构 第 8 章 其他代数系统 环与域，环 . 2. 格 有界格 有余格 分派格 布尔代数 三、 各章基本问题第1章 命题逻辑 命题符号化，能否命题判断或求真值。 命题公式赋值，及种类鉴别。 3. 命题公式等值鉴别或证明。方法有真值表法、等值演算法和主范式法 . 求范式和主范式。 包含式 ( 推理理论 ) 证明： 方法有：真值表法、等值演算法、主析取范式法、 结构证明法――直接法、附带前提证明法和反证法。 第 2章 谓词逻辑 命题符号化。 求辖域、拘束变元、自由变元。 给定解说求谓词公式的真值 (多为个体域有限的情况 )。 判断谓词公式能否重言式 (用代换实例 )、永假式？ 求前束范式。 第3章 会合及其运算 1. 求会合表达式 (列举法或描绘法 )。 2 / 7 2. 判断会合与元素、会合与会合的关系，用 ， ， ， ， ？ 求幂集。 包括或相等的化简或证明。 求笛卡儿积，或某些等式证明。第 4 章 二元关系与函数 1. 求关系的表达式，关系矩阵、关系图， Dom( R),Ran(R). 考证或证明关系的性质。 关系计算：求 ， ，－，～， 求复合关系、逆关系及其矩阵。 求自反闭包或对称闭包。 考证或证明关系 R 是等价关系或偏序关系。 作偏序关系的哈斯图，求极大 (小 )元、最大 (小 )元。 考证是不是函数，是满射、单射、双射？第 5 章 图的基本观点 图 G 与 G＝V， E互求。 判断简单图、多重图、完整图。 求子图或生成子图。 求结点度数或用握手定理求结点数，或判断能否度数序列。 5. 判断能否同构，主要用必需条件判断不一样构。会作 2 或 3 个结点非同构的生成子 图。 用定理 1(握手定理 )或 2 以及推理进行推理或计算。 求图中通路、回