《ACM图灵奖演讲集 前20年 1966-1985》PDF下载

  • 购买积分:14 如何计算积分?
  • 作  者:(美)Robert L.Ashenhurst,(美)Susan Graham著;苏运霖等译
  • 出 版 社:北京:电子工业出版社
  • 出版年份:2005
  • ISBN:7121010283
  • 页数:417 页
图书介绍:本文收录了自图灵奖开始颁发的1966年起到1985年这20年间图灵奖获得者在授奖大会上所做演讲的全文。由于在此期间有三次是把奖项同时授予两个人的,而其中有两次两位获奖者分别做了演讲,因此一共收录了22篇演讲稿。本书把这些演讲分为两大部分,第一部分为程序设计语言和系统,第二部分为计算机和计算方法学。虽然如此,由于这些计算机科学家所从事领域的不同,因此演讲的内容也十分不同。然而每个演讲都极为精彩生动,见解精辟,讲述透彻,又不乏幽默与轻松的逗笑,因而妙趣横生,充满真知灼见和深思熟虑,时间愈久,愈凸显其真理光辉,因此堪称计算机科学的经典文献。译者序中还介绍了鲜为人知的译者本人与若干图灵奖获得者的交流细节。

第一部分导论 程序设计语言及系统 1

算法系统的综合 阿兰·J·珀利斯 1966 4

谦恭的程序员 埃德斯盖尔·W·狄伊克斯特拉 1972 14

作为一门艺术的计算机程序设计 唐纳德·E·克努特 1974 27

逻辑与程序设计语言 达纳·S·斯科特 1976 39

程序设计能从冯·诺依曼风格中解放出来吗?程序的函数风格及其代数 约翰·巴克斯(John Backus) 1977 54

程序设计的范例 罗伯特·W·弗洛伊德 1978 112

皇帝的旧衣 查尔斯·安托尼·理查德·霍尔 1980 123

关于软件研究的反思 丹尼斯·M·理奇 1983 138

对忠诚的信赖的反思 金·汤普森 1983 144

从程序设计语言的设计到计算机的构造 尼克劳斯·沃思 1984 150

第二部分导论 计算机与计算方法学 159

计算机的当时和现在 莫利斯·V·威尔克斯 1967 163

一个人对计算机科学的观点 R·W·汉明 1968 171

计算机科学的形式和内容 马尔文·明斯基 1969 181

来自一名数值分析家的评述 J·H·威尔金森 1970 202

人工智能中的一般性 约翰·麦卡锡 1971 213

作为航行者的程序员 查尔斯·W·巴彻曼 1973 223

作为经验调查的计算机科学:符号和查找 艾伦·纽厄尔和希尔伯特·A·西蒙 1975 238

计算复杂性 迈克尔·O·拉宾 1976 264

记号作为思维的工具 肯尼斯·E·埃弗森 1979 280

关系数据库:生产力的实用基础 E·F·科德 1981 326

计算复杂性综述 史蒂芬·A·库克 1982 343

组合学、复杂性和随机性 理查德·M·卡普 1985 361

ACM《计算评论》分类方案 392

姓名索引 398

主题索引 407