资源描述：
《离散数学第一章命题演算基础-命题和联结词.ppt》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。
1、离散数学数理逻辑集合论图论代数逻辑学:研究推理的科学早期创始人亚里士多德(公元前384—322)柏拉图(公元前429—348),首先把逻辑学的思想方法引入几何学苏格拉底（前470—前399年）亚里士多德（Aristotole，公元前384-322）亚里士多德有170多部著作，留传于世的仅47种。他的科学著作构成当时的科学知识百科全书。世界古代史上最伟大的哲学家、科学家和教育家。他创立了形式逻辑学，丰富和发展了哲学的各个分支学科。孔子（前551-479）中国春秋末期伟大的思想家和教育家，儒家学派的创始人。孔子被尊为圣人，无法超越
2、，后代的人们只有沿袭与膜拜。学而不思则罔思而不学则殆数理逻辑——数学化的逻辑学在17世纪莱布尼兹（Leibniz）已经提出仿数学的方法发展逻辑的思想。1930年，Godel完全性定理的证明完善了数理逻辑基础，建立了逻辑演算，成为现代科学特别是计算机科学不可缺少的基础理论之一。数理逻辑发展史中的代表人物德国G.W.Leibniz(1626-1716)把数学引入形式逻辑，明确提出用数学方法研究推理。英国G.Boole(1815-1864)等创立了逻辑代数，1847年Boole实现了命题演算。德国G.Frege(1848-1925)
3、在1879年建立了第一个谓词演算系统。英国B.Russell(1872-1970)等从逻辑学的基本法则建立了自然数理论、实数理论及解析几何学等。奥地利K.Godel(1906-1978)在1931年提出Godel不完全性定理。英国AlanM.Turing(1912-1954)在1936年提出一种抽象计算模型（数学逻辑机），引入图灵机——一种理想的计算机。数理逻辑的学习“我现在年纪大了，搞了这么多年的软件，错误不知犯了多少，现在觉悟了。我想，假如我早年在数理逻辑上好好下点工夫的话，我就不会犯这么多的错误。不少东西逻辑学家早就说过
4、了，可是我不知道。要是我能年轻二十岁的话，我就去学逻辑。”——Edsger.W.Dijkstra1972年Turing奖获得者(1930-2002)带权图的最短通路算法A.M.TuringAward2010Leslie G Valiant2009Thacker, Charles P2008BarbaraLisko（女）2007Clarke, Edmund MEmerson, E AllenSifakis, Joseph2006Allen, Frances E（女）2005Naur, Peter2004Cerf, Vinton
5、G.Kahn, Robert E.2003Kay, Alan2002Adleman, Leonard M.Rivest, Ronald L.Shamir, Adi2001Dahl, Ole-JohanNygaard, Kristen2000Yao, Andrew Chi-Chih1999Brooks, Frederick P.1998Gray, Jim1997Engelbart, Douglas1996Pnueli, Amir1995Blum, Manuel1994Feigenbaum, EdwardReddy, Raj199
6、3Hartmanis, JurisStearns, Richard E1992Lampson, Butler W.1991Milner, A J1990Corbato, Fernando J.1989Kahan, William1988Sutherland, Ivan1987Cocke, John1986Hopcroft, John ETarjan, Robert E1985Karp, Richard M.1984Wirth, Niklaus E1983Ritchie, Dennis M.Thompson, K。Lane198
7、2Cook, Stephen A.1981Codd, Edgar F.1980Hoare, C.Antony R.1979Iverson, Kenneth E.1978Floyd, Robert W1977Backus, John1976Rabin, Michael O.Scott, Dana S1975Newell, AllenSimon, Herbert A.1974Knuth, Donald E.1973Bachman, Charles W.1972Dijkstra, E. W.1971McCarthy, John197
8、0Wilkinson, J. H.1969Minsky, Marvin1968Hamming, Richard1967Wilkes, Maurice V1966Perlis, A. J.姚期智DijkstraLeslieValiant,HarvardUniversityVal
