概率论（英语：Probability theory）是研究概率、随机性及不确定性等现象的数学分支，而贝叶斯学派(Bayesians)又是其中有代表性的流派。本文为贝叶斯系列文章第 1 期，回顾一下贝叶斯定理。贝叶斯：起步（1）
文章来自微信公众号“科文路”，欢迎关注、互动。转载须注明出处。
差点忘了我还是个科学类文章作者了，今天开始，启动新项目——贝叶斯。来体会这个流派在当今各类技术中的独到应用。
从这篇文章开始，我将系统性的介绍跟贝叶斯沾边的理论以及应用，发布在每周四的文章中，敬请追更。
图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 19 期。图灵奖：埃德加·弗兰克·科德（1981）
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
本文来自 wiki:Edgar F. Codd，翻译基于 谷歌翻译.
埃德加·弗兰克·科德生于 1923 年 8 月 19 日，是一位英国计算机科学家。在为 IBM 工作期间，科德发明了数据库管理的关系模型，这是关系数据库和关系数据库管理系统的理论基础。
他于 1981 年获得图灵奖。
图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称。”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 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 年的图灵奖。
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称，”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 13 期。
本文来自 wiki: Michael O. Rabin，翻译基于 腾讯交互翻译.
迈克尔·奥瑟·拉宾，出生于 1931 年 9 月 1 日，是以色列数学家、计算机科学家。
1976 年他和赫伯特·西蒙（Herbert A. Simon，司马贺）一起因人工智能方面的基础贡献而被授予图灵奖。
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称，”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 12 期。
本文来自 wiki: Herbert A. Simon，翻译基于 腾讯交互翻译.
赫伯特·亚历山大·西蒙（英语：Herbert Alexander Simon，1916年6月15日-2001年2月9日），美国政治学家。他的研究以其跨学科性质而闻名，跨越了认知科学，计算机科学，公共行政，管理和政治科学等领域。他的工作影响了计算机科学、经济学和认知心理学领域。
AI基础（1）：Gradient,-Jacobian-matrix-and-Hessian-matrix
文章来自微信公众号“科文路”，欢迎关注、互动。转载须注明出处。
Gradient, Jacobian matrix and Hessian matrix
这两周，扮演了几场面试官。最大的感触是，应届生在基础数学知识的储备上存在很大的问题。所以我决定把我认为重要的 AI 基础知识拿出来过一下。
用英文写的（水平一般），帮助各位了解下术语。
1 Gradient
The gradient of $f$ is defined as the unique vector field whose dot product with any unit vector $\mathbf{v}$at each point $x$ is the directional derivative of f$f$ along $\mathbf{v}$. That is,