编程的纪律
A discipline of programming
Edsger Wybe Dijkstra · 初版 1976 年
- 51次提及
- 16人推荐
- 30位 HN 评论者
为什么值得读
借助丰富实例循序渐进掌握严谨推导程序的思维方式。
- 深入探讨编程工具对思维习惯的影响
- 包含大量生动具体的程序推导实例
- 相比纯形式化语义教材更平易近人
适合：想学习严密程序推导但数学基础较弱的程序员
值得读指数：58 / 100
Hacker News 读者推荐
保罗·格雷厄姆的那句名言——“编程语言不仅是技术，也是思维习惯。”让我想起了 Dijkstra 在《编程审美》（A Discipline of Programming）里的一句极好的话——“任何工具最重要但也最难以捉摸的一个方面，就是它对那些训练自己使用它的人的习惯所产生的影响。”
noglorp 在 HN 的推荐
……Leo Brodie, Thinking FORTH；W. H. Burge, Recursive Programming Techniques；Carriero and Gelernter, How to Write Parallel Programs；A. K. Dewdney, The New Turing Omnibus；Edsger Dijkstra, A Discipline of Programming；Richard Feynman, The Feynman Lectures on Computation；Friedman and Felleisen, The Little Schemer；Friedman, Wand and Haynes, Essentials of Programming Languages [第一版]；James F.……
binomial 在 HN 的推荐
Dijkstra 和 Scholten 的《谓词演算与程序语义》（Predicate Calculus and Program Semantics）是该领域一本不错的教材。Dijkstra 的《编程审美》（A Discipline of Programming）要通俗随性得多，但我发现它可读性更好，而且有许多很好的例子。
User23 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 013215871X
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。