{"title":"Daniel P. Friedman","description":"\u003cp\u003e\u003cstrong\u003eDaniel P. Friedman\u003c\/strong\u003e – autoriaus knygos mūsų kataloge: 5 knygos. Peržiūrėkite visus leidimus ir užsisakykite internetu su pristatymu visoje Lietuvoje.\u003c\/p\u003e","products":[{"product_id":"little-prover-9780262527958","title":"The Little Prover","description":"\u003cp\u003eDiscover the fascinating world of computer program proofs with \u003cstrong\u003eLittle Prover\u003c\/strong\u003e by \u003cstrong\u003eDaniel P. Friedman\u003c\/strong\u003e. Published in 2015, this insightful book spans 248 pages and serves as an essential introduction to writing proofs about computer programs. Designed in an engaging question-and-answer format, \u003cstrong\u003eLittle Prover\u003c\/strong\u003e guides you through the intricacies of inductive proofs, providing clear step-by-step examples and a straightforward proof assistant to enhance your learning experience.\u003c\/p\u003e \u003cp\u003eWith its approachable style and the signature humor reminiscent of \u003cem\u003eThe Little Schemer\u003c\/em\u003e, this book makes complex concepts accessible and enjoyable. Whether you’re a student or a professional looking to deepen your understanding of automatic theorem proving and Lisp programming, \u003cstrong\u003eLittle Prover\u003c\/strong\u003e is the perfect resource to help you master the art of proof writing. Dive into this captivating read and elevate your programming skills today!\u003c\/p\u003e","brand":"Daniel P. Friedman","offers":[{"title":"Default Title","offer_id":50922382426454,"sku":"9780262527958","price":53.14,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780262527958.jpg?v=1753799609"},{"product_id":"little-typer-mit-press-ltd-9780262536431-daniel-p-friedman","title":"The Little Typer","description":"\u003cp\u003e\u003cstrong\u003eLittle Typer\u003c\/strong\u003e by Daniel P. Friedman, David Thrane Christiansen.\u003c\/p\u003e\n\u003cp\u003ePublished by The MIT Press, (2018), Paperback, 424 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Functional programming (computer science), Logic programming.\u003c\/p\u003e","brand":"Daniel P. Friedman","offers":[{"title":"Default Title","offer_id":52236845515094,"sku":"9780262536431","price":59.08,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780262536431.jpg?v=1767757809"},{"product_id":"little-learner-mit-press-ltd-9780262546379-a-straight-line-to-deep-learning-daniel-p-friedman","title":"The Little Learner","description":"\u003cp\u003e\u003cstrong\u003eLittle Learner\u003c\/strong\u003e by Daniel P. Friedman, Anurag Mendhekar.\u003c\/p\u003e\n\u003cp\u003ePublished by MIT Press, (2023), Paperback, 436 pages.\u003c\/p\u003e","brand":"Daniel P. Friedman","offers":[{"title":"Default Title","offer_id":52269917045078,"sku":"9780262546379","price":56.9,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780262546379.jpg?v=1767803807"}],"url":"https:\/\/www.bookshop.lt\/ru\/collections\/daniel-p-friedman.oembed","provider":"Bookshop","version":"1.0","type":"link"}