作者:
[荷]Edsger W. Dijkstra
出版社: 电子工业出版社
出品方: 博文视点
原作名: A Discipline of Programming
译者: 裘宗燕
出版年: 2013-7
页数: 456
定价: 79.00元
装帧: 平装
ISBN: 9787121202506
出版社: 电子工业出版社
出品方: 博文视点
原作名: A Discipline of Programming
译者: 裘宗燕
出版年: 2013-7
页数: 456
定价: 79.00元
装帧: 平装
ISBN: 9787121202506
内容简介 · · · · · ·
本书是图灵奖获得者Edsger W. Dijkstra在编程领域里的经典著作中的经典。作者基于其敏锐的洞察力和长期的实际编程经验，对基本顺序程序的描述和开发中的许多关键问题做了独到的总结和开发。书中讨论了顺序程序的本质特征、程序描述和对程序行为（正确性）的推理，并通过一系列从简单到复杂的程序的思考和开发范例，阐释了基于严格的逻辑推理开发正确可靠程序的过程。
本书写于20世纪70年代中后期，但其对编程技术领域的开发、编程语言发展和程序理论研究的深刻影响持续至今。本书值得每个关注计算机科学技术的本质，冀求在程序和软件领域有长远发展的计算机工作者、教师和学生阅读。
编程的修炼（中英双语）的创作者
· · · · · ·
-
裘宗燕 译者
作者简介 · · · · · ·
作者简介：
艾兹赫尔•戴克斯特拉（Edsger W. Dijkstra，1930年5月11日－2002年8月6日），生于荷兰鹿特丹，自喻为荷兰第一个以程序设计作为职业的人。他早年积极推动结构化程序设计，一生致力于将计算（computing）发展为一门科学，在计算机科学技术的诸多领域有开拓性建树，并由于在程序设计基础研究中的卓越贡献获得1972年图灵奖。
目录 · · · · · ·
"编程的修炼（中英双语）"试读 · · · · · ·
喜欢读"编程的修炼（中英双语）"的人也喜欢的电子书 · · · · · ·
支持 Web、iPhone、iPad、Android 阅读器
喜欢读"编程的修炼（中英双语）"的人也喜欢 · · · · · ·
编程的修炼（中英双语）的书评 · · · · · · ( 全部 7 条 )
阿诺
人民邮电出版社2020版
《编程的修炼》：程序员的思维必修课
这篇书评可能有关键情节透露
引言 中国的互联网行业在过去二十年中，迎来了跨越式的发展，以至于能在世界上有一席之地。这一堪称奇迹的背后，不能不提那一众默默辛勤工作的程序员们，他们用飞舞的双手在键盘上创造了这一切。 但程序员这一工作，却越来越被贴上“青春饭”的标签。诚然，互联网公司招聘时公... (展开)
Marius
此书只适合适合读它的读者
本来就书而言，应该是十星，但此书只适合适合读它的读者 —— 这是一句永真的废话，不过是想说 —— 正如本书想表达的立场，你最好是编写永真（没有bug）的程序，如何做到？当然依靠逻辑和证明。 适合你吗？如果适合你那就适合你。 以下为不完全、不定时笔记。 1 书名 必须吐槽...
(展开)
异步图书
人民邮电出版社2020版
艾兹格·W. 迪杰斯特拉与他那本没有可运行代码实例的编程专著
图灵奖设立最开始的六年，奖项分别被四个美国人和两个英国人拿走。直到第七年，1972年，来自荷兰的计算机科学家、《编程的修炼》一书的作者，艾兹格·W. 迪杰斯特拉才成为第一个既不是英国人，也不是美国人的图灵奖获得者。 当时，图灵奖颁给他的理由是“程序设计语言的科学与...
(展开)
tqtifnypmb
Prentice Hall, Inc.1976版
程序(Program)的正确性
怎样证明一个程序是正确的？这是一个普遍被忽略的问题。 这并不是说软件开发者们从不考虑这个问题。在一个程序的开发过程中，“正确”是所有其他工作的前提，开发者首先做的是证明程序是可以正确的，然后才来考虑性能、扩展性等等其他的问题，所以程序的正确性是所有有理智的...
(展开)
Marvin不慌
人民邮电出版社2020版
一本所有程序员都该读的书
大部分情况下，各种算法通常是以一种成品形式发表，并在设计过程中起着非常重要的作用，但是它的正确性和各种思考的主要部分则完全不会被提及。 《编程的修炼》本书作者认为程序可以有迷人的形态和深刻的逻辑之美，但是绝大部分程序又是用一种只是和机器执行的方式表达的，完全...
(展开)
hgz一般人
直接看翻译会觉得晦涩
这本书挺难翻译的。读原文读的巨吃力。主要是那种绕来绕去又特别profound的说话风格。确实不好翻译。而且我觉着英语的表达力比汉语要强。尤其是表达特别复杂的概念的时候。各种定语从句套定语从句的时候。。。 再加上裘老翻译的时候选词比较“信”，有的地方反而不够“达”。翻...
(展开)
> 更多书评 7篇
论坛 · · · · · ·
| 有多少人希望出版社再版呢？ | 来自Bloom | 2 回应 | 2021-02-09 13:14:20 |
| 大师传奇——吴峻申的读后感 . | 来自Bloom | 2013-07-29 15:16:17 |
这本书的其他版本 · · · · · · ( 全部3 )
以下书单推荐 · · · · · · ( 全部 )
谁读这本书? · · · · · ·
二手市场
· · · · · ·
- 在豆瓣转让 有821人想读，手里有一本闲着?
订阅关于编程的修炼（中英双语）的评论:
feed: rss 2.0
5 有用 大句哥哥 2015-11-06 16:01:40
Dijkstra 提供了一种基于谓词转换器的方法论来解决实际问题. 几个关键词: 状态空间, 选择的不变定理, 循环的可终止性. 几个优化策略: 减少分支, 将重复计算的值缓存, 将不变关系提取到循环结构外, 寻找不变式的更小超集.
3 有用 知食🍰分子 2020-03-16 05:56:46
The Humble Programmer
2 有用 chris 2019-01-06 18:56:57
有点老了。讲得很形式化和抽象。
1 有用 英超 2020-07-02 13:12:47
弃读
1 有用 英超 2020-07-02 13:12:47
弃读
3 有用 知食🍰分子 2020-03-16 05:56:46
The Humble Programmer
2 有用 chris 2019-01-06 18:56:57
有点老了。讲得很形式化和抽象。
5 有用 大句哥哥 2015-11-06 16:01:40
Dijkstra 提供了一种基于谓词转换器的方法论来解决实际问题. 几个关键词: 状态空间, 选择的不变定理, 循环的可终止性. 几个优化策略: 减少分支, 将重复计算的值缓存, 将不变关系提取到循环结构外, 寻找不变式的更小超集.