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