猜你喜欢
编程的修炼

编程的修炼

书籍作者:[荷兰] 艾兹格· ISBN:9787115512239
书籍语言:简体中文 连载状态:全集
电子书格式:pdf,txt,epub,mobi,azw3 下载次数:6374
创建日期:2021-02-14 发布日期:2021-02-14
运行环境:PC/Windows/Linux/Mac/IOS/iPhone/iPad/Kindle/Android/安卓/平板
内容简介
本书是图灵奖获得者艾兹格·W. 迪杰斯特拉(Edsger W. Dijkstra)的最重要的著作,也是编程领域里经典著作中的经典。作者基于其敏锐的洞察力和长期的实际编程经验,对基本顺序程序的描述和开发中的许多关键问题做了独到的总结和开发。本书讨论了基本顺序程序的本质特征、程序描述和对程序行为(正确性)的推理,并通过从简单到复杂的一系列程序的思考和开发范例,阐释了基于严格的逻辑推理开发正确而可靠的程序的过程。
本书写于20世纪70年代后期,但其对于编程领域的技术开发,对于编程语言的发展和程序理论研究的深刻影响持续至今。本书值得每一个关注计算机科学技术的本质,冀求在程序和软件领域有长远发展的计算机工作者、教师和学生阅读。
作者简介
艾兹格 W.迪科斯彻 (Edsger Wybe Dijkstra,1930—2002),荷兰人,计算机科学家,毕业就职于荷兰Leiden大学,早年钻研物理及数学,后转向计算学。他曾在1972年获得图灵奖,还获得过1974年 AFIPS Harry Goode Memorial Award、1989年ACM SIGCSE计算机科学教育教学杰出贡献奖以及2002年ACM PODC**影响力论文奖。
编辑推荐
1.作者艾兹格·W. 迪杰斯特拉(Edsger W. Dijkstra)是计算机科学奠基人之一,图灵奖获得者,是编程界的先驱、传奇级人物;
2.本书是作者重要的著作,也是计算机学科经典图书,畅销多年;
3.本书写于20世纪70年代后期,但其对于编程领域的技术开发,对于编程语言的发展和程序理论研究的深刻影响持续至今;
4.内容严谨,逻辑清晰,书中体现的思想对所有的编程人员起到启示指引的作用。
目录
第0章 执行抽象 1
第 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
短评

又到了屯书的季节,,,

2020-10-09 23:59:47

大师之作,每个程序员都应该拜读。

2020-09-25 11:00:00

编程的修炼的书评

怎样证明一个程序是正确的?这是一个普遍被忽略的问题。 这并不是说软件开发者们从不考虑这个问题。在一个程序的开发过程中,“正确”是所有其他工作的前提,开发者首先做的是证明程序是可以正确的,然后才来考虑性能、扩展性等等其他的问题,所以程序的正确性是所有有理智的...

2017-03-28 10:13:31

上世纪80年代这本书的影印版在国内高校计算机界广为流传,尔后却消失匿迹,重读到此书,已是十几年之后的事了。 由裘宗燕老师来翻译这本书,我想应该是很好的。裘老师广博多闻,在计算机方面译著极多,而且大多是重量级的,读起来错误不多,质量很高。 ...

2013-10-02 00:51:45

这本书挺难翻译的。读原文读的巨吃力。主要是那种绕来绕去又特别profound的说话风格。确实不好翻译。而且我觉着英语的表达力比汉语要强。尤其是表达特别复杂的概念的时候。各种定语从句套定语从句的时候。。。 再加上裘老翻译的时候选词比较“信”,有的地方反而不够“达”。翻...

2017-04-07 20:09:23

标签
软件工程,计算机,程序员修炼之道