{"product_id":"9780262330572","title":"The Little Prover","description":"\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.","brand":"MIT Press","offers":[{"title":"Default Title","offer_id":47113501147376,"sku":"9780262330572","price":28.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0737\/7593\/9824\/files\/9780262330572_p0.jpg?v=1763681572","url":"https:\/\/shop-qa.barnesandnoble.com\/products\/9780262330572","provider":"Barnes \u0026 Noble (DEV)","version":"1.0","type":"link"}