The Little Prover

书名：The Little Prover
作者：DanielP·Friedman
译者：
ISBN：9780262527958
出版社：TheMITPress
出版时间：2015-7-10
格式：epub/mobi/azw3/pdf
页数：248
豆瓣评分： 8.8

书籍简介：

[FROM www.amazon.com]: The Little Prover introduces inductive proofs as a way to determine facts about computer programs. It is written in an approachable, engaging style of question-and-answer, with the characteristic humor of The Little Schemer (fourth edition, MIT Press). Sometimes the best way to learn something is to sit down and do it; the book takes readers through step-by-step examples showing how to write inductive proofs. The Little Prover assumes only knowledge of recursive programs and lists (as presented in the first three chapters of The Little Schemer) and uses only a few terms beyond what novice programmers already know. The book comes with a simple proof assistant to help readers work through the book and complete solutions to every example.

作者简介：

书友短评：

@ 劝你回国 有点失望，原来是搞了一个全手动的rewrite system，我本来想搞自动prover的 @ Sam 相较于之后那本书里的 Pie，这个 J-Bob 确实简陋了些。不过简陋的好处也很明显——让读者更容易去抓住核心的概念，比如递归函数和归纳证明之间的关系。 @ usless 个人觉得很一般 @ ò.⒏㈢ ㄧ° 好喜欢里面的插画 @ ϱ chapter8弃坑 @ 高宫望 Explains the core idea of the ACL2 theorem prover with examples and words that are intelligible and fun to read. Now I'm a fan of "the little-" series. @ usless 个人觉得很一般 @ Sam 相较于之后那本书里的 Pie，这个 J-Bob 确实简陋了些。不过简陋的好处也很明显——让读者更容易去抓住核心的概念，比如递归函数和归纳证明之间的关系。 @ ϱ chapter8弃坑 @ ò.⒏㈢ ㄧ° 好喜欢里面的插画

添加微信公众号:好书天下获取