数理逻辑全套课件.ppt

自我介绍 杨磊 生物数学教研室 外语学馆411 手机:QQ: 406453456 运筹学 最优化方法 网络生物医学资源 生物信息学软件 数理逻辑：离散数学的分支 离散数学：计算机科学的核心基础课程，它以离散量为研究对象。 数学分析：(微积分)以连续函数为主要研究对象，属于连续型数学。 计算机软件和硬件都属于离散结构，必然大量使用离散数学，只能处理离散的或离散化了的数量关系 (0,1) 离散数学在计算机领域有着广泛的应用 数据结构 操作系统 编译原理 人工智能 程序设计 数理逻辑 Mathematical Logic 数理：Mathematical 数学理论 逻辑：Logic 什么是逻辑 逻辑通常指人们思考问题，从某些已知条件出发推出合理的结论的规律。 逻辑学：一门研究思维形式及思维规律的科学。 逻辑学主要研究对象：推理形式。 什么是数理逻辑 字面含义：数学理论的逻辑。 广义理解：用数学方法研究演绎规律的学科。 狭义理解：用数学方法研究数学中演绎规律的学科。 研究对象：推理过程的正确性标准。 什么是数理逻辑 更深入的理解：就是采用数学的方法来研究思维形式的逻辑结构及其规律的一门科学。 所谓数学的方法就是用一套符号(即人工符号语言)的方法。 数理逻辑与传统逻辑的区别 1. 使用一整套符号语言，从而简化了推理形式。 2. 借助人工符号语言，使整个推理形式化。 3. 具有系统性。 数理逻辑的历史 数理逻辑的创始人：莱布尼兹 贡献：把数学引入形式逻辑； 布尔 贡献： 1847年实现了命题演算； 弗雷格 贡献： 1879年建立了第一个谓词演算系统； 皮尔斯 贡献：在著作中引入了逻辑符号。 现代数理逻辑最基本的理论基础逐步形成，成为一门独立的学科 课程教材 Kenneth H.Rosen著的《Discrete Mathematics and Its Applications》 离散数学领域的经典教材, 全世界几乎所有知名的院校都曾使用. 离散数学 左孝凌 刘永才 上海科学技术文献出版社。 国内经典著作中内容最全的一本。 学习本课程的目的 很多专业课的先修课 离散数学后继课程有：数据结构、人工智能、数据库、操作系统、计算机网络等。 培养学生抽象的思维和逻辑推理能力和创新能力 离散数学可以帮助学生提高数学素质,提高创造力 专业核心课程，考研、计算机等级考试、程序员考试的考试科目 学习本课程的方法 课程特点 内容杂，概念多，定理多，很抽象，给学习带来一定难度 学习方法 强调：逻辑性、抽象性 注重：概念、方法与应用 本课程主要内容 第一章 逻辑、集合和函数 命题逻辑、谓词逻辑、逻辑等价 集合、集合运算 函数、函数增长 第二章 算法、整数和矩阵 算法、搜索算法 整数和除法(素数、最大公约数、最小公倍数、模运算等)、整数和算法 矩阵 第三章 数学推理 证明方法、数学归纳法、递归算法等 第四章 关系 关系及其性质、n元关系及应用、关系的表示 第一章 逻辑、集合和函数Chapter 1 Logic、set and function 命题逻辑Propositional Logic 命题(Proposition) Definition: A declarative sentence that is either true or false, but not both 定义：命题是一个或真或假的陈述句，但不能既真又假 Note: 陈述句 或者真 或者假 命题满足的条件 (1)命题的语句形式：陈述句 (2)非命题语句：疑问句、命令句、感叹句、非命题陈述句(悖论语句) (3)命题所表述的内容可决定是真还是假，不能不真又不假，也不能又真又假。 命题的真值 命题具有两种可能的取值(又称真值)，为真或为假，并且只能取其一。 命题真值(Truth Values)的表示： 真：T、1； 假：F、0 因为命题只有两种取值，所以这样的命题逻辑称为二值逻辑。 命题语句真值确定的几点说明： 1、时间性 2、区域性 3、标准性 注意：严格地说，含有可变时间、地点、人物的语句不是命题，除非假定了一个确定的时间、地点、人物。 Example (1) The sun is bigger than earth. (太阳比地球大) ---- Proposition (TRUE) (2) The integer 9 is prime. (整数9是素数) ---- Proposition (FALSE) (3) This st