作者:
[荷兰] Edsger W. Dijkstra
出版社: 人民邮电出版社
出品方: 异步图书
原作名: A Discipline of Programming
译者: 裘宗燕
出版年: 2020-9-20
页数: 213
定价: 55.00元
装帧: 平装
丛书: 计算机科学经典译丛
ISBN: 9787115512239
出版社: 人民邮电出版社
出品方: 异步图书
原作名: A Discipline of Programming
译者: 裘宗燕
出版年: 2020-9-20
页数: 213
定价: 55.00元
装帧: 平装
丛书: 计算机科学经典译丛
ISBN: 9787115512239
内容简介 · · · · · ·
本书是图灵奖获得者 Edsger W. Dijkstra 的最重要的著作，也是编程领域里经典著作中的经典。作者基于其敏锐的洞察力和长期的实际编程经验，对基本顺序程序的描述和开发中的许多关键问题做了独到的总结和开发。本书讨论了基本顺序程序的本质特征、程序描述和对程序行为（正确性）的推理，并通过从简单到复杂的一系列程序的思考和开发范例，阐释了基于严格的逻辑推理开发正确而可靠的程序的过程。
本书写于20世纪70年代后期，但其对于编程领域的技术开发，对于编程语言的发展和程序理论研究的深刻影响持续至今。本书值得每一个关注计算机科学技术的本质，冀求在程序和软件领域有长远发展的计算机工作者、教师和学生阅读。
编程的修炼的创作者
· · · · · ·
-
裘宗燕 译者
作者简介 · · · · · ·
Edsger Wybe Dijkstra（1930—2002）
荷兰人，计算机科学家，毕业就职于荷兰Leiden大学，早年钻研物理及数学，后转向计算学。他曾在1972年获得图灵奖，还获得过1974年 AFIPS Harry Goode Memorial Award、1989年 ACM SIGCSE 计算机科学教育教学杰出贡献奖以及2002年 ACM PODC 影响力论文奖。
目录 · · · · · ·
丛书信息
· · · · · ·
计算机科学经典译丛(共4册)，
这套丛书还有
《C++语言的设计和演化》《编程原本》《UNIX操作系统设计》
。
喜欢读"编程的修炼"的人也喜欢 · · · · · ·
-
- 程序设计方法（第2版） 8.0
-
- C++语言的设计和演化 8.4
-
- Rust实战 7.7
-
- 软件调试 第2版 8.9
-
- 敏捷整洁之道 9.1
-
- 现代软件工程 8.8
-
- 编程珠玑（第2版） 9.0
-
- 深入浅出密码学 8.3
-
- 重构（第2版） 9.1
-
- 卓有成效的敏捷 8.9
编程的修炼的书评 · · · · · · ( 全部 7 条 )
阿诺
《编程的修炼》：程序员的思维必修课
这篇书评可能有关键情节透露
引言 中国的互联网行业在过去二十年中，迎来了跨越式的发展，以至于能在世界上有一席之地。这一堪称奇迹的背后，不能不提那一众默默辛勤工作的程序员们，他们用飞舞的双手在键盘上创造了这一切。 但程序员这一工作，却越来越被贴上“青春饭”的标签。诚然，互联网公司招聘时公... (展开)
Marius
电子工业出版社2013版
此书只适合适合读它的读者
本来就书而言，应该是十星，但此书只适合适合读它的读者 —— 这是一句永真的废话，不过是想说 —— 正如本书想表达的立场，你最好是编写永真（没有bug）的程序，如何做到？当然依靠逻辑和证明。 适合你吗？如果适合你那就适合你。 以下为不完全、不定时笔记。 1 书名 必须吐槽...
(展开)
异步图书
艾兹格·W. 迪杰斯特拉与他那本没有可运行代码实例的编程专著
图灵奖设立最开始的六年，奖项分别被四个美国人和两个英国人拿走。直到第七年，1972年，来自荷兰的计算机科学家、《编程的修炼》一书的作者，艾兹格·W. 迪杰斯特拉才成为第一个既不是英国人，也不是美国人的图灵奖获得者。 当时，图灵奖颁给他的理由是“程序设计语言的科学与...
(展开)
tqtifnypmb
Prentice Hall, Inc.1976版
程序(Program)的正确性
怎样证明一个程序是正确的？这是一个普遍被忽略的问题。 这并不是说软件开发者们从不考虑这个问题。在一个程序的开发过程中，“正确”是所有其他工作的前提，开发者首先做的是证明程序是可以正确的，然后才来考虑性能、扩展性等等其他的问题，所以程序的正确性是所有有理智的...
(展开)
Marvin不慌
一本所有程序员都该读的书
大部分情况下，各种算法通常是以一种成品形式发表，并在设计过程中起着非常重要的作用，但是它的正确性和各种思考的主要部分则完全不会被提及。 《编程的修炼》本书作者认为程序可以有迷人的形态和深刻的逻辑之美，但是绝大部分程序又是用一种只是和机器执行的方式表达的，完全...
(展开)
hgz一般人
电子工业出版社2013版
直接看翻译会觉得晦涩
这本书挺难翻译的。读原文读的巨吃力。主要是那种绕来绕去又特别profound的说话风格。确实不好翻译。而且我觉着英语的表达力比汉语要强。尤其是表达特别复杂的概念的时候。各种定语从句套定语从句的时候。。。 再加上裘老翻译的时候选词比较“信”，有的地方反而不够“达”。翻...
(展开)
风纪扣v
电子工业出版社2013版
大师的书的确读来有难度
上世纪80年代这本书的影印版在国内高校计算机界广为流传，尔后却消失匿迹，重读到此书，已是十几年之后的事了。 由裘宗燕老师来翻译这本书，我想应该是很好的。裘老师广博多闻，在计算机方面译著极多，而且大多是重量级的，读起来错误不多，质量很高。 ...
(展开)
> 更多书评 7篇
论坛 · · · · · ·
在这本书的论坛里发言这本书的其他版本 · · · · · · ( 全部3 )
以下书单推荐 · · · · · · ( 全部 )
- 数学 - 算法 (豆豆云)
- ℹ️信息与计算 (地球旅行者)
- 计算机科学 (rshark)
- computer scientists (顾若寒)
- 计科 (喵喵)
谁读这本书? · · · · · ·
二手市场
· · · · · ·
- 在豆瓣转让 有93人想读，手里有一本闲着?
订阅关于编程的修炼的评论:
feed: rss 2.0
2 有用 [已注销] 2021-05-07 23:21:42
书是好书 翻译的不太通顺
2 有用 [已注销] 2021-05-07 23:21:42
书是好书 翻译的不太通顺