离散数学4_1[2014_10_27]分解.ppt

* Colossus——1943的计算机就投入了运行，用于译解德国密码，英国政府1970年之前一直对它保密， 随着计算机技术的发展，计算机的应用越来越广泛，总结出来的相关知识和内容越来越多，同时，需要研究解决的技术问题也越来越多。 * Colossus——1943的计算机就投入了运行，用于译解德国密码，英国政府1970年之前一直对它保密， 随着计算机技术的发展，计算机的应用越来越广泛，总结出来的相关知识和内容越来越多，同时，需要研究解决的技术问题也越来越多。 整个关系数据库理论都是建立在很完美的关系理论的基础上 大家以后学习关系数据库时，只要把“关系”理论学好，余下的问题都很好解决 * * * * * * * * * * * * * * * * * * * * * * * 主讲教师：常亮 E-mail: changl@guet.edu.cn QQ：737059669 办公室电话: 2291071 手机: 辅导教师：周小川 答疑时间：星期四 上午 10:20-11:50 答疑地点：5教5楼 软件工程教研室 离散数学 第二部分 数理逻辑 教材：第4章-第5章 从历史观看数理逻辑 数理逻辑：以数学的方法研究思维规律和推理过程的学科。 将数学应用于逻辑。 逻辑：研究思维形式及其规律 Aristotle：形式逻辑(主词和谓词逻辑)；一般格式:三段论 所有的人都是要死的， 苏格拉底是人， 所以，苏格拉底是要死的。 17世纪，Leibniz：把推理过程像数学一样利用公式来描述，从而得出正确的结论；建立直观而又精确的思维演算。 遇有争论，双方可以拿起笔来说：让我们来算一下。 从历史观看数理逻辑 基本思路：首先引进一套符号体系，规定一些规则，导出一些定律，然后借助于这些符号、规则、定律，将逻辑推理的过程在形式上变得像代数演算一样。因此，数理逻辑又称符号逻辑。 对命题形式化/符号化 推理 谓词逻辑 命题逻辑 命题符号、联结词 命题符号、联结词 谓词、量词、个体词 数理逻辑在计算机科学中的应用 数字逻辑电路 ——布尔逻辑（命题逻辑的一种专门化的形式） SQL ——本质上等价于一阶逻辑 逻辑程序设计——以一阶逻辑为基础 计算理论（可计算性，Turing机） 程序语义与验证技术 程序的自动生成与转换 人工智能（知识表示与推理） 智能规划 …… Dijkstra的话 Edsger Wybe Dijkstra (1930-2002)，最伟大的计算机科学家 第七位图灵奖获得者(1972 年) 我们熟悉的内容： 提出“goto有害” 堆栈 进程的三个工作状态：就绪、运行、阻塞 提出信号量和PV原语 解决了“哲学家共餐”问题 银行家算法 Dijkstra最短路径算法 第一个Algol 60编译器的设计者和实现者 …… 我现在年纪大了，搞了这么多年软件，错误不知犯了多少，现在觉悟了，我想，假如我早年在数理逻辑上好好下点功夫的话，我就不会犯这么多错误，不少东西逻辑学家早就说了，可我不知道。要是我能年轻20岁的话我要回去学逻辑。 第4章 命题逻辑 §4.1 命题逻辑的基本概念 什么是命题？ 命题是或为真或为假的具有唯一真值的陈述句。 例如： 4是偶数。 桂林属于广东省。 命题的真值：对命题判断的结果。 真值的取值: 真、假 成为命题的两个条件 命题是或为真或为假的具有唯一真值的陈述句。 条件1：给定的句子是一个陈述句 请不要吸烟！ 这朵花真美丽啊！ π大于2吗？ 条件2：给定的句子有唯一的真值(要么为真要么为假） 我正在说假话。 x加1大于5，其中的x是变数。 注意： a能被4整除，其中的a是一个给定的正整数。 木星上有水。 关键：尽管我们不知道它的真值，但其真值是客观存在的，而且是唯一的。 感叹句、祈使句、疑问句都不是命题。 陈述句中的悖论以及判断结果不唯一确定的也不是命题。 例4.1 判断下列语句哪些是命题？如果是命题，其真值如何？ ① 5能被3整除。 ② 你现在好吗? ③ 请勿喧哗！ ④ 1+2 = 3。 ⑤ x + y = 6。 ⑥ 好美的音乐啊! ⑦ 地球外的星球上也有生命。 ⑧ 3是偶数。 ⑨ 我正在说的是谎话。 ⑩ 李明选修了离散数学。 一个陈述句是否为命题，关键在于其是否具有惟一真值，而与我们是否知道其真假无关 。 假 不是命题 不是命题 真 不是命题 不是命题 真值未知 假 不是命题（悖论，即，矛盾） 真值可唯一确定 (1) 2 + 5 ＝8。 (2) 这只兔子跑得真快呀！ (3) 请不要讲话！ (4) 王侯将相，宁有种乎？ (5) 己所不欲