《 计算机先驱艾兹格·迪科斯彻 ：生平、成就与遗产 》
- 艾兹格·迪科斯彻迪杰斯特拉算法ALGOL 60编译器THE操作系统并发算法结构化编程图灵奖自稳定概念非确定性编程《编程的修炼》
- #传记 #学术分析 #计算机科学史 #图灵奖得主 #多作者合著 #专业深度 #史料价值
- 选题分类：计算机理论
- 原版语种：英语（可提供图书翻译服务）
- 原出版地：美国
- 出版日期：2022年07月
- 页数：534页
- 图书定价：89.95 美元
- 开本：（不详）
- 内文印刷：（不详）
- 字数：（不详）
申请样书样章
您正在通过本网站在线提交出版评估申请。
若您的申请获得通过，您将可以在线对本作品的电子样书进行查看。
特别提示：
1、一旦提交本申请，则表示您承诺自愿通过成都锐拓传媒广告有限公司申请上述图书的中文版权，并承诺在申请日起18个月内，不会向任何第三方（包括但不限于图书作者、出版方及其他代理商等）申请或联系上述图书的中文简体版权。否则，我公司有权关闭您在本网站的使用权限，且不再与您进行任何业务合作，并有权要求您支付不低于人民币5000元/本的违约金，或将上述违约金直接从您的账户余额中予以扣除。
2、您通过本功能在线申请样书样章而支付的费用仅为样书样章在线查阅的费用，不代表我公司对上述图书的中文版权授权事宜向您作出任何承诺。除非发生我公司无法向您提交样书或样章的情况，否则无论最终是否与您达成中文版权的交易合作，该费用概不退还。
申请翻译样章
您正在通过本网站在线提交翻译样章申请。
若您的申请获得通过，您将可以在线对本作品的翻译样章进行查看。
特别提示：
1、一旦提交本申请，则表示您承诺自愿通过成都锐拓传媒广告有限公司申请上述图书的中文版权，并承诺在申请日起18个月内，不会向任何第三方（包括但不限于图书作者、出版方及其他代理商等）申请或联系上述图书的中文简体版权。否则，我公司有权关闭您在本网站的使用权限，且不再与您进行任何业务合作，并有权要求您支付不低于人民币5000元/本的违约金，或将上述违约金直接从您的账户余额中予以扣除。
2、您通过本功能在线申请样书样章而支付的费用仅为样书样章在线查阅的费用，不代表我公司对上述图书的中文版权授权事宜向您作出任何承诺。除非发生我公司无法向您提交样书或样章的情况，否则无论最终是否与您达成中文版权的交易合作，该费用概不退还。
版权推荐
★由图灵奖得主托尼·霍尔联合权威学者主编，31位计算机科学家参与撰写，含5位图灵奖得主的专业评述。
★收录传记随笔与学术分析，兼具史料价值与专业深度，多维度还原这位科学巨擘的人生轨迹与思想遗产。
内容简介
迪杰斯特拉开创了并发算法这一研究领域，提出了互斥、死锁检测、同步等核心概念。作为一名高产的作者，同时也是结构化编程理念的坚定倡导者，他以极具说服力的论述反对使用Go To语句。1972年，他荣获美国计算机协会图灵奖，获奖理由是“将编程提升为一项高深的智力挑战，作出奠基性贡献；有力地主张并通过实践证明，程序应当被正确构建，而非依靠调试来修正错误；深刻洞察程序设计基础领域存在的各类问题”。此后，他又提出了与容错计算相关的自稳定概念，还设计了一门用于非确定性编程的优雅语言及其最弱前置条件语义，这些内容均收录于他1976年的影响力著作《编程的修炼》中，在这本书里，他主张程序开发应当与正确性证明同步进行。在人生的后期阶段，他将大量精力投入到数学证明的完善与阐释中，进一步佐证了他长期以来的观点——编程过程应当被视作一项数学活动。
在这部独特的新作中，包括5位图灵奖得主在内的31位计算机科学家，共同呈现并探讨了迪杰斯特拉对计算机科学领域的诸多贡献，同时评估了这些贡献产生的深远影响。其中多位作者曾以朋友、学生、听众或同事的身份结识迪杰斯特拉，他们撰写的传记随笔与致敬文章，从迪杰斯特拉的职业生涯初期一直记述到他生命的终点，共同勾勒出一幅由多人视角组成的、鲜活立体的迪杰斯特拉画像。
作者介绍
阿姆斯特丹数学与计算机科学研究中心（CWI）研究员、华沙大学兼职教授，同时也是阿姆斯特丹大学荣誉退休教授。1974年，他在华沙的波兰科学院获得数学博士学位。在学术生涯中，他曾在波兰、法国、美国、荷兰等多个国家担任终身教职。阿普特出版过4部专著，并在计算机科学、数理逻辑以及近年来的理论经济学领域发表多篇论文。在计算机科学领域，他的研究方向涵盖程序正确性与语义、逻辑作为编程语言的应用、程序设计语言设计、分布式计算以及算法博弈论。过去20年间，他参与了多项旨在推动科学出版物开放获取的倡议活动。他是欧洲科学院院士，同时也是美国计算机协会《计算逻辑汇刊》的创始人及首任主编，还曾担任逻辑程序设计协会主席。本书由他与托尼·霍尔共同担任主编。
托尼·霍尔
于1968年至1977年任教于贝尔法斯特女王大学，1977年转任牛津大学计算学教授，直至1999年从学术界退休。此后不久，他加入英国剑桥微软研究院。他的研究横跨编程领域的多个方向，包括数据结构与程序设计语言设计、程序验证以及并发计算。他发明了快速排序算法，提出了霍尔逻辑，与佩尔·布林希·汉森联合提出了管程概念，还引入了通信顺序进程——这一概念既是分布式编程的语言，后来也成为用于推理并发与非确定性问题的形式化工具。他近期的研究工作聚焦于程序设计统一理论。霍尔于1980年获得图灵奖，1981年获哈里·H·古德纪念奖，2000年获京都奖，2011年获电气和电子工程师协会约翰·冯·诺依曼奖章。2000年，他因在教育与计算机科学领域的杰出贡献被英国女王授予爵士爵位。
他拥有多所大学的荣誉博士学位，同时也是多个知名学术团体的院士或外籍成员，包括英国皇家学会、英国皇家工程院、美国国家科学院、美国国家工程院以及计算机历史博物馆。本书由他与克日什托夫·R·阿普特共同担任主编。
★由图灵奖得主托尼·霍尔联合权威学者主编，31位计算机科学家参与撰写，含5位图灵奖得主的专业评述。
★收录传记随笔与学术分析，兼具史料价值与专业深度，多维度还原这位科学巨擘的人生轨迹与思想遗产。
请输入分享的Email地址：
