离散数学11,12讲解.ppt

课程简介 ◆离散数学，是现代数学的一个重要分支，是计算机科学中基础理论的核心课程，是整个计算机学科的专业基础课。 ◆离散数学是以研究离散量的结构和相互间的关系为主要目标，其研究对象一般地是有限个或可数个元素，因此它充分描述了计算机科学离散性的特点。 ◆离散数学是随着计算机科学的发展而逐步建立的，它形成于七十年代初期，是一门新兴的工具性学科。 离散数学的应用 ◆关系型数据库的设计（关系代数） ◆表达式解析（树） ◆编译技术、程序设计语言（代数结构） ◆人工智能、自动推理、机器证明（数理逻辑） ◆网络路由算法（图论） ◆游戏中的人工智能算法（图论、树、博弈论） ◆专家系统（集合论、数理逻辑—知识和推理规则的计算机表达） ◆软件工程—团队开发—时间和分工的优化（图论—网络、划分） ◆(各种)算法的构造、正确性的证明和效率的评估（离散数学的各分支） 教材 左孝凌，李为鉴，刘永才编著．离散数学．上海：上海科学技术文献出版社,1982 主要参考教材: 孙吉贵，杨凤杰，欧阳丹彤，李占山编著．离散数学．高等教育出版社，2002 学习要求 ◆本课程特点定义+定理+例题 ◆多做习题，认真独立完成作业 本课程主要内容 ◆第一篇 数理逻辑 命题逻辑、谓词逻辑 ◆第二篇 集合论 集合与关系、函数 ◆第三篇 代数系统 代数结构、格和布尔代数 ◆第四篇 图论 图论 第一篇　数理逻辑??? ◆思维的形式结构包括了概念，判断和推理之间的结构和联系，其中概念是思维的基本单位，通过概念对事物是否具有某种属性进行肯定或否定的回答，这就是判断；由一个或几个判断推出另一判断的思维形式，就是推理。 ◆研究推理有很多方法，用数学方法来研究推理的规律称为数理逻辑，即通过引入表意符号研究推理，因此，数理逻辑又名符号逻辑。现代数理逻辑可分为四论、两演算：证明论、模型论、递归函数论、公理化集合论，以及命题演算和谓词演算，这里介绍的是数理逻辑最基本的内容：命题逻辑和谓词逻辑。 设有下列情况，结论是否有效？ (a)或者是天晴，或者是下雨。 (b)如果是天晴，我去看电影。. (c)如果我去看电影，我就不看书。 结论：如果我在看书则天在下雨。 1-1 命题及其表示法? 一、命题 1、定义 能表达判断的陈述句，称作命题（Proposition）。 例：判断下列语句是否为命题: (1)地球外存在智慧生物。 (2)1＋1=10。 (3)今天下雨。 (4)你今年暑假去旅行吗？（疑问句） (5)克里特岛人说：“克里特岛人是说谎话者”。（悖论） 命题所表达的判断结果称为命题的真值（值）。 真值只有“真”和“假”两种，记作True（真）和False（假），分别用符号T（1）和F（0）表示。 由于命题只有两种真值，所以称这种逻辑为二值逻辑。 命题的真值是具有客观性质的，而不是由人的主观决定的。 下面的语句中，哪些语句是命题，如果是命题，指出它的真值： ??? （1）能整除7的正整数只有1和7本身。? （2）对于每一个正整数n存在一个大于n的素数。??（3）煤是白的。??（4）雪是黑的。 ??（5）在宇宙中地球是唯一有生命的星球。 ?? （6）1+101=110?? （7）买两张星期六的电影票。（祈使句）??（8）全体立正！（祈使句）??（9）明天是否开会？（疑问句）??（10）天气多好啊！（感叹句）??（11）我正在说谎。（悖论）?? 命题有两种类型：原子命题和复合命题 原子命题：不能分解为更简单的陈述句。 复合（分子）命题：由联结词、标点符号和原子命题复合构成的命题。 前面例子中： （1～5）是原子命题； “我学英语，或者我学日语”是复合命题。 练习：指出下列语句哪些是命题，哪些不是命题，如果是命题，指出它的真值。（见教材第8页习题（1）） a）离散数学是计算机科学系的一门必修课。???? b）小李有空吗？???? c）明天我去看电影。???? d）请勿随地吐痰！???? e）不存在最大质数。???? f）如果我掌握了英语、法语，那么学习其他欧洲语言就容易的多。???? g）x=3???? h）我们要努力学习。 解： a）离散数学是计算机科学系的一门必修课。 是命题，真值为T。???? b）小李有空吗？ 疑问句，不是命题。???? c）明天我去看电影。 是命题，真值要根据具体情况确定。???? d）请勿随地吐痰！ 祈使句，不是命题。???? e）不存在最大质数。 是命题，真值为T。???? f）如果我掌握了英语、法语，那么学习其他欧