具体描述
图灵机是英国数学家阿兰•图灵提出的一种抽象计算模型，本书深入剖析了图灵这篇描述图灵机和可计算性的原始论文《论可计算数及其在判定性问题上的应用》。书中在详解论文的同时，也附带了大量的历史背景资料、图灵的个人经历，以及图灵机对于人们理解计算机、人类意识和宇宙所产生的影响。 本书适合所有计算机科学专业的学生、程序员或其他技术人员，同时也适合欲了解图灵生平及其构建图灵机的思维的读者阅读。
作者简介
目录信息
第一部分 基 础
第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
· · · · · · (收起)
读后感
这本书对我来说真的很难读懂。看到大段大段的各种稀奇古怪的数学符号我就发求。但是这并不妨碍我从另一个角度来重新了解了图灵、数学、计算机….去年的时候曾听过Jeff讲过的一个session:《世界及宇宙的终极答案》。我敢确定至少一半的内容都是来自这本书。 图灵在论文中描述了...
评分终于将这本书翻完了，如释重负。 之所以这么说，因为这本书至少有70%的内容是在将图灵的思想和论文，此外还有大量文字讲解数学知识，初看还能接受，但后面竟有多个章节都是讲述这些理论，实在有些专业与乏味。 这本书严格意义上不能算是图灵的传记，少的是图灵的故事，多的是...
评分其实这本书我并没有读完，因为到了第二部分，即使有了作者的解释和注释，图灵的论文也确实超出了我的能力范围之外了，把“可计算函数”一章的前半部分仔细读了三四遍之后还是读不懂之后，我不得不放弃了。但是这并不影响我仍然给这本书打五星力荐。 先说这本书，我想如果没有C...
评分这本书的可读性真的很低，趣味性也不强，除了一开始看到的图灵测试的解释以外，其他的就是基于图灵的一篇关于图灵测试的论文的解释，数学太多，不好读，反正不适合一般人读，当我失去了耐心，从头拖到尾都已经觉得是浪费时间，因为学不到什么了，前面的几十页，大量列举了一些...
评分Charles Petzold确实是一位大牛，作为windows程序员来说，《Windows程序设计》是一本经典之中的经典。不过对于我来说，熟悉大牛的深入浅出式的说明还是在《编码的奥秘》这本书（原句叫 coding，现在再版，书名叫《编码》），在那本书里面，指引着我们寻找计算机制造的基本原理...
用户评价
#纸质书# #多看# 准备再读一遍。。。果然再读一遍
评分对于我是数学再启蒙
评分对于我是数学再启蒙
评分幸亏有中文版，如果看英文版估计会疯掉。实质性部分（13-16章）几乎完全没看懂，但17-18章读完，仍然心潮澎湃……
评分我就剩最后的谓词逻辑部分了。我当时看得时候，豆瓣阅读还没有公式支持，脑补Latex的好嘛！现在都要上了……最近头疼，谓词部分算是看不完了。但是现在依然权当作看过吧。非常棒的书！很多细节我都略过了，但是我已经完完全全知道了「图灵完备」的思想和证明思路。不过我这么多年的学习经验告诉我，略懂，绝对不是懂。但是我只能到这一步了。
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美书屋 版权所有