小小 Prover

Little Prover

Daniel P. Friedman、Carl Eastlund、Duane Bibby · 初版 2015 年

9人推荐

18位读者提及

20次提及

为什么值得读

沿袭经典问答风格，入门非常温和
清晰展示数学证明与归纳证明的核心
通过动手构建证明器掌握其工作原理

Hacker News 上怎么说

OopsCriticality · 2015 年
……斯蒂芬森的作品，还有海伦·麦克唐纳的《微物之神》（H is for Hawk）。HN 这帮人八成听说过前者；后者则常被拿来与 T.H.怀特的经典名作《苍鹰》（The Goshawk）相提并论。非虚构类图书里，我特别喜欢弗里德曼和伊斯特伦德写的《The Little Prover》。它完全符合我的预期：延续了《The Little Schemer》确立的风格，对归纳证明进行了一次极其温和的入门教学。
…Stephenson, and H is for Hawk by Helen Macdonald. The former is likely known to the HN crowd; the latter draws comparisons to T.H. White's classic The Goshawk. Among non-fiction books, I enjoyed The Little Prover by Friedman and Eastlund. It was exactly what I expected, a gentle introduction into inductive proofs in the idiom established by The Little Schemer.
nextos · 2015 年
看起来真不错。刚出版不久的《The Little Prover》也是一本很精致的小巧入门书。我很好奇《Software Foundations》跟该领域其他更专业经典的著作相比表现如何，比如 [1-3]。[1] https://mitpress.mit.edu/books/principles-model-checking…
It looks very nice. The Little Prover, recently published is also a neat small intro. I wonder how does Software Foundations compare against other more specialized classics in the field like [1-3]. [1] https://mitpress.mit.edu/books/principles-model-checking…
nickpsecurity · 2017 年
……形式。Chlipala 的《Certified Programming with Dependent Types》在网上能免费看。然后就是其他人提到的《Software Foundations》。从像 Alloy 或 TLA+ 这种轻量级工具起步可能也有帮助。另外，《The Little Prover》这本书通过让读者自己动手搭一个小型证明器来讲解证明器的工作原理。口碑挺不错。
…or another. Chlipala's Certified Programmimg with Dependent Types is free online. Then, Software Foundations others mentioned. Starting with lightweight stuff like Alloy or TLA+ might help. Also, The Little Prover book teaches how provers work by letting reader build a small one. Had some decent reviews.
ethagnawl · 2021 年
你可以研究一下 core.logic：https://github.com/clojure/core.logic/tree/master/src/main/c... 我发誓我之前肯定收藏过一个和第二条更类似的资源，不过你也可以去翻翻《The Little Prover》：https://mitpress.mit.edu/books/little-prover
You could study core.logic: https://github.com/clojure/core.logic/tree/master/src/main/c... I swear I'd bookmarked a resource that was more analogous to #2, but you may want to have a look at The Little Prover: https://mitpress.mit.edu/books/little-prover
rdc12 · 2015 年
很高兴看到不止我一个人对《The Little Prover》感到如此兴奋。我以前好像还从来没有对一本计算机科学书籍的出版抱有这种心情。
Glad too see that I am not the only person to quite excited about the The Little Prover. Don't think I have ever felt this way about the release of a CS book.
agentultra · 2015 年
我不是作者，但我最近读过一本关于这个主题的书，对我来说算是个非常友好的入门指南：《The Little Prover》[0]。只要你能迈过 Lisp 语法这道坎，哪怕你只受过非正式、不完整的集合论训练，仅凭对逻辑的直觉理解，也完全能读懂这本书。[0] https://mitpress.mit.edu/index.php?q=books/little-prover
Not the author but a recent book I've read on the subject served as a gentle introduction for me: The Little Prover [0]. If you can get past the lisp syntax you can get through this book with an informal and incomplete education in set theory and an intuitive understanding of logic. [0] https://mitpress.mit.edu/index.php?q=books/little-prover

正在加载完整评论……