小小 Prover
Little Prover
Daniel P. Friedman, Carl Eastlund, Duane Bibby · 初版 2015 年
- 20次提及
- 9人推荐
- 18位 HN 评论者
Hacker News 读者推荐
……斯蒂芬森的作品，还有海伦·麦克唐纳的《微物之神》（H is for Hawk）。HN 这帮人八成听说过前者；后者则常被拿来与 T.H.怀特的经典名作《苍鹰》（The Goshawk）相提并论。非虚构类图书里，我特别喜欢弗里德曼和伊斯特伦德写的《The Little Prover》。它完全符合我的预期：延续了《The Little Schemer》确立的风格，对归纳证明进行了一次极其温和的入门教学。
OopsCriticality 在 HN 的推荐
看起来真不错。刚出版不久的《The Little Prover》也是一本很精致的小巧入门书。我很好奇《Software Foundations》跟该领域其他更专业经典的著作相比表现如何，比如 [1-3]。[1] https://mitpress.mit.edu/books/principles-model-checking…
nextos 在 HN 的推荐
……形式。Chlipala 的《Certified Programming with Dependent Types》在网上能免费看。然后就是其他人提到的《Software Foundations》。从像 Alloy 或 TLA+ 这种轻量级工具起步可能也有帮助。另外，《The Little Prover》这本书通过让读者自己动手搭一个小型证明器来讲解证明器的工作原理。口碑挺不错。
nickpsecurity 在 HN 的推荐
找书
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。