部分图灵奖得主.ppt

06 十一月 2018
学科及工程认识导论范明
1
部分图灵奖得主简介
介绍几位与本科阶段学习密切相关的图灵奖得主和他们的主要贡献
1972年图灵奖得主:E. W. Dijkstra
程序设计语言的科学与艺术,结构化程序设计的创导者,P、V操作
1974年图灵奖得主:Donald E. Knuth
算法分析和编程语言的设计、程序设计,The Art puter Programming的作者
1977年图灵奖得主:John Backus
高级编程系统,程序设计语言规范的形式化定义,第一个实现的高级程序设计语言FORTRAN的设计者
1981年图灵奖得主:Edgar F. Codd
数据库系统,尤其是关系型数据库
06 十一月 2018
学科及工程认识导论范明
2
部分图灵奖得主简介(续)
1983年图灵奖得主:Ken Thompson和Dennis M. Ritchie
通用的操作系统理论,实现UNIX操作系统,C语言的发明人
1984年图灵奖得主:Niklaus Wirth
计算机语言设计,Pascal语言的设计者,Algorithms + Data Structures = Programs 的作者
2001年图灵奖得主:Ole-Johan Dahl和Kristen Nygaard
面向对象编程,面向对象设计、面向对象程序设计语言和编程的开创者,面向对象之父
2004年图灵奖得主:Vinton G. Cerf和Robert E. Kahn
计算机网络协议,包括TCP/IP协议的设计和实现者,之父
1972年图灵奖得主E. W. Dijkstra
06 十一月 2018
学科及工程认识导论范明
4
1972年图灵奖得主E. W. Dijkstra
E. W. Dijkstra(艾兹格·迪科斯彻)
荷兰计算机科学家
1930年5月11日生于荷兰鹿特丹,2002年 8月6日去世
1972年获图灵奖
For fundamental contributions to programming as a high, intellectual challenge; for eloquent insistence and practical demonstration that programs should posed correctly, not just debugged into correctness; for illuminating perception of problems at the foundations of program design.
其他奖项
1974年AFIPS Harry Goode Memorial Award
1989年ACM SIGCSE计算机科学教育教学杰出贡献奖
2002年ACM PODC(分布计算)最具影响力论文奖
06 十一月 2018
学科及工程认识导论范明
5
E. W. Dijkstra(续)
. McIlroy:
. Dijkstra大力传播的词汇——显示、死锁、信号量、较少goto语句的程序设计、结构化程序设计。但是,他对程序设计的影响远比这些更加深远。
Dijkstra风格
把程序设计视为高级的、智能挑战
坚持主张并实践示范程序应当正确地编写,而不仅仅是通过调试保证正确性
Dijkstra的贡献
最短路径算法,简称Dijkstra算法
已经成为图论的经典算法之一
几乎所有的离散数学教材都讲述该算法
06 十一月 2018
学科及工程认识导论范明
6
E. W. Dijkstra(续)
Dijkstra的贡献(续)
结构化程序设计的创导者
1968 munications of the ACM )发表著名论文“Go-to语句是有害的”(Go To Statement Considered Harmful)
这是写给ACM通讯的一封信,文章的题目是ACM通讯的时任编辑Niklaus Wirth(1984年图灵奖得主)起的
这篇文章是程序设计历史上最具影响力的论文之一
引发了一场争论
争论超越了go to语句本身
导致了结构化程序设计的确立
对其后的程序设计语言的设计具有重要影响
06 十一月 2018
学科及工程认识导论范明
7
E. W. Dijkstra(续)
Dijkstra的贡献(续)
操作系统的同步与资源分配问题
提出信号量和P、V操作
成功地解决了操作系统中的进程同步与互斥问题
当代操作系统教材都用许多篇幅讨论
解决了五个哲学家就餐问题
经典的同步问题
提出银行家算法
解决操作系统资源分配并防止死锁
这些问题我们将在操