离散数学总复习讲解.pptVIP

离散数学 期末总复习 离散数学 * 期 末 总 复 习 内容提要 考试要求 离散数学 * 1、命题及其表示 命题的概念：能够判断真假的陈述句。 2、逻辑联结词 否定、合取、析取、蕴含、等值 3、命题公式与翻译 3.1 命题公式的定义 3.2 命题的符号化： 将一个文字描述的命题写成相应命题公式的形式。 一、数理逻辑 内容提要 离散数学 * 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 主析取范式及其求法（真值表法、等值演算法） 离散数学 * 8、谓词的概念与表示 个体常元与个体变元：表示具体或特定个体的词称为个体常元，表示抽象或泛指个体的词称为个体变元. 9、谓词演算的等价式与蕴含式 谓词演算的等价式 谓词演算的蕴含式 10、谓词演算的推理理论 US、UG、ES、EG规则 离散数学 * 1、理解命题的概念。 2、掌握常见的逻辑联结词及其定义。 3、能正确列出命题公式的真值表，掌握等价公式的证法（等值演算法。 4、掌握主析（合）取范式的概念及其求法（真值表法与等值演法）。 5、能正确将一个文字描述的命题翻译成命题公式，并证明其有效性。 6、理解全称量词与存在量词的概念，并能将一个文字描述的命题翻译成正确的谓词公式。并能将一个实际命题转化为谓词公式命题并进行证明。 考试要求 离散数学 * 典型例题 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 ② s ③ s ? ? r ④ ? r ⑤ p ⑥ p? (q ? r) ⑦ q ? r ⑧ q 前提引入 ①化简规则 前提引入 ④⑦析取三段论 ②③假言推理 ⑤⑥假言推理 前提引入 ①化简规则 离散数学 * 1、序偶与笛卡尔积 1.1 序偶：两个具有固定次序的个体组成一个序偶. 1.2 笛卡尔积：以序偶为元素的集合. 2、关系及其表示 2.1 关系的概念：笛卡尔积的子集。 2.2 关系的表示： 集合表示法、矩阵表示法、关系图表示法。 内容提要 二、二元关系 离散数学 * 3、关系的性质 自反、反自反、对称、反对称、传递性。 4、复合关系和逆关系 5、关系的闭包运算 自反、对称、传递闭包的概念和求法 离散数学 * 6、等价关系 6.1 集合的划分与覆盖 6.2 等价关系与等价类的概念 6.3 等价关系与划分的一一对应关系 7、次序关系，尤其偏序关系 7.1 偏序关系与偏序集的概念 7.2 偏序关系的哈斯图 7.3 偏序集特殊位置的元素（极大、小元，最大、小元，上、下界，上下确界） 离散数学 * 1、理解关系的概念，掌握关系的矩阵表示法与关系图表示法。 2、理解关系的五个性质，判断关系性质。 3、理解自反、对称、传递闭包的概念。 4、理解等价关系、及其与划分的相互诱导。 5、理解偏序关系的概念，哈斯图表示，最大最小值，极大极小值和上下界。 考试要求 离散数学 * 典型例题 设R是非空集合A上的二元关系，如果R是自反的、_____