图灵奖得主都写过哪些书？
导读：6月23日，是计算机科学之父阿兰·图灵（Alan Mathison Turing）110周年诞辰纪念日。
阿兰·图灵（1912—1954），19岁进入剑桥大学，26岁在普林斯顿大学获得博士学位。二战中，他帮助盟军成功破解了著名的密码系统Enigma，挽救了千万人的生命。1954年，饱受迫害的图灵吃下了含有氰化物的毒苹果自杀。2013年，英国女王伊丽莎白二世宣告特赦图灵。
为了纪念图灵对计算机科学的巨大贡献，由美国计算机协会（ACM）于1966年设立一年一度的图灵奖，以表彰在计算机科学中做出突出贡献的人，图灵奖被喻为“计算机界的诺贝尔奖”。
下文首先介绍一本由20位科学家合著解读图灵思想的著作，然后盘点了10本不同时期图灵奖得主的著作。
世人知晓图灵，因为他是“计算机科学之父”和“人工智能之父”，但我们理解那些遥遥领先于时代的天才思想到底意味着什么吗？今天推荐的第一本书，将带你跟随20位当代科学巨擘一起解开这些密码。
永恒的图灵
20位科学家对图灵思想的解构与超越
作者：[英]S. 巴里·库珀（S. Barry Cooper）
安德鲁·霍奇斯（Andrew Hodges） 等
译者：堵丁柱 高晓沨 等
推荐语：图灵诞辰百年至今，伟大思想的光芒恒久闪耀。本书云集20位不同方向的顶尖科学家，共同探讨图灵计算思想的滥觞，特别是其对未来的重要影响。这些内容不仅涵盖我们熟知的计算机科学和人工智能领域，还涉及理论生物学等并非广为人知的图灵研究领域，最终形成各具学术锋芒的15章。如果你想追上甚至超越这位谜一般的天才，欢迎阅读本书，重温历史，开启未来。
图灵奖
后世的纪念
为了纪念图灵对计算机科学的巨大贡献，由美国计算机协会（ACM）于1966年设立一年一度的图灵奖，以表彰在计算机科学中做出突出贡献的人，图灵奖被喻为“计算机界的诺贝尔奖”。
历年来图灵奖获得者都著有哪些经典著作呢？
2020年图灵奖得主Aho和Ullman作品
1
编译原理
（原书第2版）
作者：Alfred V. Aho, Monica S. Lam,
Ravi Sethi, Jeffrey D. Ullman
推荐语：2020年图灵奖得主Alfred Aho 和 Jeffrey Ullman作品。本书是编译领域无可替代的经典著作，被广大计算机专业人士誉为“龙书”的最新版本。
自本书上出版以来，被世界各地的著名高等院校和研究机构（包括美国哥伦比亚大学、斯坦福大学、哈佛大学、普林斯顿大学、贝尔实验室）作为本科生和研究生的编译原理课程的教材。该书对我国计算机教育领域也具有重大影响。
2017年图灵奖得主Patterson与Hennessy作品
2
计算机组成与设计：硬件/软件接口
（原书第5版）
作者：戴维·A. 帕特森 约翰·L. 亨尼斯
推荐语：2017年图灵奖得主Patterson与Hennessy作品。本书是计算机组成与设计的经典畅销教材，第5版经过全面更新，关注后PC时代发生在计算机体系结构领域的革命性变革——从单核处理器到多核微处理器，从串行到并行。本书特别关注移动计算和云计算，通过平板电脑、云体系结构以及ARM（移动计算设备）和x86（云计算）体系结构来探索和揭示这场技术变革。
3
计算机组成与设计：硬件/软件接口
（原书第5版·ARM版）
作者：戴维·A. 帕特森 约翰·L. 亨尼斯
推荐语：移动互联时代见证了ARM的风光无限，本书随之全面切换至ARMv8（64位），并精选其核心指令子集进行讲解，即使读者没有阅读网络上动辄上千页资料的经验，也能够通过本书很好地理解ARMv8。
4
计算机组成与设计：硬件/软件接口
（原书第5版·RISC-V版）
作者：戴维·A. 帕特森 约翰·L. 亨尼斯
推荐语：计算机体系结构新黄金时代必读之作，理解专用软硬件协同设计，共建开源生态。
紧跟后PC时代的发展浪潮，关注并行技术，新内容涵盖平板电脑、云基础设施、ARM（移动计算设备）以及x86（云计算）体系结构，新实例包括Intel Core i7、ARM Cortex-A53以及NVIDIA Fermi GPU。
全面切换至RISC-V（64位），精选并讲解其核心指令，同时结合“硬件/软件接口”和“详细阐述”等模块，为不同基础和侧重的读者铺设了深入研究的路径。
2013年图灵奖得主Leslie Lamport作品
5
用TLA+定义系统
TLA+语言与工具在软硬件设计中的应用
作者：莱斯利·兰伯特（Leslie Lamport）
推荐语：2013年图灵奖得主、TLA+开发者Leslie Lamport亲笔撰写，揭开并发和分布式计算的神秘面纱，系统架构形式化验证必备参考书。
2011年图灵奖得主Judea Pearl作品
6
因果论：模型、推理和推断（原书第2版）
作者：[美] 朱迪亚·珀尔（Judea Pearl）
推荐语：
图灵奖获得者、贝叶斯网络奠基人、美国国家科学院院士、结构因果图的创始人朱迪亚•珀尔因果论代表作！
从“大数据时代和机器学习热潮”到“第二次因果革命”，第二次因果革命即将到来？因果推断会是下一个AI热潮吗？一场席卷各个研究领域的“因果革命”正在发生，涉及领域：统计学、基因学、社会科学、经济学、人口学、医疗健康科学、心理学、计算机科学、人工智能科学……
2002年图灵奖得主Ronald Rivest作品
7
算法导论
（原书第3版）
作者：Thomas Cormen, Charles E.Leiserson,
Ronald L.Rivest, Clifford Stein
推荐语：麻省理工学院、卡内基梅隆大学、斯坦福大学、加州大学伯克利分校、康奈尔大学、伊利诺伊大学厄巴纳-香槟分校等国内外千余所高校采用教材！
在有关算法的书中，有一些叙述非常严谨，但不够全面，另一些涉及了大量的题材，但又缺乏严谨性。本书将严谨性和全面性融为一体。
影响全球千万程序员的“算法圣经”！MIT四大名师联手铸就，将严谨性和全面性融为一体深入讨论各类算法。
1999年度图灵奖得主Frederick Brooks作品
8
设计原本
计算机科学巨匠Frederick P.Brooks的反思
（经典珍藏）
作者：Frederick P. Brooks, Jr.
推荐语：1999年度图灵奖得主、《人月神话》作者Brooks经典著作，揭秘软件设计神话！是程序员、项目经理和架构师必读的一本书！
如果说《人月神话》结束了软件工业的神话时代，粉碎了“银弹”的幻想，从此人类进入了理性统治一切的工程时代，那么《设计原本》则再次唤醒了人类心中沉睡多年的激情，引导整个业界突破理性主义的无形牢笼，鼓励以充满大胆创新为本的设计作为软件工程核心动力的全新思维。
可以说，不读《人月神话》，则会在幻想中迷失；而不读《设计原本》，则必将在复杂低效的流程中落伍！《设计原本》开启了软件工程全新的“后理性时代”，完成了从破到立的圆满循环，具有划时代的重大里程碑意义，是每位从事软件行业的程序员、项目经理和架构师都应该反复研读的经典著作。
1983年图灵奖得主Dennis Ritchie作品
9
C程序设计语言
（第2版·新版）典藏版
作者：Brian W. Kernighan, Dennis M.Ritchie
推荐语：1983年度图灵奖得主、C语言之父Dennis M. Ritchie之作。介绍C语言的权威经典著作。我们现在见到的大量论述C语言程序设计的图书均以此书为蓝本。人们熟知的“hello，world”程序就是由本书首次引入的。
1969年图灵奖得主Marvin Minsky作品
10
心智社会
从细胞到人工智能，人类思维的优雅解读
作者：马文·明斯基（Marvin Minsky）
推荐语：1969年度“图灵奖得主、人工智能之父Marvin Minsky对科学和人性的浪漫主义解读。
一本引领时代的著作，影响了凯文·凯利，艾萨克·阿西莫夫，侯世达和雷·库兹韦尔。豆瓣评分8.9分的大师经典。
长按下方二维码
发现更多图灵奖好书
更多精彩回顾
资讯 |《Java核心技术》基于Java 17全面升级！
干货 |再见了Java8，Java17：我要取代你
资讯 | Java核心技术大会2022 · 重磅发布
书单 |今天，Java27岁了！
书讯 |6月书讯（上）| 浅夏读新书，与世间万物一起成长
书讯 |6月书讯（下）| 人机物三元融合，开启新世界大门
