[离散数学第一章命题演算基础-命题和联结词.pptVIP

离散数学 数理逻辑 集合论 图论 代数 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 逻辑学:研究推理的科学 早期创始人 亚里士多德(公元前384—322) 柏拉图(公元前429—348), 首先把逻辑学的思想方法引入几何学 苏格拉底（前470—前399年） Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 亚里士多德（Aristotole，公元前384-322） 亚里士多德有170多部著作，留传于世的仅47种。他的科学著作构成当时的科学知识百科全书。 世界古代史上最伟大的哲学家、科学家和教育家。他创立了形式逻辑学，丰富和发展了哲学的各个分支学科。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 孔子（前551-479） 中国春秋末期伟大的思想家和教育家，儒家学派的创始人。 孔子被尊为圣人，无法超越，后代的人们只有沿袭与膜拜。 学而不思则罔 思而不学则殆 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 数理逻辑——数学化的逻辑学 在17世纪莱布尼兹（Leibniz）已经提出仿数学的方法发展逻辑的思想。 1930年，Godel完全性定理的证明完善了数理逻辑基础，建立了逻辑演算，成为现代科学特别是计算机科学不可缺少的基础理论之一。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 数理逻辑发展史中的代表人物 德国G.W. Leibniz (1626-1716)把数学引入形式逻辑，明确提出用数学方法研究推理。 英国G. Boole (1815-1864)等创立了逻辑代数，1847年Boole实现了命题演算。 德国G. Frege (1848-1925)在1879年建立了第一个谓词演算系统。 英国B. Russell (1872-1970)等从逻辑学的基本法则建立了自然数理论、实数理论及解析几何学等。 奥地利K. Godel (1906-1978)在1931年提出Godel不完全性定理。 英国Alan M. Turing (1912-1954)在1936年提出一种抽象计算模型（数学逻辑机），引入图灵机——一种理想的计算机。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 数理逻辑的学习 “我现在年纪大了，搞了这么多年的软件，错误不知犯了多少，现在觉悟了。我想，假如我早年在数理逻辑上好好下点工夫的话，我就不会犯这么多的错误。不少东西逻辑学家早就说过了，可是我不知道。要是我能年轻二十岁的话，我就去学逻辑。” —— Edsger. W. Dijkstra 1972年Turing奖获得者 (1930-2002) 带权图的最短通路算法 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. A. M. Turing Award 2010 Leslie G Valiant 2009 Thacker, Charles P 2008 Barbara Lisko（女） 2007 Clarke, Edmund M  Emerson, E Allen  Sifakis, Joseph2006 Allen, Frances E（女）