离散数学总复习.PPT

6、等价关系 6.1 集合的划分与覆盖 6.2 等价关系与等价类的概念 6.3 等价关系与划分的一一对应关系 7、偏序关系 7.1 偏序关系与偏序集的概念 7.2 偏序关系的哈斯图 7.3 偏序集特殊位置的元素（极大、小元，最大、小元，上、下界，上下确界） 离散数学 * 8、函数 8.1 函数的概念 函数的概念，有限集的函数个数问题 8.2 特殊映射 单射、满射、双射的概念 8.3 复合函数与逆函数 复合函数与逆函数的概念及其性质 离散数学 * 1、掌握笛卡尔积对并集与交集运算的分配律证明。 2、理解关系的概念，掌握关系的矩阵表示法与关系图表示法。 3、理解关系的五个性质，掌握利用关系矩阵与关系图判断关系性质的方法。 4、理解复合关系与逆关系的概念，掌握逆关系的性质证明。 5、理解自反、对称、传递闭包的概念，掌握闭包运算律的证明. 6、理解等价关系、相容关系、偏序关系的概念。 7、理解函数的概念，掌握有限集的函数个数解法。 8、理解单射、满射、双射的概念，能正确判断映射的类型。 9、理解复合函数与逆函数的概念与性质，掌握复合函数与逆函数的求法。 考试要求 离散数学 * 典型例题 8：设R、R1、R2都是从 X 到 Y 的二元关系，证明： 9：设R是非空集合A上的二元关系，如果R是自反的、________和传递的，则称R是A上的一个等价关系． 对称的 10：设A, B是集合且|A|=3、|B|=4，则从A到B可定义_______个不同的映射． 64 离散数学 * 内容提要 1、图的基本概念 1.1 图的定义与分类 1.2 子图与生成子图、补图的概念 1.3 节点的度数与握手定理 1.4 图的同构概念 2、路与图的连通性 2.1 路与回路，简单路与基本路的概念 2.2 无向图的连通性与连通分支，有向图的强连通性、单侧连通性、弱连通性。 第7、8、9章 图论 离散数学 * * * 期 末 总 复 习 内容提要 考试要求 典型例题 离散数学 * 1、命题及其表示 命题的概念：能够判断真假的陈述句。 2、逻辑联结词 否定、合取、析取、条件、双条件联结词 3、命题公式与翻译 3.1 命题公式的定义 3.2 命题的符号化： 将一个文字描述的命题写成相应命题公式的形式。 第1章 命题逻辑 内容提要 离散数学 * 4、真值表与等价公式 4.1 真值表： 将命题公式在所有赋值下的取值情况列成表。 4.2 等价公式： 若命题公式A和B在任一赋值的情况下对应的真值都相同，则称公式A与B等价。 5、命题公式的分类与蕴含式 5.1 命题公式的分类：重言式、矛盾式和可满足式。 5.2 蕴含式的定义： 设A，B为两个命题公式，若A→B为重言式，则称A蕴含B. 离散数学 * 7、推理理论 7.1 直接证法 7.2 间接证法（附加前提证明法、归谬法） 7.3 推理理论的应用 6、范式 6.1 析取范式与合取范式的定义 6.2 主析取范式及其求法（真值表法、等值演算法） 离散数学 * 1、理解命题公式的概念，能正确判断命题公式的类型。 2、掌握常见的逻辑联结词及其定义。 3、理解命题公式的归纳定义，能正确将一个文字描述的命题翻译成命题公式。 4、能正确列出命题公式的真值表，掌握等价公式的证法（等值演算法），能灵活运用等价公式解决实际逻辑问题。 5、掌握命题公式的分类。 6、掌握蕴含式的证法：真值表法、等值演算法、分析法。 7、掌握主析取范式的概念及其求法（真值表法与等值演法）。 8、能灵活应用主析取范式解决实际问题。 考试要求 离散数学 * 典型例题 1: 下列语句中，属于命题的是（ ） A、请勿吸烟！ B、我正在说谎。 C、雪是黑的。 D、明天开会吗？ 离散数学 * 典型例题 2: 用等值演算法求以下命题公式的主析取范式： 解： 离散数学 * 3：写出下面推理的证明。 如果今天是星期一，则10点钟要进行离散数学或 数据结构考试。如果数据结构课程的老师生病，则不考数据结构。今天是星期一，并且数据结构课程的老师生病，所以今天进行离散数学的考试。 解： 设p：今天是星期一； q：10点钟要进行离散数学考试； r： 10点钟要进行数据结构考试； s：数据结构课程的老师生病； 解题思想: 将命题符号化；写出前提和可能结论；使用构造证明法推演出正确结论。 p? (q ? r) s ? ? r p ? s q 典型例题 离散数学 * 前提：p? (q ? r), s ? ? r, p ? s 结论：q 证明：① p ? s