部分图灵奖得主学习教案.pptx

会计学
1
部分(bù fen)图灵奖得主
第一页，共53页。
1972年图灵奖得主(dé zhǔ)E. W. Dijkstra
第2页/共53页
第二页，共53页。
05 十一月 2021
3
1972年图灵奖得主(dé zhǔ)E. W. Dijkstra
E. W. Dijkstra（艾兹格·迪科斯彻 ）
荷兰(hé lán)计算机科学家
1930年5月11日生于荷兰(hé lán)鹿特丹，2002年 8月6日去世
1972年获图灵奖
For fundamental contributions to programming as a high, intellectual challenge; for eloquent insistence and practical demonstration that programs should be composed 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（分布计算）最具影响力论文奖
第3页/共53页
第三页，共53页。
05 十一月 2021
4
E. W. Dijkstra(续)
. McIlroy：
. Dijkstra大力传播的词汇——显示、死锁、信号量、较少goto语句的程序设计、结构化程序设计。但是，他对程序设计的影响远比这些更加深远。
Dijkstra风格
把程序设计视为高级的、智能挑战
坚持主张并实践示范程序应当(yīngdāng)正确地编写，而不仅仅是通过调试保证正确性
Dijkstra的贡献
最短路径算法，简称Dijkstra算法
已经成为图论的经典算法之一
几乎所有的离散数学教材都讲述该算法
第4页/共53页
第四页，共53页。
05 十一月 2021
5
E. W. Dijkstra(续)
Dijkstra的贡献（续）
结构化程序设计的创导者
1968 年在ACM通讯(Communications of the ACM )发表著名论文“Go-to语句是有害的”(Go To Statement Considered Harmful)
这是写给ACM通讯的一封信，文章的题目是ACM通讯的时任编辑Niklaus Wirth（1984年图灵奖得主）起的
这篇文章是程序设计历史上最具影响力的论文之一
引发了一场争论
争论超越(chāoyuè)了go to语句本身
导致了结构化程序设计的确立
对其后的程序设计语言的设计具有重要影响
第5页/共53页
第五页，共53页。
05 十一月 2021
6
E. W. Dijkstra(续)
Dijkstra的贡献（续）
操作系统的同步与资源分配问题
提出(tí chū)信号量和P、V操作
成功地解决了操作系统中的进程同步与互斥问题
当代操作系统教材都用许多篇幅讨论
解决了五个哲学家就餐问题
经典的同步问题
提出(tí chū)银行家算法
解决操作系统资源分配并防止死锁
这些问题我们将在操作系统课程中学习
第6页/共53页
第六页，共53页。
05 十一月 2021
7
E. W. Dijkstra(续)
Dijkstra的贡献（续）
ALGOL 60的第一个编译程序
Dijkstra是ALGOL 60第一个编译程序设计(shèjì)和实现小组成员
他与Jaap Zonneveld约定不完成任务不刮胡须
1965-1966年领导开发了多道程序设计(shèjì)操作系统THE（Technische Hogeschool Eindhoven，荷兰艾恩德霍芬科技大学）
系统于1968年发布
Dijkstra发表了他的关于协同顺序进程的两篇重要论文
20世纪70年代之后，Dijkstra的主要兴趣是程序验证
他不主张程序完成之后再证明其正确性
他主张程序证明与编程同时进行
基本上是数学变换的方法
第7页/共53页
第七页，共53页。
1974年图灵奖得主(dé zhǔ)Donald E. Knuth
第8页/共53页
第八页，共53页。
05 十一月 2021
9
1974年图灵奖得主(dé zhǔ)：Donald E. Knu