概率论（英语：Probability theory）是研究概率、随机性及不确定性等现象的数学分支，而贝叶斯学派(Bayesians)又是其中有代表性的流派。每周四更新，本文为贝叶斯系列文章第 2 期，回顾一下贝叶斯定理以及相关的术语。贝叶斯：起步（2）
文章来自微信公众号“科文路”，欢迎关注、互动。转载须注明出处。
上周四来了一波儿回忆杀，让各位再次看到了这个贝叶斯定理的公式，
$$
P(A\mid B)={\frac {P(A)P(B\mid A)}{P(B)}}
$$
图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 20 期。图灵奖：史蒂芬·库克（1982）
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
本文来自 wiki:Stephen Cook，翻译基于 谷歌翻译.
P=NP？
史蒂芬·库克（生于 1939 年 12 月 14 日）是一位美籍加拿大计算机科学家和数学家，在复杂性理论（complexity theory）和证明复杂性（proof complexity）领域做出了重大贡献。他现在是多伦多大学计算机科学系和数学系的大学教授。
他于 1982 年获得图灵奖。
概率论（英语：Probability theory）是研究概率、随机性及不确定性等现象的数学分支，而贝叶斯学派(Bayesians)又是其中有代表性的流派。本文为贝叶斯系列文章第 1 期，回顾一下贝叶斯定理。贝叶斯：起步（1）
文章来自微信公众号“科文路”，欢迎关注、互动。转载须注明出处。
差点忘了我还是个科学类文章作者了，今天开始，启动新项目——贝叶斯。来体会这个流派在当今各类技术中的独到应用。
从这篇文章开始，我将系统性的介绍跟贝叶斯沾边的理论以及应用，发布在每周四的文章中，敬请追更。
图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 19 期。图灵奖：埃德加·弗兰克·科德（1981）
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
本文来自 wiki:Edgar F. Codd，翻译基于 谷歌翻译.
埃德加·弗兰克·科德生于 1923 年 8 月 19 日，是一位英国计算机科学家。在为 IBM 工作期间，科德发明了数据库管理的关系模型，这是关系数据库和关系数据库管理系统的理论基础。
他于 1981 年获得图灵奖。
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
VIM 和 EMACS 是 Linux 下的两大著名文本编辑器，是每一个 Linux 系统上工作的人都会接触的程序。
图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 18 期。图灵奖：托尼·霍尔（1980）
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
本文来自 wiki:Tony Hoare，翻译基于 谷歌翻译.
快排，霍尔逻辑，空指针，ALGOL，哲学家就餐！大神啊！
托尼·霍尔爵士（Sir Charles Antony Richard Hoare）生于 1934 年 1 月 11 日），是一位英国计算机科学家，对编程语言、算法、操作系统、形式验证和并发计算做出了基础性贡献。
霍尔在 1959-1960 年开发了排序算法快速排序。然后开发了霍尔逻辑，这是验证程序正确性的公理基础。在并发语义中，他引入了形式语言通信顺序过程（CSP）来指定并发过程的交互，并与 Edsger Dijkstra 一起提出了哲学家就餐问题。
他还因空指针的开发（以及后来的自我批评）而受到赞誉，并将其引入了 ALGOL 系列语言中。
自 1977 年以来，他一直在牛津大学和剑桥微软研究院任职。
他于 1980 年获得图灵奖。
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称，”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 17 期。图灵奖：肯尼斯·艾佛森（1979）
本文来自 wiki:Kenneth E. Iverson，翻译基于 谷歌翻译.
肯尼思·尤金·艾弗森（Kenneth Eugene Iverson，1920 年 12 月 17 日—— 2004 年 10 月 19 日），加拿大计算机科学家，因开发编程语言 APL 而闻名。
他于 1979 年获得图灵奖。
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称，”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 16 期。图灵奖：罗伯特·弗洛伊德（1978）
本文来自 wiki:Robert W. Floyd，翻译基于 谷歌翻译.
知识点：图最短路径算法——弗洛伊德算法
罗伯特·W·弗洛伊德（1936 年 6 月 8 日 - 2001 年 9 月 25 日），美国计算机科学家。他设计了 Floyd-Warshall 算法，该算法可以有效地找到图中的所有最短路径。他在一篇论文中介绍了渲染图像的误差扩散的重要概念，也称为 Floyd–Steinberg 抖动（尽管他区分了抖动和扩散）。他在 1967 年发表的论文《Assigning Meanings to Programs》中开创了使用逻辑断言进行程序验证的领域，这是对后来的 Hoare 逻辑的贡献。
他于 1978 年获得图灵奖。
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称，”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 15 期。图灵奖：约翰·巴克斯（1977）
本文来自 wiki:John Backus，翻译基于 腾讯交互翻译.
约翰·华纳·巴克斯（英语：John Warner Backus，1924 年 12 月 3 日-2007 年 3 月 17 日），美国计算机科学家。他领导的团队发明并实现了 FORTRAN，这是第一种广泛使用的高级编程语言。他也是巴科斯范式（BNF）的提出者，这是一种广泛使用的、用来定义形式语言语法的记号法。
他于 1977 年获得图灵奖。
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称，”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 14 期。
本文来自 wiki:Dana Scott，翻译基于 腾讯交互翻译.
达纳·斯图尔特·斯科特（英语：Dana Stewart Scott，1932 年 10 月 11 日-），美国逻辑学家，现为卡内基梅隆大学希尔曼大学计算机科学、哲学和数理逻辑名誉教授。
他在 20 世纪 70 年代与 Christopher Strachey 的合作奠定了现代编程语言语义方法的基础。同时，他还从事模态逻辑，拓扑学和范畴理论的研究。
因在自动机理论方面的工作，斯科特获得了 1976 年的图灵奖。