圖靈的秘密:他的生平、思想及論文解讀 ( 簡體 字) |
作者:[美] Charles Petzold | 類別:1. -> 程式設計 -> 綜合 |
譯者: |
出版社:人民郵電出版社 | 3dWoo書號: 34286 詢問書籍請說出此書號!【缺書】 NT售價: 345 元 |
出版日:11/1/2012 |
頁數:344 |
光碟數:0 |
|
站長推薦: |
印刷:黑白印刷 | 語系: ( 簡體 版 ) |
|
加入購物車 │加到我的最愛 (請先登入會員) |
ISBN:9787115282149 |
作者序 | 譯者序 | 前言 | 內容簡介 | 目錄 | 序 |
(簡體書上所述之下載連結耗時費功, 恕不適用在台灣, 若讀者需要請自行嘗試, 恕不保證) |
作者序: |
譯者序: |
前言: |
內容簡介:圖靈機是英國數學家阿蘭·圖靈提出的一種抽象計算模型,《圖靈的秘密:他的生平、思想及論文解讀》深入剖析了圖靈描述圖靈機和可計算性的論文《論可計算數及其在判定性問題上的應用》。書中在詳解論文的同時,附帶了大量的歷史背景資料、圖靈的個人經歷,以及圖靈機對人們理解計算機、人類意識和宇宙所產生的影響。 《圖靈的秘密:他的生平、思想及論文解讀》適合所有計算機科學專業的學生、程序員或其他技術人員,同時也適合欲了解圖靈生平以及他構建圖靈機的思維過程的讀者閱讀。
|
目錄:第一部分 基礎 第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
|
序: |