离散--数理逻辑1.ppt

离散数学 第一部分 数理逻辑 相关事项 授课教师 余远ywnfallm@163.com 二教北区407 教学网站 12 姓名, 学号, 电子邮箱(确保能用,作业,分数,以及通知等都需要该邮箱) 教材与参考书 屈婉玲，耿素云，张立昂，离散数学及其应用，高等教育出版社，2011 屈婉玲，耿素云，张立昂，离散数学，高等教育出版社，2008 耿素云，屈婉玲，王捍贫，离散数学教程，北京大学出版社，2002 屈婉玲，耿素云，张立昂，离散数学学习指导与习题解析，高等教育出版社，2008 耿素云，屈婉玲，王捍贫，刘田，离散数学习题解析，北京大学出版社，2008 要求 5次旷课以零分计， (超过3次)迟到视作旷课 按时做、交作业。不准抄袭，不要突击 课前预习，课堂听讲，课后复习与总结 成绩评定： 平时：20%（作业、出勤） 期末：80% 现代数学的特点 高度抽象和统一 注重公理化体系的建立和结构分析 公理化体系: 欧几里得的平面几何公理 集合论的公理化体系 结构分析: 集合 + 对应规则 + 公理 = 结构 学科的交叉和领域的交叉 泛函分析, 代数图论 随机微分方程 模糊数学, 运筹学 ACM CC2004的核心课程 离散数学的主要内容 研究对象：离散个体及其结构 研究思想：以集合和映射为工具、体现公理化和结构的思想 研究内容：包含不同数学分支，模块化结构 数理逻辑：推理、形式化方法 集合论：离散结构的表示、描述工具 代数结构：离散结构的代数模型 图论：离散结构的关系模型 组合数学：离散结构存在性、计数、枚举、优化、设计 CC-CS2005离散结构的主要模块 离散数学与计算机科学的关系 数理逻辑 人工智能、程序正确性证明及验证 集合论 关系数据库模型 图论 数据结构、数据库模型、网络模型等 代数结构 软件规约、形式语义、编译系统 编码理论、密码学、数据仓库 组合数学 算法设计与分析、编码理论、容错 学习离散数学的目的 掌握离散结构的描述语言和分析方法 为其它专业课程的学习打基础 为掌握软硬件模型的建模与分析方法准备必要的数学工具 学习现代数学的思想 培养分析问题解决问题的能力 理解问题 发现问题 解决问题 描述问题 第一部分 数理逻辑 什么是数理逻辑 字面含义：数学理论的逻辑。逻辑是研究演绎（推理）规律的学科。 广义理解：用数学方法研究演绎规律的学科。 狭义理解：用数学方法研究数学中演绎规律和数学基础的学科。 研究对象：推理过程的正确性标准。是数学的一个分支。又称符号逻辑等。 简单历史——三个阶段（一） 初始阶段：1660年代—19世纪末 将数学应用于逻辑 Aristotle(前384-前322)：形式逻辑(主词和谓词逻辑)。 Leibniz(1646-1716)：建立直观而又精确的思维演算。 遇有争论，双方可以拿起笔来说：让我们来算一下。 George Boole(1815-1864): 逻辑代数。 De Morgan(1806-1871): 关系逻辑。 简单历史——三个阶段（二） 过度阶段：19世纪末— 1940前后 逻辑应用于数学 非欧几何与公理化方法。 微积分与实数理论，Piano算术。 集合论与数学基础(1900年世界数学家大会) 悖论与第三次数学危机，Hilbert计划(1922)。 （第一次：勾股定理，无理数的发现） （第二次：穷小量是不是零？） 第一次数学危机 现代意义下的数学来源于公元前500年左右古希腊的毕达哥拉斯学派。他们认为“万物皆数”。“一切数均可表成整数或整数之比”是这一学派的数学信仰。 “希帕索斯悖论” 毕达哥拉斯证明了勾股定理，也同时发现了某些直角三角形的三边比不能用整数来表达。 危机的缓解： 到十九世纪下半叶，实数理论建立后，无理数本质被彻底搞清，无理数在数学中合法地位的确立，才真正彻底、圆满地解决了第一次数学危机。 第二次数学危机 十七世纪，牛顿与莱布尼茨各自独立发现了微积分，但两人的理论都建立在无穷小分析之上，而对基本概念无穷小量的理解与运用却是混乱的。 “贝克莱悖论” 无穷小量在牛顿的理论中“一会儿是零，一会儿又不是零”。贝克莱嘲笑无穷小量是“已死量的幽灵”。 危机的缓解： 19世纪末，柯西，维尔斯特拉斯，戴德金，康托尔各自经过独立的研究，重建微积分学基础，都将分析基础归结为实数理论。数学分析的无矛盾性问题归纳为实数论的无矛盾性，使微积分学建立在牢固可靠地基础之上。 第三次数学危机 十九世纪下半叶，康托尔创立了著名的集合论。数学家们发现，从自然数与康托尔集合论出发可建立起整个数学大厦。 集合论成为现代数学的基石。“一切数学成果可建立在集合论基础上”。 1900年，国际数学家大会上，法国著名数学家庞加莱就曾兴高采烈地宣称：“…借助集合论概念，我们可以建造整个数学大厦…今天