1、总 复 习复习重点 命题逻辑1.联结词的定义 (含义及真值表定义 ).2.会命题符号化 .3.永真式的证明 .4.永真蕴涵式的证明 ,记住并能熟练应用常用公式 .5.等价公式的证明 ,记住并能熟练应用常用公式 .6.会写命题公式的范式 , 能应用范式解决问题 .7.熟练掌握命题逻辑三种推理方法 .谓词逻辑1.准确掌握有关概念 .2.会命题符号化 .3.掌握常用的等价公式和永真蕴涵式 .包括 :带量词的公式在论域内展开式 ,量词否定 ,量词辖域扩充 ,量词分配公式 .4.会用等价公式求谓词公式的真值 .5.会写前束范式6.熟练掌握谓词逻辑推理 .二元关系1.关系的概念 ,表示方法 .2.二元关系
2、的 性质的定义 , 熟练掌握性质的判断及证明 .3.掌握关系的复合 ,求逆及闭包运算 (计算方法及有关性质 )4.掌握等价关系的判断 ,证明 ,求等价类和商集 .5.偏序关系的判断 ,会画 Hasse图 ,会求一个子集的极小 (大 )元 ,最小 (大 )元 ,上界与下界 ,最小上界及最大下界 .第八章 图论1.掌握图的基本概念 .(特别注意相似的概念 )2.熟练掌握图中关于结点度数的定理 . (会应用 )3.无向图的连通性的判定 ,连通分支及连通分支数的概念 .4.有向图的可达性 ,强连通 ,单侧连通和弱连通的判定 .求强分图 ,单侧分图和弱分图 .5.会求图的矩阵 .6.会判定欧拉图和汉密尔顿图 .7.会判定平面图 , 掌握欧拉公式 .8.掌握树的基本定义 ,v和 e间的关系式 .会画生成树 ,会求最小生成树 .根树的概念 ,完全 m叉树的公式 ,会画最优树 ,会设计前缀码 . 离散数学 总复习 离散数学 总复习 离散数学 总复习 离散数学 总复习 离散数学 总复习 离散数学 总复习
