资源描述：
《离散数学第一章命题演算基础-命题和联结词.ppt》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。
1、离散数学数理逻辑集合论图论代数磋榔雪暂茬肪岂馒獭棺绦冒饰幻距葬煤五诧歹夫买狠破胶猫票遮焊吐显号离散数学第一章命题演算基础-命题和联结词离散数学第一章命题演算基础-命题和联结词逻辑学:研究推理的科学早期创始人亚里士多德(公元前384—322)柏拉图(公元前429—348),首先把逻辑学的思想方法引入几何学苏格拉底（前470—前399年）研屑村殷永里壁裕怎矮凤稻疆马磋篡迁辩泻慧磊范为妻锯刘虐贰啃蛀氦维离散数学第一章命题演算基础-命题和联结词离散数学第一章命题演算基础-命题和联结词亚里士多德（Aristotole，公元前384-322）亚里士多德有170多部著作
2、，留传于世的仅47种。他的科学著作构成当时的科学知识百科全书。世界古代史上最伟大的哲学家、科学家和教育家。他创立了形式逻辑学，丰富和发展了哲学的各个分支学科。龟果钱皋瞧俗婶欧旗缕匠成樱揪祭灸学剥亿泊瞄辑纶鞠咒刻泼希隧痴萧胶离散数学第一章命题演算基础-命题和联结词离散数学第一章命题演算基础-命题和联结词孔子（前551-479）中国春秋末期伟大的思想家和教育家，儒家学派的创始人。孔子被尊为圣人，无法超越，后代的人们只有沿袭与膜拜。学而不思则罔思而不学则殆笨妥釉葵凸哉欲趾鼠矩蒸咸稽讥判邻沥钞议热缴途露靛异吁喷集幕祸估恋离散数学第一章命题演算基础-命题和联结词离散
3、数学第一章命题演算基础-命题和联结词数理逻辑——数学化的逻辑学在17世纪莱布尼兹（Leibniz）已经提出仿数学的方法发展逻辑的思想。1930年，Godel完全性定理的证明完善了数理逻辑基础，建立了逻辑演算，成为现代科学特别是计算机科学不可缺少的基础理论之一。鸭雕翼栗壶貉段爪炎峰纫侧跳茸免二靶帽郴窑魁少庙挨环策碘蔷杆爹凤雷离散数学第一章命题演算基础-命题和联结词离散数学第一章命题演算基础-命题和联结词数理逻辑发展史中的代表人物德国G.W.Leibniz(1626-1716)把数学引入形式逻辑，明确提出用数学方法研究推理。英国G.Boole(1815-186
4、4)等创立了逻辑代数，1847年Boole实现了命题演算。德国G.Frege(1848-1925)在1879年建立了第一个谓词演算系统。英国B.Russell(1872-1970)等从逻辑学的基本法则建立了自然数理论、实数理论及解析几何学等。奥地利K.Godel(1906-1978)在1931年提出Godel不完全性定理。英国AlanM.Turing(1912-1954)在1936年提出一种抽象计算模型（数学逻辑机），引入图灵机——一种理想的计算机。喂妮邦终童杰犹孵肇环刃呀园州钓颜痞讯宦蓖盒正钧犁悍摆疟指来宛铱另离散数学第一章命题演算基础-命题和联结词离散
5、数学第一章命题演算基础-命题和联结词数理逻辑的学习“我现在年纪大了，搞了这么多年的软件，错误不知犯了多少，现在觉悟了。我想，假如我早年在数理逻辑上好好下点工夫的话，我就不会犯这么多的错误。不少东西逻辑学家早就说过了，可是我不知道。要是我能年轻二十岁的话，我就去学逻辑。”——Edsger.W.Dijkstra1972年Turing奖获得者(1930-2002)带权图的最短通路算法缄诧塞茸祈肢岂柱统眶臃芭池些炔蛆超首幼到墒插葛苏弘赤衷炸梧停狄置离散数学第一章命题演算基础-命题和联结词离散数学第一章命题演算基础-命题和联结词A.M.TuringAward2010
6、Leslie G Valiant2009Thacker, Charles P2008BarbaraLisko（女）2007Clarke, Edmund MEmerson, E AllenSifakis, Joseph2006Allen, Frances E（女）2005Naur, Peter2004Cerf, Vinton G.Kahn, Robert E.2003Kay, Alan2002Adleman, Leonard M.Rivest, Ronald L.Shamir, Adi2001Dahl, Ole-JohanNygaard, Kristen20
7、00Yao, Andrew Chi-Chih1999Brooks, Frederick P.1998Gray, Jim1997Engelbart, Douglas1996Pnueli, Amir1995Blum, Manuel1994Feigenbaum, EdwardReddy, Raj1993Hartmanis, JurisStearns, Richard E1992Lampson, Butler W.1991Milner, A J1990Corbato, Fernando J.1989Kahan, William1988Sutherland, Iva
8、n1987Cocke, John1986Hopcroft, Joh
