图灵的秘密 在线电子书 图书标签: 图灵 计算机 计算机科学 数学 人工智能 传记 计算理论 思维
发表于2025-04-12
图灵的秘密 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2025
论文那块读的比较费劲,还是没看太懂啊
评分学《可计算性与计算复杂性》的时候读过这本书的英文版,故事精彩,讲解清晰。
评分:TP301.6/2252
评分一阶谓词逻辑系统是完备的,但是加上算术系统后就是不完备的了
评分#纸质书# #多看# 准备再读一遍。。。果然再读一遍
图灵机是英国数学家阿兰•图灵提出的一种抽象计算模型,本书深入剖析了图灵这篇描述图灵机和可计算性的原始论文《论可计算数及其在判定性问题上的应用》。书中在详解论文的同时,也附带了大量的历史背景资料、图灵的个人经历,以及图灵机对于人们理解计算机、人类意识和宇宙所产生的影响。 本书适合所有计算机科学专业的学生、程序员或其他技术人员,同时也适合欲了解图灵生平及其构建图灵机的思维的读者阅读。
Charles Petzold确实是一位大牛,作为windows程序员来说,《Windows程序设计》是一本经典之中的经典。不过对于我来说,熟悉大牛的深入浅出式的说明还是在《编码的奥秘》这本书(原句叫 coding,现在再版,书名叫《编码》),在那本书里面,指引着我们寻找计算机制造的基本原理...
评分终于将这本书翻完了,如释重负。 之所以这么说,因为这本书至少有70%的内容是在将图灵的思想和论文,此外还有大量文字讲解数学知识,初看还能接受,但后面竟有多个章节都是讲述这些理论,实在有些专业与乏味。 这本书严格意义上不能算是图灵的传记,少的是图灵的故事,多的是...
评分之所以没有选力荐不是因为书不够好,而是这本书对于大部分人来说很难全部读懂,我算是一个数学爱好者,虽然自己数学能力已经完全处于大学以下水平了。读这本书需要很多思考,毕竟他不是传记,不是故事,而是对一个完整的知识体系的详尽分析和解读,多谢作者在前面写了大量的补...
评分这本书对我来说真的很难读懂。看到大段大段的各种稀奇古怪的数学符号我就发求。但是这并不妨碍我从另一个角度来重新了解了图灵、数学、计算机….去年的时候曾听过Jeff讲过的一个session:《世界及宇宙的终极答案》。我敢确定至少一半的内容都是来自这本书。 图灵在论文中描述了...
评分阿兰•图灵(1912—1954)是英国数学家、逻辑学家,被称为计算机科学之父、人工智能之父,是计算机逻辑的奠基者,提出了“图灵机”和“图灵测试”等重要概念。为纪念他在计算机领域的卓越贡献,美国计算机协会于1966年设立图灵奖,此奖项被誉为计算机科学界的诺贝尔奖。 ...
图灵的秘密 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2025