离散数学(一).ppt

离散数学与计算机的关系 第一部分 数理逻辑 计算机是数理逻辑和电子学相结合的产物 第二部分 集合论 集合：一种重要的数据结构 关系：关系数据库的理论基础 函数：所有计算机语言中不可缺少的一部分 第三部分 代数系统 计算机编码和纠错码理论数字逻辑设计基础，计算机使用的各种运算 第四部分 图论 数据结构、操作系统、编译原理、计算机网络原理的基础 参考教材 1、《离散数学》 耿素云、屈婉玲、张立昂 清华大学出版社 2、《离散数学题解》 耿素云、屈婉玲、张立昂 清华大学出版社 3、《离散数学导论》 徐洁磐 高等教育出版社 4、《离散数学》 洪帆等编 电子工业出版社 5、《 离散数学》 李盘林等编 人民邮电出版社 绪论 离散数学课程地位： 计算机专业（核心课程） 信息类专业（必修课程） 其它类专业（重要选修课程） 离散数学的后继课程： 数据结构、操作系统、 算法分析与设计、 数据库、C++语言…… 绪论 离散数学课程的学习方法: 强调：逻辑性、抽象性； 注重：概念、方法与应用 离散数学的学习要领： 概念（正确） 必须掌握好离散数学中大量的 概念 判断（准确） 根据概念对事物的属性进行判断 推理（可靠） 根据多个判断推出一个新的判断 例1.1 下列句子中那些是命题？ (1) 是无理数. (2) 2 + 5 ＝8. (3) x + 5 ＞ 3. (4) 你有铅笔吗？ (5) 这只兔子跑得真快呀！ (6) 请不要讲话！ (7) 我正在说谎话. 1.1.2 联结词与复合命题 思考题：只能在周二说的话 某人在周一总是说谎话，而在其它日子总是说真话。那么，有没有他只能在周二才能说的话呢？ “今天不是周一就是周二。” 1.1.2 联结词与复合命题 定义1.4 设p，q为二命题，复合命题“如果p，则q”称作p与q的蕴涵式，记作p→q，→称作蕴涵联结词。并规定p→q为假当且仅当p为真q为假。 ?p→q的逻辑关系表示q是p的必要条件。 注意在使用联结词→时，特别注意以下几点： 1.1.2 联结词与复合命题 在自然语言里，特别是在数学中，q是p的必要条件有许多不同的叙述方式。例如，“只要p，就q”，“因为p，所以q”，“p仅当q”，“只有q才p”，“除非q才p”，“除非q，否则非p”等等。以上各种叙述方式表面看来有所不同，但都表达的是q是p的必要条件，因而所用联结词均应符号化为→，上述各种叙述方式都应符号化为p→q。 在自然语言中，“如果p，则q”中的前件p与后件q往往具有某种内在联系。而在数理逻辑中，p与q可以无任何内在联系。 在数学或其它自然科学中，“如果p，则q”往往表达的是前件p为真，后件q也为真的推理关系。但在数理逻辑中，作为一种规定，当p为假时，无论q是真是假，p→q均为真。也就是说，只有p为真q为假这一种情况使得复合命题p→q为假。 1.1.2 联结词与复合命题 定义1.5 设p，q为二命题，复合命题“p当且仅当q”称作p与q的等价式，记作 ，称作等价联结词。并规定 为真当且仅当p与q同时为真或同时为假。 的逻辑关系为p与q互为充分必要条件。 以上定义了五种最基本、最常用、也是最重要的联结词┐，∧，∨，→， ，将它们组成一个集合{┐，∧，∨，→， }，称为一个联结词集。其中┐为一元联结词，其余的都是二元联结词。 1.1.2 联结词与复合命题 例 将下列命题符号化，并指出各复合命题的真值： ????(1)