图灵奖:尼克劳斯·维尔特(1984)

图灵奖是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称。”图灵奖”系列将介绍历届获奖者。每周二更新,本文为第 23 期。图灵奖:尼克劳斯·维尔特(1984)

文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。

本文来自 wiki:Niklaus Wirth,翻译基于 谷歌翻译.

Niklaus Wirth

他的书 “Algorithms + Data Structures = Programs”(算法+数据结构=程序)是计算机科学的名句。

尼克劳斯·埃米尔·维尔特(德语:Niklaus Emil Wirth,1934年2月15日—)是一位瑞士计算机科学家。 他设计了包括 Pascal 在内的多种编程语言,并开创了软件工程中的多个经典主题。

他于 1984 年获得图灵奖。

Read more

贝叶斯:起步(4/4),三人成虎吗?(附代码)

概率论(英语:Probability theory)是研究概率、随机性及不确定性等现象的数学分支,而贝叶斯学派(Bayesians)又是其中有代表性的流派。每周四更新,本文为贝叶斯系列文章第 4 期,再用一个生活中的例子感受下贝叶斯公式的力量。贝叶斯:起步(4/4),三人成虎,很有意思的例子(附代码)

文章来自微信公众号“科文路”,欢迎关注、互动。转载须注明出处。

上周四,我们通过一个例子认识了贝叶斯公式的力量,

$$
P(A\mid B)={\frac {P(A)P(B\mid A)}{P(B)}}
$$

Read more

图灵奖:肯·汤普逊(1983)

图灵奖是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称。”图灵奖”系列将介绍历届获奖者。每周二更新,本文为第 22 期。图灵奖:肯·汤普逊(1983)

文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。

本文来自 wiki:Ken Thompson,翻译基于 谷歌翻译.

Ken Thompson

所有程序员都知道的 K&R

肯尼思·莱恩·汤普森(Kenneth Lane Thompson,1943 年 2 月 4 日出生)是美国计算机科学先驱,他的大部分职业生涯都在贝尔实验室工作。

他因创建 C 编程语言(名著《K&R》的K)而闻名,并与同事丹尼斯·里奇一起创建了 Unix 操作系统和 B 编程语言。

除了各种下文中赫赫有名的工作,他还有在计算机国际象棋方面的贡献,包括创建残局表库和国际象棋机器 Belle。

他于 1983 年与丹尼斯·里奇一起获得图灵奖。

Read more

贝叶斯:起步(3)

概率论(英语:Probability theory)是研究概率、随机性及不确定性等现象的数学分支,而贝叶斯学派(Bayesians)又是其中有代表性的流派。每周四更新,本文为贝叶斯系列文章第 3 期,用一个完整的例子感受下贝叶斯公式的力量。贝叶斯:起步(3)

文章来自微信公众号“科文路”,欢迎关注、互动。转载须注明出处。

上周四,我们一起品味了这个贝叶斯公式,并且给出了一些术语的解释。

$$
P(A\mid B)={\frac {P(A)P(B\mid A)}{P(B)}}
$$

Read more

图灵奖:丹尼斯·里奇(1983)

图灵奖是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称。”图灵奖”系列将介绍历届获奖者。每周二更新,本文为第 21 期。图灵奖:丹尼斯·里奇(1983)

文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。

本文来自 wiki:Dennis Ritchie,翻译基于 谷歌翻译.

Dennis Ritchie

所有程序员都知道的 K&R

丹尼斯·里奇(Dennis MacAlistair Ritchie,1941 年 9 月 9 日 – 2011 年 10 月 12 日)是一位美国计算机科学家。

他因创建 C 编程语言(名著《K&R》的R)而闻名,并与同事 Ken Thompson 一起创建了 Unix 操作系统和 B 编程语言。

他于 1983 年获得图灵奖。

Read more

贝叶斯:起步(2)

