文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称，”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 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
文章来自微信公众号“科文路”，欢迎关注、互动。转载须注明出处。
这两周，扮演了几场面试官。最大的感触是，应届生在基础数学知识的储备上存在很大的问题。所以我决定把我认为重要的 AI 基础知识拿出来过一下。
用英文写的（水平一般），帮助各位了解下术语。
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,
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称，”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 11 期。
本文来自 wiki: Allen_Newell，翻译基于 腾讯交互翻译.
艾伦·纽厄尔（Allen Newell，1927年3月19日-1992年7月19日），美国计算机科学和认知心理学研究员，曾就职于 RAND 公司、卡内基梅隆大学计算机科学学院、Tepper 商学院和心理学系。
他是信息处理语言（IPL）发明者之一，并作为开发者之一，使用该语言编写最早的两个 AI 程序：逻辑理论家（Logic Theorist，首个可以自动进行推理的程序）和一般问题解决器（General Problem Solver）。
1975年他和赫伯特·西蒙（Herbert A. Simon，司马贺）一起因人工智能方面的基础贡献而被授予图灵奖。
文章来自微信公众号“科文路”，欢迎关注、互动。转发须注明出处。
图灵奖是计算机界最负盛名的奖项，有“计算机界诺贝尔奖”之称，”图灵奖”系列将介绍历届获奖者。每周二更新，本文为第 10 期。
本文来自 wiki: Donald_Knuth，翻译基于 腾讯交互翻译.
如果你没听过 TAOCP，那么说明你的计算机知识水平还有很大的进步空间。
唐纳德·尔文·克努斯（中文名“高德纳”，Donald Ervin Knuth）出生于 1938 年 1 月 10 日，是美国计算机科学家、数学家，斯坦福大学名誉教授。他被称为“算法分析之父”，是 1974 年 ACM 图灵奖的获得者。
其图灵奖颁奖词为“表彰他对算法分析和编程语言设计的突出贡献，特别是他通过著作对“计算机程序设计艺术”的贡献，。”（For his major contributions to the analysis of algorithms and the design of programming languages, and in particular for his contributions to the “art of computer programming” through his well-known books in a continuous series by this title）。
文章来自微信公众号“科文路”，欢迎关注、互动。转载须注明出处。
图神经网络（GNN）是用于处理可以表示为图的数据的一类人工神经网络。本文为图神经网络系列文章第 1 期，介绍作为抽象数据类型的图，怎么去“抽象”。
相信学过数据结构或者离散数学相关课程的朋友不会陌生“图”这个概念，今天一起来复习一下。
为了消除歧义，最好熟练记下英文术语。