程序构造
Program Construction
Roland C. Backhouse · 初版 2003 年
- 4次提及
- 3人推荐
- 3位 HN 评论者
简介
以独特的视角直击大多数书籍所忽略的核心——为什么数学和逻辑是程序员的基本工具。这本综合指南将数学理论与编程实践进行了平衡结合。直观呈现构造原则，包括：赋值公理、顺序组合、情况分析、不变量与有界函数的使用。包含大量有趣且富有挑战性的示例与练习。
Hacker News 读者推荐
……教材、课后习题答案等）：http://www.cs.toronto.edu/~hehner/FMSD/ 我真的很喜欢它。我也很喜欢 R. Backhouse 处理这个主题的方法，凝聚在两本书里：1）偏严肃一点的：http://www.amazon.com/Program-Construction-Calculating-Imple... 2）更有趣味一点的：http://www.amazon.com/Algorithmic-Problem-Solving-Roland-Bac... 如果你需要找点动力，可能也会喜欢这篇：http://research.microsoft.com/en-us/um/people/lamport/pubs/p...……
bmer 在 HN 的推荐
……只能暴露错误，却无法保证能找出所有的错误。证明正确性的唯一方法，就是写出符合规范（specification）的形式化证明。我在 Roland Backhouse 的《Program Construction》一书节选里看到了一个绝佳例子。代码是用 Pascal 写的。给学生出的题目是写一个程序比较两个字符串是否相等。有个学生的解法是直接赋值为 true……
trealira 在 HN 的推荐
这套东西我是从 Roland 的《Program Construction》里学来的。神书一本。一旦你啃透了那本书，回头再看 Dijkstra 的那些文章，突然就会觉得无比实用接地气。
madhadron 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 0470684534
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。