离散数学第一部分第一章数理逻辑学案.pptVIP

教材与参考书 《离散数学》 屈婉玲、耿素云、张立昂编著 高等教育出版社，2008年 教材与参考书 《离散数学学习指导与习题解析》 屈婉玲、耿素云、张立昂 高等教育出版社 这门课的作用 计算机相关的专业基础课 培养逻辑思维和分析、解决问题能力 后续课程的基础 培养数学素养 这门课的特点 研究离散量的结构 及其相互关系的学科 离散——连续 有限——无穷 数理逻辑 集合论 代数结构（抽象代数） 组合数学 图论 初等数论 这门课的考核 平时成绩 10分 期末考试 90分 优秀率 15％左右 不及格率 15％ 重修的及格率 23％ 学习方法 第一部分 数理逻辑Mathematical Logics 命题逻辑 Propositional Logic 基本概念 等值演算 推理 谓词逻辑 Predicate Logic 基本概念 等值演算 推理 什么是数理逻辑？ 研究推理的数学分支 研究“数学思维”的数学模型 逻辑的数学化、数学的逻辑化 什么是逻辑？ 逻辑（Logics）是关于推理的科学 研究思维形式及其规律 包括形式逻辑与辩证逻辑 概念、判断、推理是思维的基本形式 逻辑学的发展 二千年前的古希腊、中国、印度，逻辑已非常发达 亚理士多德（Aristotle，B.C. 384-B.C. 322）提出“演绎法”，形式逻辑的开山鼻祖 逻辑学的发展 ——数理逻辑 1666年，莱布尼兹（Gottfried Wilhelm von Leibniz， 1646-1716） 发明了一套逻辑运算符号，创建了数理逻辑 数理逻辑的发展 1847年，布尔（George Boole 1815-1864）创立了布尔代数 数理逻辑的第三位奠基人是德国数学家弗雷格（ Gottlob Frege， 1848－1925） 大数学家罗素（ Bertrand Russell，1872－1970），提出逻辑主义 数理逻辑的快速发展 进入20世纪，数理逻辑得到快速发展 源于20世纪最伟大的数学家希尔伯特（David Hilbert，1862-1943）倡导的数学的公理化运动 哥德尔（Kurt Godel, 1906-1978）是亚理士多德和莱布尼兹以来最伟大的逻辑学家 数理逻辑与计算机科学 程序 ＝ 算法＋数据 算法 ＝ 逻辑＋控制 数理逻辑与计算机科学 数理逻辑与计算机科学 假如我早年在数理逻辑上下点功夫，就不会出那么多错误，不少东西数理逻辑上早就讲过了； 假如我年轻20岁，一定回去学数理逻辑。 —— 1972年图灵奖得主、荷兰计算机学家 Dijkstra （迪克斯特拉）?? 第一章 命题逻辑基本概念 1.1 命题与联结词 1.2 命题公式及其赋值 1.1 命题与联结词 逻辑研究推理的规律 推理由一系列的陈述句组成 命题与真值 命题 能判断真假的陈述句。 命题的真值 只有两种：{真，假} 每个命题的真值都是惟一的 命题只有两种 真命题与假命题 命题的例子 【例1.1A】 下述各句均为命题： （1） 4是素数。 （假命题） （2） 是无理数。 （真命题） （3）火星上有水。 （4）2050年元旦是晴天。 不是命题的例子 【例1.1B】 下列语句不是命题： （1）好棒啊！ （2）你好吗？ （3）请勿吸烟。 （4）x＞3 （命题变元） （5）x大于y，其中x和y是任意的两个数。 （6）我正在说谎。（说谎者悖论） 二元论、二分法与二进制 认识世界的方法论：阴与阳、正与反、天与地、物质与精神 易有太极，是生两仪，两仪生四象，四象生八卦 谋略思想：奇正、虚实 人生哲学：进退、取舍、加减 现代计算的基础 道可道，非常道。名可名，非常名。无名，万物之始也；有名，万物之母也。……此二者，同出而异名，同谓之玄，玄之又玄，众妙之门。 道生一，一生二，二生三，三生万物 天下皆知美之为美也，恶已；皆知善，此其不善已。有无相生；难易相成；长短相较；高下相倾；音声相和；先后相随。