离散数学总复习资料-带习题.ppt

离 散 数 学 期 末 总 复 习 复 习 时 注 意 准确掌握每个概念 灵活应用所学定理 注意解题思路清晰 证明问题时,先用反向思维(从结论入手)分析问题,再按正向思维写出证明过程. 考试内容 1.命题符号化，谓词符号化 2.主范式 3.给定个体域，求表达式的真值情况 4.推理证明（命题证明，谓词证明） 5.各种算法的证明（用图表示） 6.偏序，哈斯图，特殊元素的求解 7.欧拉图，哈密顿图，树的性质，握手定理 8.最小生成树 9.最优2叉树，前缀码，遍历序列 10.等价关系的证明。 第一章 命题逻辑 1.联结词 定义了六个逻辑联结词，分别是： (1) 否定“?” (2) 合取“∧” (3) 析取“∨” (4) 异或“ ” (5) 蕴涵“?” (6) 等价“?” 要熟练掌握这五个联结词在自然语言中所表示的含义以 及它们的真值表的定义。 ? ：否定 表示“不” ∧：合取 表示“不但…,而且...”“并且” ∨：析取 表示“或者－可兼取的或” ：异或 表示“或者－不可兼取的或” ?：蕴涵 表示“如果…,则...” ?: 等价 表示“当且仅当”“充分且必要” 可以将这六个联结词看成六种“运算”。 联结