{"product_id":"the-little-prover","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","brand":"Penguin Random House","offers":[{"title":"Default Title","offer_id":50951215579424,"sku":"9780262527958","price":40.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0836\/3661\/7504\/files\/9780262527958.jpg?v=1763633688","url":"https:\/\/creativebysanchez.com\/es\/products\/the-little-prover","provider":"Creative By Sanchez","version":"1.0","type":"link"}