第1讲离散数学.pptVIP

第1页，共34页，星期日，2025年，2月5日*简单历史——三个阶段（一）1、初始阶段：1660年代—19世纪末将数学应用于逻辑Aristotle：形式逻辑（主词和谓词逻辑）。Leibniz：建立直观而又精确的思维演算。遇有争论，双方可以拿起笔来说：让我们来算一下。GeorgeBoole:逻辑代数。DeMorgan:关系逻辑。[1]王宪钧，数理逻辑引论，北京大学出版社，1982。第2页，共34页，星期日，2025年，2月5日*简单历史——三个阶段（二）2、过度阶段：19世纪末—1940前后逻辑应用于数学非欧几何与公理化方法。微积分与实数理论，Piano算术。集合论与数学基础(1900年世界数学家大会)悖论与第三次数学危机，Hilbert计划。第3页，共34页，星期日，2025年，2月5日*简单历史——三个阶段（三）3、成熟阶段：1930s—1970年成为数学的独立分支G?del完全性定理和不完全性定理。四个分支：公理集合论：大基数，连续统问题递归论（可计算性理论）：Turing机，不可解性模型论：实数的非标准模型证明论：超穷归纳法,Gentzen的数论和谐性证明第4页，共34页，星期日，2025年，2月5日*与计算机科学的联系布尔电路：香弄Shanon是第一人。计算理论：可计算性，Turing机，形式语言，自动机，计算复杂性。程序语义与验证技术.Intelbug:5亿美元。程序的自动生成与转换。SQL:本质上等价于一阶逻辑。Prolog语言——以逻辑演算为基础LISP语言——以λ演算为基础人工智能：非单调推理，缺省推理。信息安全等……第5页，共34页，星期日，2025年，2月5日*用一组基本的指令来编制一个计算机程序，非常类似于从一组公理来构造一个数学证明。

D.E.KnuthD.E.Knuth的话第6页，共34页，星期日，2025年，2月5日*Dijkstra的话我现在年纪大了，搞了这么多年软件，错误不知犯了多少，现在觉悟了，我想，假如我早年在数理逻辑上好好下点功夫的话，我就不会犯这么多错误，不少东西逻辑学家早就说了，可我不知道要是我能年轻20岁的话我要回去学逻辑。[1]钱学森，关于思维科学的研究，思维科学，第3卷，1987。[2]M.Y.Vardi,ABriefHistoryofLogic,2003.第7页，共34页，星期日，2025年，2月5日*第1章命题逻辑命题演算或命题逻辑（Propositionalcalculusorpropositionallogic）符号化精确化第8页，共34页，星期日，2025年，2月5日*命题逻辑逻辑主要研究推理过程，而推理过程必须依靠命题来表达。在命题逻辑中，“命题”被看作最小单位。数理逻辑中最基本、最简单的部分。第9页，共34页，星期日，2025年，2月5日*第1章主要内容命题与联结词命题公式、真值表重言式、逻辑等值式对偶与范式推理理论与形式结构第10页，共34页，星期日，2025年，2月5日*什么是命题(proposition)命题：真假值唯一确定的陈述句。地球围绕太阳转。2+2=5。多冷啊！关上门吧！你去锻炼身体了吗？火星上有生命。x+1=3。这句话是假的。第11页，共34页，星期日，2025年，2月5日*更多命题(1)13不是偶数。(2)13是偶数也是奇数。(3)他一边走路一边唱歌。(4)她或许数学成绩好，或许英语成绩好。(5)开往烟台的K285次火车三点或四点出发。(6)如果你努力学习，那么就可以得奖学金。(7)只要不下雨，我就骑自行车上班。(8)只有不下雨，我才骑自行车上班。(9)两圆的面积相等当且仅当它们的半径相等。第12页，共34页，星期日，2025年，2月5日*常用的联结词(connective)与，并且，而且，也或，要么…要么…非，不如果…就…，当，只有…才…，除非…不，若…则…，当且仅当第13页，共34页，星期日，2025年，2月5日*复合命题1854年英国数学家GeorgeBoole(1815-1864)《ThelawsofThought》第14页，共34页，星期日，2025年，2月5日*什么是命题(续)原子(atomic)命题：又称简单(simple)命题：不含联结词的命题。复合(compound)命题：含联结词的命题。我痛但快乐着。如果