部分图灵奖得主.pptx

2020年2月9日星期日学科及工程认识导论范明1部分图灵奖得主简介介绍几位与本科阶段学习密切相关的图灵奖得主和他们的主要贡献1972年图灵奖得主:E. W. Dijkstra程序设计语言的科学与艺术,结构化程序设计的创导者,P、V操作1974年图灵奖得主:、程序设计,puterProgramming的作者1977年图灵奖得主:JohnBackus高级编程系统,程序设计语言规范的形式化定义,第一个实现的高级程序设计语言FORTRAN的设计者1981年图灵奖得主:,尤其是关系型数据库2020年2月9日星期日学科及工程认识导论范明2部分图灵奖得主简介(续)1983年图灵奖得主:,实现UNIX操作系统,C语言的发明人1984年图灵奖得主:NiklausWirth计算机语言设计,Pascal语言的设计者,Algorithms+DataStructures=Programs的作者2001年图灵奖得主:Ole-JohanDahl和KristenNygaard面向对象编程,面向对象设计、面向对象程序设计语言和编程的开创者,面向对象之父2004年图灵奖得主:,包括TCP/IP协议的设计和实现者,之父1972年图灵奖得主E. W. Dijkstra2020年2月9日星期日学科及工程认识导论范明41972年图灵奖得主E. W. DijkstraE. W. Dijkstra(艾兹格·迪科斯彻)荷兰计算机科学家1930年5月11日生于荷兰鹿特丹,2002年8月6日去世1972年获图灵奖Forfundamentalcontributionstoprogrammingasahigh,intellectualchallenge;posedcorrectly,notjustdebuggedintocorrectness;(分布计算)最具影响力论文奖2020年2月9日星期日学科及工程认识导论范明5E. W. Dijkstra(续):——显示、死锁、信号量、较少goto语句的程序设计、结构化程序设计。但是,他对程序设计的影响远比这些更加深远。Dijkstra风格把程序设计视为高级的、智能挑战坚持主张并实践示范程序应当正确地编写,而不仅仅是通过调试保证正确性Dijkstra的贡献最短路径算法,简称Dijkstra算法已经成为图论的经典算法之一几乎所有的离散数学教材都讲述该算法2020年2月9日星期日学科及工程认识导论范明6E. W. Dijkstra(续)Dijkstra的贡献(续)municationsoftheACM)发表著名论文“Go-to语句是有害的”(GoToStatementConsideredHarmful)这是写给ACM通讯的一封信,文章的题目是ACM通讯的时任编辑NiklausWirth(1984年图灵奖得主)起的这篇文章是程序设计历史上最具影响力的论文之一引发了一场争论争论超越了goto语句本身导致了结构化程序设计的确立对其后的程序设计语言的设计具有重要影响2020年2月9日星期日学科及工程认识导论范明7E. W. Dijkstra(续)Dijkstra的贡献(续)操作系统的同步与资源分配问题提出信号量和P、V操作成功地解决了操作系统中的进程同步与互斥问题当代操作系统教材都用许多篇幅讨论解决了五个哲学家就餐问题经典的同步问题提出银行家算法解决操作系统资源分配并防止死锁这些问题我们将在操作系统课程中学习2020年2月9日星期日学科及工程认识导论范明8E. W. Dijkstra(续)Dijkstra的贡献(续)ALGOL60的第一个编译程序Dijkstra是ALGOL60第一个编译程序设计和实现小组成员他与JaapZonneveld约定不完成任务不刮胡须1965-1966年领导开发了多道程序设计操作系统THE(TechnischeHogeschoolEindhoven,荷兰艾恩德霍芬科技大学)系统于1968年发布Dijkstra发表了他的关于协同顺序进程的两篇重要论文20世纪70年代之后,Dijkstra的主要兴趣是程序验证他不主