具體描述
圖靈機是英國數學傢阿蘭•圖靈提齣的一種抽象計算模型，本書深入剖析瞭圖靈這篇描述圖靈機和可計算性的原始論文《論可計算數及其在判定性問題上的應用》。書中在詳解論文的同時，也附帶瞭大量的曆史背景資料、圖靈的個人經曆，以及圖靈機對於人們理解計算機、人類意識和宇宙所産生的影響。 本書適閤所有計算機科學專業的學生、程序員或其他技術人員，同時也適閤欲瞭解圖靈生平及其構建圖靈機的思維的讀者閱讀。
著者簡介
圖書目錄
第一部分 基 礎
第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
· · · · · · (收起)
讀後感
介绍了图灵的数学理论，由浅入深，大学六级英语水平加高中数学知识要求。暂时只扫了一眼，看完后补上详尽的评论。
評分 評分Charles Petzold确实是一位大牛，作为windows程序员来说，《Windows程序设计》是一本经典之中的经典。不过对于我来说，熟悉大牛的深入浅出式的说明还是在《编码的奥秘》这本书（原句叫 coding，现在再版，书名叫《编码》），在那本书里面，指引着我们寻找计算机制造的基本原理...
評分阿兰•图灵（1912—1954）是英国数学家、逻辑学家，被称为计算机科学之父、人工智能之父，是计算机逻辑的奠基者，提出了“图灵机”和“图灵测试”等重要概念。为纪念他在计算机领域的卓越贡献，美国计算机协会于1966年设立图灵奖，此奖项被誉为计算机科学界的诺贝尔奖。 ...
評分之所以没有选力荐不是因为书不够好，而是这本书对于大部分人来说很难全部读懂，我算是一个数学爱好者，虽然自己数学能力已经完全处于大学以下水平了。读这本书需要很多思考，毕竟他不是传记，不是故事，而是对一个完整的知识体系的详尽分析和解读，多谢作者在前面写了大量的补...
用戶評價
果然看不懂。。
评分觸到瞭Turing最初的想法
评分完全論文即視感..
评分#紙質書# #多看# 準備再讀一遍。。。果然再讀一遍
评分隻看懂傳記部分瞭。⊙﹏⊙b汗
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有