离散数学考前串讲.pptVIP

离散数学 北京理工大学 软件学院 刘振岩 zhenyanliu@bit.edu.cn 课程内容 第一篇 数理逻辑 第一章 命题逻辑 第二章 谓词逻辑 第二篇 集合论 第三章 集合与关系 第四章 函数 第三篇 代数系统 第五章 代数结构 第四篇 图论 第七章 图论 第一章 命题逻辑 1.1 命题及其表示方法 1.2 联结词 1.3 命题公式与翻译 1.4 真值表与等价公式 1.5 重言式与蕴含式 1.6 其它联结词 1.7 对偶与范式 1.8 推理理论 1.1命题及其表示方法 1.2 联结词 五种逻辑联结词 1. 否定? 2. 合取? 同真则真，有假则假 3. 析取? 同假则假，有真则真 4. 条件→ 前真后假则假 5. 双条件? 同则真，不同则假 注意： 复合命题的真值只取决于各原子命题的真值，而与它们的内容、含义无关，与原子命题之间是否有关系无关。 1.3 命题公式与翻译 命题演算的合式公式（wff）的定义 命题的符号化（翻译） ① 确定给定句子是否为命题。 ② 句子中连词是否为命题联结词。 ③ 要正确地表示原子命题和适当选择命题联结词 1.4 真值表与等价公式 如何构造真值表 两个命题公式的等价的定义 命题定律（基本等价式） 等价式的判别方法 真值表法 等价演算法 1.5 重言式与蕴含式 重言式，矛盾式，可满足式 蕴含式的定义 蕴含式的证明方法 常用的蕴含式 蕴含与等价的关系 1.6 其它联结词 四个联结词 1.不可兼析取 2. 条件否定 3. 与非 4.或非 最小全功能联结词组 {?, ?} {?, ?} 1.7 对偶与范式 对偶式的定义、定理 范式（不唯一） 析取范式 合取范式 主范式（唯一） 主析取范式（小项） 主合取范式（大项） 1.8 推理理论 三种论证方法 真值表法 直接证法（P规则，T规则） 间接证法 ---- 反证法（将结论的否作为附加前提） ---- CP规则（将结论的前件作为附加前提） 第二章 谓词逻辑 2.1 谓词的概念与表示 2.2 命题函数与量词 2.3 谓词公式与翻译 2.4 变元的约束 2.5 谓词演算的等价式与蕴含式 2.6 前束范式 2.7 谓词演算的推理理论 2.1 谓词的概念和表示 命题逻辑中的原子命题被分解为客体和谓词 谓词分为： 一元谓词：表达了客体的性质 P(a) ：张三是大学生 多元谓词：表达了客体之间的关系 B(a, b) ：a 小于 b 2.2 命题函数与量词 命题函数 简单命题函数 复合命题函数 个体域，全总个体域，特性谓词 量词 ? ? 2.3 谓词公式与翻译 谓词公式的定义 谓词公式的翻译 首先正确的表达公式中的每一个简单命题函数 之后选择正确的量词和联结词表示整个公式 2.4 变元的约束 指导变元 辖域 约束变元（换名） 自由变元（代入） 有限个体域（消去量词） 多个量词的次序不能随便颠倒 2.5 谓词演算的等价式与蕴含式 谓词公式的等价 谓词公式的类型（永真式，永假式，可满足式） 谓词演算的等价式 命题公式的推广 量词与否定联结词之间的关系 量词作用域的扩张与收缩 量词分配律 谓词演算的蕴含式 多个量词的使用 2.6 前束范式 前束范式的定义 前束合取范式 前束析取范式 前束范式的求法 2.7 谓词演算的推理理论 第三章 集合与关系 3.1 集合的概念和表示法 3.2 集合的运算 3.4 序偶与笛卡儿积 3.5 关系及其表示 3.6 关系的性质 3.7 复合关系和逆关系 3.8 关系的闭包运算 3.9 集合的划分和覆盖 3.10 等价关系与等价类 3.12 序关系 3.1 集合的概念和表示法 集合与元素 集合的势 集合的表示法 集合相等 子集、全集、空集 幂集 3.2 集合的运算 集合的交 集合的并 集合的相对补（差） 集合的绝对补（补） 集合的对称差 3.4 序偶与笛卡尔积 序偶 具有确定次序的两个元素的集合，记为x, y 笛卡尔积 3.5 关系及其表示 关系（二元关系） 从X到Y的关系、X上的关系 关系的域（前域）、值域 关系的集合运算仍然是关系 关系的表示方式：关系矩阵、 关系图 3.6 关系的性质 1.自反性(reflexive) 2.反自反性(irreflexive) 3.对称性(symmetric) 4.反对称性(antisymmetric) 5.传递性(transitive) 3.7 复合关系和逆关系 复合关系