编程的修炼

作　者：	艾兹格·W 迪杰斯特拉裘宗燕
出版社：	人民邮电出版社
丛编项：
版权说明：	本书为公共版权或经版权方授权，请支持正版图书
标　签：	暂缺

ISBN	出版时间	包装	开本	页数	字数
未知	暂无	暂无	未知	0	暂无

作者简介

　　艾兹格 W.迪科斯彻（Edsger Wybe Dijkstra，1930—2002），荷兰人，计算机科学家，毕业就职于荷兰Leiden大学，早年钻研物理及数学，后转向计算学。他曾在1972年获得图灵奖，还获得过1974年 AFIPS Harry Goode Memorial Award、1989年ACM SIGCSE计算机科学教育教学杰出贡献奖以及2002年ACM PODC**影响力论文奖。

内容简介

本书是图灵奖获得者艾兹格·W. 迪杰斯特拉（Edsger W. Dijkstra）的最重要的著作，也是编程领域里经典著作中的经典。作者基于其敏锐的洞察力和长期的实际编程经验，对基本顺序程序的描述和开发中的许多关键问题做了独到的总结和开发。本书讨论了基本顺序程序的本质特征、程序描述和对程序行为（正确性）的推理，并通过从简单到复杂的一系列程序的思考和开发范例，阐释了基于严格的逻辑推理开发正确而可靠的程序的过程。本书写于20世纪70年代后期，但其对于编程领域的技术开发，对于编程语言的发展和程序理论研究的深刻影响持续至今。本书值得每一个关注计算机科学技术的本质，冀求在程序和软件领域有长远发展的计算机工作者、教师和学生阅读。

图书目录

第0章　执行抽象\t1

第　1章编程语言的作用　6

第　2章状态及其特征　9

第3章　语义的性质　14

第4章　一种编程语言的语义特征　22

第5章　两个定理　35

第6章　论完满终止结构的设计　39

第7章　再论欧几里得算法　43

第8章　几个小例子的形式化处理　49

第9章　论受限的非确定性　70

第　10章简论记法：“变量的作用域”　77

第　11章数组变量　92

第　12章线性检索定理　103

第　13章下一个排列　105

第　14章荷兰国旗问题　109

第　15章更新顺序文件　115

第　16章再论归并　121

第　17章 R．W．HAMMING贡献的一个练习　127

第　18章模式匹配问题　133

第　19章将一个数写成两个平方之和　139

第　20章大数的最小素因子　142

第　21章最孤立村庄问题　148

第　22章最短子支撑树问题　153

第　23章记录等价类的REM算法　160

第　24章三维空间的凸包问题　167

第　25章有向图的最大强连通分支　190

第　26章论手册和实现　199

跋　206