1990年代的编程
Programming in the 1990s
Edward Cohen · 初版 1990 年
- 13次提及
- 1人推荐
- 3位 HN 评论者
Hacker News 读者推荐
爱德华·科恩写的《1990年代的编程》（Programming in the 1990s）是一本很有意思的书，它通过谓词演算向软件开发者介绍了一种编写形式化证明的方法。这是一本你可以从头读到尾的书。莱斯利写的那本 TLA+ 书……
agentultra 在 HN 的推荐
爱德华·科恩写的《1990年代的编程》。这是一本相当实用的入门书，教你如何根据规格说明推导计算出程序。市面上大量的计算机编程入门教程，全都是靠瞎猜碰运气把程序给搞出来的……
agentultra 在 HN 的推荐
……《离散数学的逻辑方法》：https://www.amazon.com/Logical-Approach-Discrete-Monographs-... 还有针对相同内容更偏实用主义的一本书（在证明风格等方面有很多相通之处）：《1990年代的编程》：http://www.springer.com/gp/book/9780387973821 不过我早期特别喜欢的一本，是专门为文科水平的数学系学生写的（这些人过去可能被数学伤得很深）：《Introduction…
agentultra 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 0387973826
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。