1、离 散 数 学期 末 总 复 习复 习 时 注 意准确掌握每个概念灵活应用所学定理注意解题思路清晰证明问题时 ,先用反向思维 (从结论入手 )分析问题 ,再按正向思维写出证明过程 .全书知识网络 ：图论篇同构同构格与布尔代数半群 ,独异点 ,群 ,环 ,域代数系统篇n 元运算命题逻辑谓词逻辑集合初步二元关系函 数集合论篇数理逻辑篇总 复 习复习重点 (注 : 标有 *的内容 ,对网络学院学生不作要求 )第一章 命题逻辑1.联结词的定义 (含义及真值表定义 ).2.会命题符号化 .3.永真式的证明 .4.永真蕴涵式的证明 ,记住并能熟练应用常用公式 .5.等价公式的证明 ,记住并能熟练应用常用公
2、式 .6.会写命题公式的范式 , *能应用范式解决问题 .7.熟练掌握命题逻辑三种推理方法 .第二章 谓词逻辑1.准确掌握有关概念 .2.会命题符号化 .(如 P60题 (2)3.掌握常用的等价公式和永真蕴涵式 .包括 :带量词的公式在论域内展开式 ,量词否定 ,量词辖域扩充 ,量词分配公式 .4.会用等价公式求谓词公式的真值 .(如 P66题 (3)*5.会写前束范式6.熟练掌握谓词逻辑推理 .第三章 集合论初步1.集合的表示 ,幂集 ,全集 ,空集 .2.集合的三种关系 (包含 ,相等 ,真包含 )的定义及证明 .3.集合的五种运算及相关性质 .*4.应用包含排斥原理 .第四章 二元关系1
3、.关系的概念 ,表示方法 .2.二元关系的 性质的定义 , 熟练掌握性质的判断及证明 .3.掌握关系的复合 ,求逆及闭包运算 (计算方法及有关性质 )4.掌握等价关系的判断 ,证明 ,求等价类和商集 .*4.掌握相容关系定义 ,简化图和简化矩阵 ,相容类 ,最大相容类 ,完全覆盖 .5.偏序关系的判断 ,会画 Hasse图 ,会求一个子集的极小 (大 )元 ,最小 (大 )元 ,上界与下界 ,最小上界及最大下界 .第六章 函数1.函数的定义 .2.函数的类型 , 会判断 ,会证明 .3.会计算函数的复合 (左复合 ),求逆函数 .知道有关性质 .*4.了解集合的特征函数 ,了解集合的基数 ,可
4、数集合 .第六章 代数系统1.掌握运算的定义 .2.熟练掌握二元运算的性质的判断及证明 .3.掌握代数系统的同构定义 ,会证明 .了解同构性质的保持 .4.了解半群 ,独异点 ,*环和 *域的概念 .5.熟练掌握群 ,子群 ,交换群 (会证明 ), 了解循环群 .*6,子群的陪集 , Lagrange定理及其推论 ,(会应用 ).*第七章 格与布尔代数* 1.掌握格的定义 ,了解格的性质 .* 2.会判断格 ,分配格 ,有补格和布尔格 ,* 3.重点掌握两个元素的布尔代数的性质 (10个 ).* 4.会写两个元素的布尔表达式的范式 .(实质是第一章的主析取和主合取范式 ).第八章 图论1.掌握
5、图的基本概念 .(特别注意相似的概念 )2.熟练掌握图中关于结点度数的定理 . (会应用 )3.无向图的连通性的判定 ,连通分支及连通分支数的概念 .4.有向图的可达性 ,强连通 ,单侧连通和弱连通的判定 .求强分图 ,单侧分图和弱分图 .5.会求图的矩阵 .6.会判定欧拉图和汉密尔顿图 .*7.会判定平面图 , 掌握欧拉公式 .*8.了解对偶图 .9.掌握树的基本定义 ,v和 e间的关系式 .会画生成树 ,会求最小生成树 .根树的概念 ,完全 m叉树的公式 ,会画最优树 ,*会设计前缀码 .总 复 习复习重点第一章 命题逻辑1.联结词的定义 (含义及真值表定义 ).2.会命题符号化 .3.永
6、真式的证明 .4.永真蕴涵式的证明 ,记住并能熟练应用常用公式 .5.等价公式的证明 ,记住并能熟练应用常用公式 .6.会写命题公式的范式 , *能应用范式解决问题 .7.熟练掌握命题逻辑三种推理方法 .第一章 命题逻辑1.联结词定义了六个逻辑联结词，分别是：(1) 否定 “” (2) 合取 “ ” (3) 析取 “ ” (4) 异或 “ ” (5) 蕴涵 “” (6) 等价 “”要熟练掌握这五个联结词在自然语言中所表示的含义以及它们的真值表的定义。 ：否定 表示 “不 ” ：合取 表示 “不但 , 而且 .”“并且 ” ：析取 表示 “或者可兼取的或 ” ：异或 表示 “或者不可兼取的或 ” ：蕴涵 表示 “如果 , 则 .” : 等价 表示 “当且仅当 ”“充分且必要 ” 可以将这六个联结词看成六种 “运算 ”。
