The Little Prover

作者：DanielP.Friedman/CarlEastlund

出版社：TheMITPress

出版年：2015-7-10

页数：248

定价：USD38.00

装帧：Paperback

ISBN：9780262527958

内容简介
······

[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的

相较于之后那本书里的 Pie，这个 J-Bob 确实简陋了些。不过简陋的好处也很明显——让读者更容易去抓住核心的概念，比如递归函数和归纳证明之间的关系。

个人觉得很一般

好喜欢里面的插画

• 下载电子版：下载地址
• 购买纸质版：京东商城
• 购买纸质版：当当网