程序构造
Program Construction
Roland C. Backhouse · 初版 2003 年
3人推荐
3位读者提及
4次提及
以独特的视角直击大多数书籍所忽略的核心——为什么数学和逻辑是程序员的基本工具。这本综合指南将数学理论与编程实践进行了平衡结合。直观呈现构造原则，包括：赋值公理、顺序组合、情况分析、不变量与有界函数的使用。包含大量有趣且富有挑战性的示例与练习。
Hacker News 上怎么说
正在加载完整评论……
Program Construction
Roland C. Backhouse · 初版 2003 年
以独特的视角直击大多数书籍所忽略的核心——为什么数学和逻辑是程序员的基本工具。这本综合指南将数学理论与编程实践进行了平衡结合。直观呈现构造原则，包括：赋值公理、顺序组合、情况分析、不变量与有界函数的使用。包含大量有趣且富有挑战性的示例与练习。
正在加载完整评论……
……教材、课后习题答案等）：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...……
…textbook, solutions, and so on): http://www.cs.toronto.edu/~hehner/FMSD/ I really liked it. I also liked R. Backhouse's approach to it, encapsulated in two books: 1) less playful: http://www.amazon.com/Program-Construction-Calculating-Imple... 2) more playful: http://www.amazon.com/Algorithmic-Problem-Solving-Roland-Bac... If you are looking for motivation, you might also like: http://research.microsoft.com/en-us/um/people/lamport/pubs/p...…
……只能暴露错误，却无法保证能找出所有的错误。证明正确性的唯一方法，就是写出符合规范（specification）的形式化证明。我在 Roland Backhouse 的《Program Construction》一书节选里看到了一个绝佳例子。代码是用 Pascal 写的。给学生出的题目是写一个程序比较两个字符串是否相等。有个学生的解法是直接赋值为 true……
…reveal errors, with no guarantee of revealing all of them. The only way to prove correctness is to write a proof of adherence to a specification. I found a good example of this from an excerpt of the book Program Construction by Roland Backhouse. The code is in Pascal. The problem the students had been set was to write a program that would compare two strings for equality. One student's solution was to assign the value true…
这套东西我是从 Roland 的《Program Construction》里学来的。神书一本。一旦你啃透了那本书，回头再看 Dijkstra 的那些文章，突然就会觉得无比实用接地气。
I learned this stuff from Roland's 'Program Construction'. Great book. Once you've been through that, then suddenly Dijkstra's writing becomes really practical.
额。我的书单会大不一样，除了《The Pragmatic Programmer》（程序员修炼之道）值得在职业生涯早期读一读之外。Leo Brodie 的《Thinking Forth》；Roland 的《Program Construction》；Ullman 的《Elements of ML Programming》；De Marco 的《The Deadline》（最后期限）；Brooks 的《The Mythical Man-Month》（人月神话）；Skiena 的《The Algorithm Design Manual》（算法设计手册）；Hunt 的《The Pragmatic Programmer》；Stevens 的《Advanced Programming…
Hmm. My picks would be very different, aside from 'The Pragmatic Programmer', which is worth reading early in your career. Leo Brodie, 'Thinking Forth' Roland, 'Program Construction' Ullman, 'Elements of ML Programming' De Marco, 'The Deadline' Brooks, 'The Mythical Man-Month' Skiena, 'The Algorithm Design Manual' Hunt, 'The Pragmatic Programmer' Stevens, 'Advanced Programming…