圖靈機是英國數學傢阿蘭•圖靈提齣的一種抽象計算模型，本書深入剖析瞭圖靈這篇描述圖靈機和可計算性的原始論文《論可計算數及其在判定性問題上的應用》。書中在詳解論文的同時，也附帶瞭大量的曆史背景資料、圖靈的個人經曆，以及圖靈機對於人們理解計算機、人類意識和宇宙所産生的影響。 本書適閤所有計算機科學專業的學生、程序員或其他技術人員，同時也適閤欲瞭解圖靈生平及其構建圖靈機的思維的讀者閱讀。
具體描述
讀後感
这本书的可读性真的很低，趣味性也不强，除了一开始看到的图灵测试的解释以外，其他的就是基于图灵的一篇关于图灵测试的论文的解释，数学太多，不好读，反正不适合一般人读，当我失去了耐心，从头拖到尾都已经觉得是浪费时间，因为学不到什么了，前面的几十页，大量列举了一些...
評分中文书名叫做《图灵的秘密》，副标题叫“他的生平、思想及论文解读”，内容读来和此有些差异。书的主要内容是解读图灵1936年发表的论文“On Computable Numbers, with an Application to the Entscheidungsproblem”（“论可计算数及其在判定性问题上的应用”），在这个大主题...
評分这本书的可读性真的很低，趣味性也不强，除了一开始看到的图灵测试的解释以外，其他的就是基于图灵的一篇关于图灵测试的论文的解释，数学太多，不好读，反正不适合一般人读，当我失去了耐心，从头拖到尾都已经觉得是浪费时间，因为学不到什么了，前面的几十页，大量列举了一些...
評分介绍了图灵的数学理论，由浅入深，大学六级英语水平加高中数学知识要求。暂时只扫了一眼，看完后补上详尽的评论。
評分艾伦图灵 ：计算理论，论可计算数及其在判定性问题上的应用 oncomputable numbers，with an application to the Entscheidungsproblem 图灵写这篇论文的动机是想解决德国数学家大卫、希尔伯特构想的一个问题，希尔伯特想寻找一种通用的方法来判定数理逻辑中的任意命题是否可证...
用戶評價
我就剩最後的謂詞邏輯部分瞭。我當時看得時候，豆瓣閱讀還沒有公式支持，腦補Latex的好嘛！現在都要上瞭……最近頭疼，謂詞部分算是看不完瞭。但是現在依然權當作看過吧。非常棒的書！很多細節我都略過瞭，但是我已經完完全全知道瞭「圖靈完備」的思想和證明思路。不過我這麼多年的學習經驗告訴我，略懂，絕對不是懂。但是我隻能到這一步瞭。
评分有點天書的感覺
评分對於我是數學再啓濛
评分一階謂詞邏輯係統是完備的，但是加上算術係統後就是不完備的瞭
评分#哎喲，多看限時藉閱，但我一定要去入一本實體書！生平少，論文解讀多。可以作為【素材】，但是具體怎麼用，完全沒頭腦。非再細讀弄透徹不可！
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有