离散数学重点及习题答案.ppt

离散数学 离散数学 03计应(1)班 03教育班 任课教师:王红雨 前 言 计算机科学是以“离散数学”为主要研究工具。 一是计算机本身是以二进制为基础; 二是计算机科学研究的主要是离散现象之间的关系(数值分析); 三是计算机系统本身就是一个有限的离散结构。 主要掌握概念、术语和基本理论。 数理逻辑作为证明的工具贯彻始终。 与离散数学联系紧密的数学分支是数值分析、组合数学和概率等理论内容。 离散数学还与其他计算机学科联系紧密，如：计算机密码学等。 内容链接 第1章 绪论 第2章 数理逻辑 第3章 集合和关系 第4章 数函数和递推关系 第5章 图论 第6章 代数系统 第7章 格与布尔代数 第1章 绪论 重点1. 离散对象2. 数学模型3. 学习方法：精准地掌握基本概念、基本理论，熟悉解决具体问题的基本方法 讲述要点1. 了解离散数学的内容和研究对象。2. 数学模型的概念和建立数学模型与解决实际问题的关系。3. 以基本概念为基础，以基本理论为工具，学习解决特定问题的基本方法。 第2章 数理逻辑 2.1 命题 重点1. 命题2. 命题的真值（真假值）3. 命题和命题变量的表示——标识符4. 原子命题和复合命题 讲述要点1. 数理逻辑只关心命题之间真假值的逻辑关系，忽略其语义。恰恰是这一特点，使得数理逻辑在各个领域内具有普遍的适用性。2. 标识符在不同的上下语境中，具有不同的含义：作为某一确定的命题，或者是一个命题变量；在后一种情形下，它不是一个命题，所以也就无所谓真假值。但是，可以为它“指派”一个具体的命题。所以说，标识符是一种逻辑框架，可以容纳任何确定的命题（原子的或复合的）。3. 注意提醒学习者，描述一个具体命题的环境——时间、空间或范围。因为世间现实存在的是相对真理，而绝对真理则是相对真理企及的最终标准。 相关习题2.1 2.2 2.2 命题联结词 重点1. 命题联结词2. 联结词的最小集 讲述要点1. 用符号定义联结词以消除日常用语中的二义性。[例2.1]  P：“今天下午，小王打过球和上过阅览室”。 Q：“今天下午，小王先打了一会儿球，而后又去过阅览室”。语句P 一个复合语句；而语句Q只是一个原子语句。并且，按照联结词“ ”的定义，小王究竟是先打球还是先上阅览室是不确定的。2. 强调命题联结词“与”和“或”的可交换性，也即被这两个联结词中任何一个连接的两个命题相互是独立的。3. 条件命题“ ”在前件为“假”的情况下，无论后件是“真”或者“假”，该条件命题均为“真”。教材里所举的一个例子，只是帮助读者理解所谓的“善意推定”，我们宁愿把它视为逻辑的一个公理。4. “联结词的最小集”可以一般地介绍，在学习完本章2.5.1命题公式的等价之后，读者自会有彻底的了解。 2.3 命题的合式公式 2.4 真值表、永真式和永假式 重点1. 真值表的结构和生成2. 永真式和永假式3. 公式的置换例式 讲述要点1. 构造真值表的方法 有n个变元的公式将有2n行。 在变元数较多时，真值表的局限性。2. 永真的公式可以理解为是一种包容任何命题指派的特殊公式。所以，它被任何公式蕴涵。3. 永假的公式可以理解为是一种排斥任何命题指派的特殊公式。所以，它蕴涵任何公式。4. 在教材的表2.14和2.15中，把等价符号“ ”和蕴涵符号“ ”两边的公式加上必要的括号，然后再将这两个符号分别换成“ ”和“ ”。我们就可得到同样数目的永真式了。6. 构造置换例式时应强调的两方面： （1）必须穷尽相同变元的所有置换。 （2）必须同时进行所有变元的置换。 相关习题2.6 2.8 2.9 2.10 2.5 公式的等价和蕴涵 重点1. 公式的等价关系2. 公式的蕴涵关系3. 常用的等价关系和蕴涵关系4. 逆换式、反换式和逆反式 讲述要点1. 注意区分两个公式的等价关系和以两等价的公式构成的永真双条件公式。 2. 注意区分两个公式的蕴涵关系和以两蕴涵的公式构成的永真条件公式。3. 一个公式和它的逆反式等价：4. 一个公式的反换式和它的逆换式等价：5. 因为永真是的置换例式还是永真的，所以 （1）对等价的两个公式中相同的变元做相同的置换后，所得的两个置换例式仍然是等价的。 （2）对蕴涵的两个公式中相同的变元做相同的置换后，所得的两个置换例式仍然保持原有的蕴涵关系。 相关习题2.11 2.12 2.13 2.14 2.15 2.16 2.17 2.6 公式的主范式（1） 重点1. 初等积、小项和小项的编码2. 析取范式和主析取范式3. 初等和、大项和大项的编码4. 合取范式和主合取范式5.