{"product_id":"the-little-prover-daniel-p-friedman-9780262527958","title":"The Little Prover","description":"\u003cb\u003eAn introduction to writing proofs about computer programs, written in an accessible question-and-answer style, complete with step-by-step examples and a simple proof assistant.\u003c\/b\u003e\u003cp\u003e\u003ci\u003eThe Little Prover\u003c\/i\u003e 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 \u003ci\u003eThe Little Schemer \u003c\/i\u003e(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. \u003ci\u003eThe Little Prover \u003c\/i\u003eassumes only knowledge of recursive programs and lists (as presented in the first three chapters of \u003ci\u003eThe Little Schemer\u003c\/i\u003e) 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.\u003c\/p\u003e\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Daniel P. Friedman, Carl Eastlund\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 0262527952\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9780262527958\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e MIT Press\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 07\/10\/2015\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 248\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 1.05lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 8.90h x 6.90w x 0.50d","brand":"Daniel P. Friedman","offers":[{"title":"Paperback","offer_id":43913519366399,"sku":"9780262527958","price":40.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/products\/img_e233fd5e-5f15-4a07-9f55-0e5f82b65570.jpg?v=1680620812","url":"https:\/\/www.whiterainbookhouse.com\/products\/the-little-prover-daniel-p-friedman-9780262527958","provider":"WR Book House","version":"1.0","type":"link"}