谓词演算与程序语义
Predicate calculus and program semantics
Edsger Wybe Dijkstra · 初版 1990 年
- 15次提及
- 1人推荐
- 4位 HN 评论者
Hacker News 读者推荐
戴克斯特拉（Dijkstra）和斯霍尔滕（Scholten）合著的《谓词演算与程序语义学》（Predicate Calculus and Program Semantics）是该领域一本不错的教材。戴克斯特拉的《编程的修养》（A Discipline of Programming）行文要随意得多，但我觉得可读性更好，而且里面有很多不错的例子。
User23 在 HN 的推荐
这是一本神作。戴克斯特拉和斯霍尔滕写的“续作”《谓词演算与程序语义学》，对《编程的修养》里提出的观点进行了更为严格的论述。两本都极好。
User23 在 HN 的推荐
……保持给定的不变量（invariants），也许可以使用 TLA+ 之类的工具。任何想深入学习程序推导这一主题的人，都应该去读一读《编程的修养》[1]和《谓词演算与程序语义学》[2]，读其中一本或两本都行。对于不太擅长形式化数学的程序员来说，前者更平易近人。而后者基本上是把相同的概念用极其严谨的数学方法重新论述了一遍。……
User23 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 1461279240
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。