概率论(英语:Probability theory)是研究概率、随机性及不确定性等现象的数学分支,而贝叶斯学派(Bayesians)又是其中有代表性的流派。每周四更新,本文为贝叶斯系列文章第 2 期,回顾一下贝叶斯定理以及相关的术语。贝叶斯:起步(2)

文章来自微信公众号“科文路”,欢迎关注、互动。转载须注明出处。

上周四来了一波儿回忆杀,让各位再次看到了这个贝叶斯定理的公式,

$$
P(A\mid B)={\frac {P(A)P(B\mid A)}{P(B)}}
$$

Read more

图灵奖:史蒂芬·库克(1982)

图灵奖是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称。”图灵奖”系列将介绍历届获奖者。每周二更新,本文为第 20 期。图灵奖:史蒂芬·库克(1982)

文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。

本文来自 wiki:Stephen Cook,翻译基于 谷歌翻译.

Stephen Cook

P=NP?

史蒂芬·库克(生于 1939 年 12 月 14 日)是一位美籍加拿大计算机科学家和数学家,在复杂性理论(complexity theory)和证明复杂性(proof complexity)领域做出了重大贡献。他现在是多伦多大学计算机科学系和数学系的大学教授。

他于 1982 年获得图灵奖。

Read more

贝叶斯:起步(1)

概率论(英语:Probability theory)是研究概率、随机性及不确定性等现象的数学分支,而贝叶斯学派(Bayesians)又是其中有代表性的流派。本文为贝叶斯系列文章第 1 期,回顾一下贝叶斯定理。贝叶斯:起步(1)

文章来自微信公众号“科文路”,欢迎关注、互动。转载须注明出处。

差点忘了我还是个科学类文章作者了,今天开始,启动新项目——贝叶斯。来体会这个流派在当今各类技术中的独到应用。

从这篇文章开始,我将系统性的介绍跟贝叶斯沾边的理论以及应用,发布在每周四的文章中,敬请追更。

Read more

图灵奖:埃德加·弗兰克·科德(1981)

图灵奖是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称。”图灵奖”系列将介绍历届获奖者。每周二更新,本文为第 19 期。图灵奖:埃德加·弗兰克·科德(1981)

文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。

本文来自 wiki:Edgar F. Codd,翻译基于 谷歌翻译.

Edgar F. Codd

埃德加·弗兰克·科德生于 1923 年 8 月 19 日,是一位英国计算机科学家。在为 IBM 工作期间,科德发明了数据库管理的关系模型,这是关系数据库和关系数据库管理系统的理论基础。

他于 1981 年获得图灵奖。

Read more

图灵奖:托尼·霍尔(1980)

图灵奖是计算机界最负盛名的奖项,有“计算机界诺贝尔奖”之称。”图灵奖”系列将介绍历届获奖者。每周二更新,本文为第 18 期。图灵奖:托尼·霍尔(1980)

文章来自微信公众号“科文路”,欢迎关注、互动。转发须注明出处。

本文来自 wiki:Tony Hoare,翻译基于 谷歌翻译.

Tony Hoare

快排,霍尔逻辑,空指针,ALGOL,哲学家就餐!大神啊!

托尼·霍尔爵士(Sir Charles Antony Richard Hoare)生于 1934 年 1 月 11 日),是一位英国计算机科学家,对编程语言、算法、操作系统、形式验证和并发计算做出了基础性贡献。

霍尔在 1959-1960 年开发了排序算法快速排序。然后开发了霍尔逻辑,这是验证程序正确性的公理基础。在并发语义中,他引入了形式语言通信顺序过程(CSP)来指定并发过程的交互,并与 Edsger Dijkstra 一起提出了哲学家就餐问题。

他还因空指针的开发(以及后来的自我批评)而受到赞誉,并将其引入了 ALGOL 系列语言中。

自 1977 年以来,他一直在牛津大学和剑桥微软研究院任职。

他于 1980 年获得图灵奖。

Read more