圖靈開放出版
『壹』 圖靈的主要貢獻有什麼
1、電子計算機
圖靈在第二次世界大戰中從事的密碼破譯工作涉及到電子計算機的設計和研製,但此項工作嚴格保密。直到70年代,內情才有所披露。
從一些文件來看,很可能世界上第一台電子計算機不是ENIAC,而是與圖靈有關的另一台機器,即圖靈在戰時服務的機構於1943年研製成功的CO-LOSSUS(巨人)機,這台機器的設計採用了圖靈提出的某些概念。
它用了1500個電子管,採用了光電管閱讀器;利用穿孔紙帶輸入;並採用了電子管雙穩態線路,執行計數、二進制算術及布爾代數邏輯運算,巨人機共生產了10台,用它們出色地完成了密碼破譯工作。
2、人工智慧
1949年,圖靈成為曼切斯特大學(University of Manchester )計算實驗室的副院長,致力研發運行Manchester Mark 1型號儲存程序式計算機所需的軟體。
1950年他發表論文《計算機器與智能》( Computing Machinery and Intelligence),為後來的人工智慧科學提供了開創性的構思。提出著名的「圖靈測試」,指出如果第三者無法辨別人類與人工智慧機器反應的差別, 則可以論斷該機器具備人工智慧。
3、數理生物學
從1952年直到去世,圖靈一直在數理生物學方面做研究。他在1952年發表了一篇論文《形態發生的化學基礎》(The Chemical Basis of Morphogenesis)。
他主要的興趣是斐波那契葉序列,存在於植物結構的斐波那契數。他應用了反應-擴散公式,如今已經成為圖案形成范疇的核心。他後期的論文都沒有發表,一直等到1992年《艾倫·圖靈選集》出版,這些文章才見天日。
(1)圖靈開放出版擴展閱讀:
圖靈對於人工智慧的發展有諸多貢獻,提出了一種用於判定機器是否具有智能的試驗方法,即圖靈試驗,至今,每年都有試驗的比賽。此外,圖靈提出的著名的圖靈機模型為現代計算機的邏輯工作方式奠定了基礎。
圖靈不但以破譯密碼而名聞天下,他在人工智慧和計算機等領域也作出了重要貢獻,他常被認為是現代計算機科學的創始人。
戰爭結束後,在曼徹斯特大學工作的他研製了「曼徹斯特馬克一號」———著名的現代計算機之一。1999年,他被《時代》雜志評選為20世紀100個最重要的人物之一。
『貳』 1937年,圖靈在發表的什麼論文中,首次提出圖靈機的概念
《論可計算數及其在判定問題中的應用》
『叄』 今年圖靈計劃出版哪些Python書籍
查了一下內部系統,圖靈已經出了兩本不錯的Python書,一個入門,一個參考:
Python基礎教程:http://book.douban.com/subject/4866934/
Python參考手冊(第4版) http://book.douban.com/subject/5401851/
計劃里還有這兩本原版也沒有出的:
0137075111 Python Sallowed Whole 這本書的副標題是Core Developers Defines Python
Core Python Programming新版
另外,Python該出的書也出得差不多了?大家有什麼推薦,可以留言。
『肆』 有沒有關於圖靈的,類似自傳的書籍
《艾倫·圖靈傳》是英國作家安德魯·霍奇斯編寫的,孫天齊翻譯,由湖南科學技術出版社於2012年出版的人物傳記,是一本公認的最權威的圖靈傳記。希望這個回答對你有幫助
『伍』 圖靈教育出版的「圖靈數學統計學系列」
我們上課用過圖靈的一本 金融數學導論 感覺非常難 大部分同學覺得很難理解 可能與這門課程內容本身比較難有關 因為涉及到隨機過程 泛函分析和偏微分方程 P.S(我所在的是國內數學排名前十的大學數學專業)
其他圖靈的書沒用過 翻過他的一本概率論 感覺內容沒什麼難度 就是英文看起來賊慢 英文課本的通病 寫得老厚 廢話大堆 搞到你不知道重點在哪。。。尤其不是那麼習慣看英文書的時候
我不知道你所謂的數學菜鳥是指的什麼水平 所以不好給建議 不過如果你想從微積分 線代 學起的話 那英文版教材對於你可能弊大於利 因為學習效率太低了 可能你學過一遍中文版的 知道大體框架之後再去閱讀會收獲更大
另外,據我所知,計算機圖形學與計算數學關系更大,不清楚你為什麼要看這么多概率論的書,學一本概率論和數理統計的就好了...
『陸』 圖靈被譽為計算機科學之父,他的主要貢獻有什麼
主要貢獻:
1、提出「圖靈測試」概念
「圖靈測試」指測試者與被測試者(一個人和一台機器)隔開的情況下,通過一些裝置(如鍵盤)向被測試者隨意提問。
進行多次測試後,如果有超過30%的測試者不能確定出被測試者是人還是機器,那麼這台機器就通過了測試,並被認為具有人類智能。
圖靈測試一詞來源於計算機科學和密碼學的先驅艾倫·麥席森·圖靈寫於1950年的一篇論文《計算機器與智能》,其中30%是圖靈對2000年時的機器思考能力的一個預測,目前我們已遠遠落後於這個預測。
圖靈預言,在20世紀末,一定會有電腦通過「圖靈測試」。2014年6月7日在英國皇家學會舉行的「2014圖靈測試」大會上,舉辦方英國雷丁大學發布新聞稿。
宣稱俄羅斯人弗拉基米爾·維西羅夫(Vladimir Veselov)創立的人工智慧軟體尤金·古斯特曼(Eugene Goostman)通過了圖靈測試。
雖然「尤金」軟體還遠不能「思考」,但也是人工智慧乃至於計算機史上的一個標志性事件。
2、圖靈機
圖靈機是由圖靈在1936年提出的,它是一種精確的通用計算機模型,能模擬實際計算機的所有計算行為。
所謂的圖靈機就是指一個抽象的機器,它有一條無限長的紙帶,紙帶分成了一個一個的小方格,每個方格有不同的顏色。有一個機器頭在紙帶上移來移去。
機器頭有一組內部狀態,還有一些固定的程序。在每個時刻,機器頭都要從當前紙帶上讀入一個方格信息,然後結合自己的內部狀態查找程序表,根據程序輸出信息到紙帶方格上,並轉換自己的內部狀態,然後進行移動。
3、人工智慧
1949年,圖靈成為曼切斯特大學(University of Manchester )計算實驗室的副院長,致力研發運行Manchester Mark 1型號儲存程序式計算機所需的軟體。
1956年圖靈的這篇文章以「機器能夠思維嗎?」為題重新發表,此時,人工智慧也進入了實踐研製階段。圖靈的機器智能思想無疑是人工智慧的直接起源之一。
而且隨著人工智慧領域的深入研究,人們越來越認識到圖靈思想的深刻性:它們如今仍然是人工智慧的主要思想之一。
4、樹立生物學
從1952年直到去世,圖靈一直在數理生物學方面做研究。他在1952年發表了一篇論文《形態發生的化學基礎》(The Chemical Basis of Morphogenesis)。
他主要的興趣是斐波那契葉序列,存在於植物結構的斐波那契數。他應用了反應-擴散公式,如今已經成為圖案形成范疇的核心。他後期的論文都沒有發表,一直等到1992年《艾倫·圖靈選集》出版,這些文章才見天日。
5、判定問題
1937年,圖靈用他的方法解決了著名的希爾伯特判定問題:狹謂詞演算(亦稱一階邏輯)公式的可滿足性的判定問題。
他用一階邏輯中的公式對圖靈機進行編碼,再由圖靈機停機問題的不可判定性推出一階邏輯的不可判定性。他在此處創用的「編碼法」成為後來人們證明一階邏輯的公式類的不可判定性的主要方法之一。
在判定問題上,圖靈的另一成果是1939年提出的帶有外部信息源的圖靈機概念,並由此導出「圖靈可歸約」及相對遞歸的概念。
運用歸約和相對遞歸的概念,可對不可判定性與非遞歸性的程度加以比較。在此基礎上,E.波斯特(Post)提出了不可解度這一重要概念,這方面的工作後來有重大的進展。
參考資料來源:網路——艾倫·麥席森·圖靈
『柒』 如何評價圖靈圖書即將出版的書
圖靈系列的書都是很經典的,知識面很齊全,很到位的,不過唯一有不足的就是翻譯成漢語不到位,最好看原文的。
『捌』 到哪能找到圖靈發表過的論文
『玖』 為什麼人民郵電出版社的圖靈數學·統計學叢書中許多書都絕版了
王見定教授挑戰」統計學突破獎「
(四 )申報「統計突破獎」的理由
統計學在一切學科中(以社會科學與自然科學一級學科為單位)是地位最高的學科。它的地位的崇高在扵:它是現今世界幾乎所有前沿科學進行研究的唯一手段(所謂瞎子摸大象方法),也是西方文明幾百年的台柱子。
而統計學現存的兩大體系社會統計學與數理統計學的爭論至少有100多年的歷史。早期學者認為社會統計學是研究社會科學的,數理統計學是研究自然科學的;中期學者認為社會統計學適合作定性分析,數理統計學則適合作定量分析;近些年來,以美國為代表的發達國家的學者,由於誇大了數理統計的定量分析,誤認為數理統計學可以代替社會統計學。但是這些觀點自始至終未能對兩者作出科學的解釋,一切處在矛盾中,斗爭中、、、、
王見定教授經過30多年的學習和研究,發現了能准確界定社會統計學、數理統計學的方法,並發現了兩者的聯系和區別以及在一定條件下可以相互轉化的關系,完美地解決了這一長期存在於統計學界的最大問題。「社會統計學與數理統計學的統一理論」將對其它科學的發展起到不可估量的作用。