資源描述：
《離散數(shù)學(xué)第一章命題演算基礎(chǔ)-命題和聯(lián)結(jié)詞》由會員上傳分享，免費在線閱讀，更多相關(guān)內(nèi)容在教育資源-天天文庫。
1、離散數(shù)學(xué)數(shù)理邏輯集合論圖論代數(shù)邏輯學(xué):研究推理的科學(xué)早期創(chuàng)始人亞里士多德(公元前384—322)柏拉圖(公元前429—348),首先把邏輯學(xué)的思想方法引入幾何學(xué)蘇格拉底（前470—前399年）亞里士多德（Aristotole，公元前384-322）亞里士多德有170多部著作，留傳于世的僅47種。他的科學(xué)著作構(gòu)成當時的科學(xué)知識百科全書。世界古代史上最偉大的哲學(xué)家、科學(xué)家和教育家。他創(chuàng)立了形式邏輯學(xué)，豐富和發(fā)展了哲學(xué)的各個分支學(xué)科。孔子（前551-479）中國春秋末期偉大的思想家和教育家，儒家學(xué)派的創(chuàng)始人?？鬃颖蛔馂槭ト?，無法超越，后代的人們只有沿襲與膜拜
2、。學(xué)而不思則罔思而不學(xué)則殆數(shù)理邏輯——數(shù)學(xué)化的邏輯學(xué)在17世紀萊布尼茲（Leibniz）已經(jīng)提出仿數(shù)學(xué)的方法發(fā)展邏輯的思想。1930年，Godel完全性定理的證明完善了數(shù)理邏輯基礎(chǔ)，建立了邏輯演算，成為現(xiàn)代科學(xué)特別是計算機科學(xué)不可缺少的基礎(chǔ)理論之一。數(shù)理邏輯發(fā)展史中的代表人物德國G.W.Leibniz(1626-1716)把數(shù)學(xué)引入形式邏輯，明確提出用數(shù)學(xué)方法研究推理。英國G.Boole(1815-1864)等創(chuàng)立了邏輯代數(shù)，1847年Boole實現(xiàn)了命題演算。德國G.Frege(1848-1925)在1879年建立了第一個謂詞演算系統(tǒng)。英國B.Rus
3、sell(1872-1970)等從邏輯學(xué)的基本法則建立了自然數(shù)理論、實數(shù)理論及解析幾何學(xué)等。奧地利K.Godel(1906-1978)在1931年提出Godel不完全性定理。英國AlanM.Turing(1912-1954)在1936年提出一種抽象計算模型（數(shù)學(xué)邏輯機），引入圖靈機——一種理想的計算機。數(shù)理邏輯的學(xué)習(xí)“我現(xiàn)在年紀大了，搞了這么多年的軟件，錯誤不知犯了多少，現(xiàn)在覺悟了。我想，假如我早年在數(shù)理邏輯上好好下點工夫的話，我就不會犯這么多的錯誤。不少東西邏輯學(xué)家早就說過了，可是我不知道。要是我能年輕二十歲的話，我就去學(xué)邏輯?！薄狤dsger.W
4、.Dijkstra1972年Turing獎獲得者(1930-2002)帶權(quán)圖的最短通路算法A.M.TuringAward2010Leslie?G?Valiant2009Thacker,?Charles?P2008BarbaraLisko（女）2007Clarke,?Edmund?MEmerson,?E?AllenSifakis,?Joseph2006Allen,?Frances?E（女）2005Naur,?Peter2004Cerf,?Vinton?G.Kahn,?Robert?E.2003Kay,?Alan2002Adleman,?Leonard?M
5、.Rivest,?Ronald?L.Shamir,?Adi2001Dahl,?Ole-JohanNygaard,?Kristen2000Yao,?Andrew?Chi-Chih1999Brooks,?Frederick?P.1998Gray,?Jim1997Engelbart,?Douglas1996Pnueli,?Amir1995Blum,?Manuel1994Feigenbaum,?EdwardReddy,?Raj1993Hartmanis,?JurisStearns,?Richard?E1992Lampson,?Butler?W.1991Miln
6、er,?A?J1990Corbato,?Fernando?J.1989Kahan,?William1988Sutherland,?Ivan1987Cocke,?John1986Hopcroft,?John?ETarjan,?Robert?E1985Karp,?Richard?M.1984Wirth,?Niklaus?E1983Ritchie,?Dennis?M.Thompson,?K。Lane1982Cook,?Stephen?A.1981Codd,?Edgar?F.1980Hoare,?C.Antony?R.1979Iverson,?Kenneth?
7、E.1978Floyd,?Robert?W1977Backus,?John1976Rabin,?Michael?O.Scott,?Dana?S1975Newell,?AllenSimon,?Herbert?A.1974Knuth,?Donald?E.1973Bachman,?Charles?W.1972Dijkstra,?E.?W.1971McCarthy,?John1970Wilkinson,?J.?H.1969Minsky,?Marvin1968Hamming,?Richard1967Wilkes,?Maurice?V1966Perlis,?A.?
8、J.姚期智DijkstraLeslieValiant,HarvardUniversityVal
