20100625_复习重点2.pptVIP

离散数学(Discrete Mathematics) 任课老师: 殷 绪 成 博士 副教授 /haohongweitidui/PRICLabWeb/yin 北京科技大学信息工程学院 2010.03.03 - 2010.07.02 复习重点 数理逻辑 30% 集合论 30% 代数结构 20% 图论 20% 数理逻辑 析取范式与主(合)析取范式的求法 一阶逻辑前束范式 一阶逻辑推理 主析取范式的求法 题型 (例2.7, P24) 步骤 （1）求析取范式 （2）求主析取范式 重要依据 24个重要的等值式模式 求范式的步骤（用等值演算） 消去联结词→, ? 蕴涵等值式: A→B ┐A∨B 等价等值式: A ? B (A→B)∧(B→A) 否定号的消去（利用双重否定律） ┐┐A A 内移否定号（利用德摩根律） ┐(A∨B) ┐A∧┐B ┐(A∧B) ┐A∨┐B 利用∧对∨的分配律求析取范式，∨对∧的分配律求合取范式。 求主范式的步骤 存在性证明过程 (1) 补充命题变项； (2) 消去重复出现的极小（大）项和矛盾式（重言式）。 注意事项 在求给定公式的主析取范式（主合取范式）时，一定根据公式中命题变项的个数决定极小项（极大项）中文字的个数。 一阶逻辑前束范式 题型 例5.6~5.8 (P73~74) 基本方法 定义5.2； 一阶逻辑等值演算方法。 一阶逻辑前束范式（续） 主要手段 (1) 两大组等值式 16组重要的等值式； 有关量词的等值式。 (2) 3大规则 置换规则；换名规则；代替规则。 一阶逻辑推理 题型 例题5.9~5.11 (P77~78) 习题五(15) (P80) 一阶逻辑推理 分析（针对自然语言的应用题） (1) 命题符号化（转换为谓词公式）: 个体词, 谓词, 量词; 谓词符号化 (原子命题符号化). (2) 推理的构成: 前提; 结论; 证明 (推理规则). 集合论 集合的运算与集合恒等式 等价关系 偏序关系 集合的运算与集合恒等式 题型 例题6.8~6.12 (P93~94) 基本方法（集合相等） (1) 根据定义及符号化表示，等值演算/推理； 或 (2) 根据前已有的定理进行推导。 等价关系 题型 习题七（31, 33, 36, 41） (P133~134) 分析 （1）等价关系的定义 （3）等价类、划分、商集的定义 偏序关系 题型 习题七（46, 47）(P135) 分析 （1）偏序关系的定义 （2）最小/大元, 极小/大元, 上/下界 （3）哈斯图的画法与分析 代数结构 代数系统的同态与同构 群的定义与性质 子群及其判定 循环群 代数系统的同态与同构 题型 例9.11 (P177) 分析 （1）同态/同构的定义 （2）同态的性质 代数系统的同态与同构（同态性质） 同态的合成仍旧是同态 满同态映射（在同态像中）保持原代数系统的下述性质： 交换、结合、幂等、分配、吸收 单位元、零元、逆元 消去律不一定保持 群的定义与性质 题型 习题十（9, 10） （P203） 分析 （1）群的定义与证明 （2）集合论/代数系统概念与性质的结合 （函数的复合，代数系统的同态/同构等） 子群及其判定 题型 习题十（21, 22）(P204) 分析 (1) 定义法 (2) 三种子群判定定理（顺序！） 循环群 题型 习题十（28）(P204) 循环群 分析思路 （1）有限/无限？求某个生成元a？ a = G （2）求所有的生成元，和相应的子群 定理10.11 / 10.12 有限循环群：求n，d，ar，an/d （n为群的阶，r为与n互素的自然数，d为正因子） 图论 图的基本概念及矩阵表示 树的性质及其相关计算题 生成树，最小生成树 图的基本概念及矩阵表示 题型 习题十四(43, 44, 45, 46, 46) (P294) 分析 (1) 图的基本概念 通路、回路、连通 (2