圖靈的秘密一書是關于圖靈1936年那篇開創性論文的解讀,內容很多很難,需要的背景知識包括數理邏輯,lambda演算,以及一些基本的數論。該書的作者是英國數學家、邏輯學家,被稱為計算機科學之父、人工智能之父,是計算機邏輯的奠基者阿蘭•圖靈(1912—1954)。有讀者認為這本書嚴格意義上不能算是圖靈的傳記,少的是圖靈的故事,多的是圖靈的思想。本節內容東坡小編為大家整理帶來的是一份epub格式免費完整中文版圖靈的秘密電子書,歡迎有需要的朋友進行下載查閱!
圖靈的秘密電子書目錄
目 錄
第一部分 基 礎
第1章 這個墓穴埋葬著丟番圖 2
第2章 無理數和超越數 10
第3章 幾個世紀以來的發展 28
第二部分 可計算數
第4章 圖靈的學業 48
第5章 運作的機器 69
第6章 加與乘 86
第7章 子程序 97
第8章 萬物皆數字 114
第9章 通用機 130
第10章 計算機與可計算性 150
第11章 機器與人 175
第三部分 判定性問題
第12章 邏輯與可計算性 188
第13章 可計算函數 216
第14章 主要證明 244
第15章 λ演算 266
第16章 對連續統的設想 285
第四部分 題外話
第17章 萬物皆是圖靈機? 310
第18章 長眠的丟番圖 333
參考文獻 341
圖靈的秘密內容簡介
圖靈機是英國數學家阿蘭•圖靈提出的一種抽象計算模型,本書深入剖析了圖靈這篇描述圖靈機和可計算性的原始論文《論可計算數及其在判定性問題上的應用》。書中在詳解論文的同時,也附帶了大量的歷史背景資料、圖靈的個人經歷,以及圖靈機對于人們理解計算機、人類意識和宇宙所產生的影響。 本書適合所有計算機科學專業的學生、程序員或其他技術人員,同時也適合欲了解圖靈生平及其構建圖靈機的思維的讀者閱讀。
圖靈的秘密電子書內容截圖
- PC官方版
- 安卓官方手機版
- IOS官方手機版