离散数学方世昌第一节.ppt

离散数学  Discretc Mathematics 方世昌 编著 西安电子科技大学出版社 任课教师：谢素珍 迫切需要一门适合计算机科学的相关数学课程，离散数学由此建立，它是研究离散量的结构及相互关系的学科。它充分描述了计算机科学离散性的特点，是计算机科学与技术的理论基础，所以又称为计算机数学。是计算机、软件专业本科生必修的专业基础课；到硕士研究生段还将开设“组合数学”；到博士研究生段还将开设“计算数学”； “离散数学”一方面给后继课，如“数据结构”、“编译系统”、“操作系统”、“数据库原理”等，提供必要的科学基础；另一方面，通过学习离散数学，培养和提高了同学们的抽象思维和逻辑推理能力，为大家今后继续学习和工作打下坚实的数学基础。 我们选用的这本教材是方世昌著《离散数学》（第二版），西安电子科技大学 与计算机科学技术密切相关的课题，既着重于各部分内容之间的紧密联系，又深入探讨各部分内容的概念、理论、算法和实际应用。因而本书既有深度，又有广度，相信学了本书，即能培养思维能力，又能培养理论联系实际的扎实功底 。各章内容大致如下： 第一章 数理逻辑 将形式逻辑符号化后进行逻辑推理，来 《离散数学》课每周上课两次，4学时，安排15周，共60学时。 考核方式：期末笔试占70%，平时作业占30%， 每人准备两个作业本（或者用合页纸），写清班级、学号、姓名。每星期交一次作业，由班长统一收齐交到四楼“专业教研室”。交新作业时领回批改过的作业，按学校规定每次作业将登记，批改三分之一。 第一章 数理逻辑1.1 命 题 逻辑学分为：“形式逻辑”和“数理逻辑”两个部分，他们的最大区别在于， “形式逻辑”允许有二意性而“数理逻辑”决不允许。“数理逻辑” 就是将 “形式逻辑”数学符号化； 例如：陈述句“你吃饱了”在“形式逻辑”中可以理解为： 例 1 下述都是命题: (a) 今天下雪; (c) 2 是偶数而 3 是奇数; (b) 3+3=6; (d) 陈胜起义那天, 杭州下雨; (e) 2008年人类将登上火星。 以上命题, (a)的真值取决于今天的天气, (b)和(c)是真, (d)已无法查明它的真值, 但它是或真或假, 将它归属于命题。 (e)目前尚未确定其真假, 但它是有真值的, 应归属于命题。 例 2 下述都不是命题: (a) x+y＞4。 (c) 真好啊! (b) x=3。 (d) 你去哪里? (a)和(b)是断言，不是命题, 因为它的真值取决于x和y的值。 (c)和(d)都不是断言, 所以不是命题。自然语句中有陈述句、祈使句、疑问句、和感叹句等，其中能判断对错的只有陈述句。 例 3 一个人说:“我正在说谎”。 他是在说谎还是在说真话呢? 如果他讲真话, 那么他所说的是真, 也就是他在说谎。 我们得出结论如果他讲真话, 那么他是在说谎。 另一方面, 如果他是说谎, 那么他说的是假; 因为他承认他是说谎, 所以他实际上是在说真话, 我们得出结论如果他是说谎, 那么他是讲真话。 从以上分析, 我们得出他必须既非说谎也不是讲真话。这样, 断言“我正在说谎”事实上不能指定它的真假, 所以不是命题。 这种断言叫悖论。 例：学生甲在教师乙处学习法律，约定一年学成甲支付学费2000圆，同时规定在学生甲和教师乙在同一场官司中，师生分别作为控辩双方，若学生方获胜为学成的标准； 若一个命题已不能分解成更简单的命题, 则这个命题叫原子命题或本原命题。 例 1 中(a) , (b) , (d) , (e)都是本原命题, 但(c)不是, 因为它可写成“2 是偶数”和“3 是奇数”两个命题。 命题和本原命题常用大写字母P , Q , R :表示。 如用P表示“4 是质数”, 则记为 ： P: 4 是质数。 第一章 数理逻辑 1.2 命题联结词 1.1.2 命题联结词 命题和原子命题常可通过一些联结词构成新命题, 这种新命题叫复合命题。例如 ： P: 明天下雪, Q: 明天下雨 是两个命题, 利用联结词“不”, “并且