{"title":"Daniel P. Friedman","description":null,"products":[{"product_id":"little-prover-9780262527958","title":"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":52.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":"essentials-of-programming-languages-9780262062794","title":"Essentials of Programming Languages","description":"\u003cp\u003e\"Essentials of Programming Languages\" by Daniel P. Friedman is an essential textbook for anyone eager to dive deep into the core concepts of programming languages. Published in 2008 and spanning 432 pages, this comprehensive guide offers a clear and insightful exploration of programming semantics, or the meaning behind program elements. The book has been meticulously revised to include significant new material, ensuring that students gain a robust understanding of the essential ideas that shape programming languages today.\u003c\/p\u003e\n\n\u003cp\u003eThrough the use of interpreters, the text effectively illustrates the semantics of various language elements, making complex concepts more accessible. Whether you are a student looking to enhance your knowledge or a professional seeking to solidify your understanding, this book serves as a crucial resource in the field of programming. Don't miss the chance to enrich your programming language skills with this authoritative work by Daniel P. Friedman.\u003c\/p\u003e","brand":"Daniel P. Friedman","offers":[{"title":"Default Title","offer_id":50943971098966,"sku":"9780262062794","price":93.84,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780262062794.jpg?v=1753943109"},{"product_id":"little-schemer-9780262560993","title":"Little Schemer","description":"\u003cp\u003eDiscover the fascinating world of computing with \u003cstrong\u003eThe Little Schemer\u003c\/strong\u003e by Daniel P. Friedman, published in 1995. This engaging 216-page book redefines the way we think about LISP and Scheme programming languages. With the belief that \"thinking about computing is one of the most exciting things the human mind can do,\" Friedman presents complex concepts in a humorous and accessible manner, making it perfect for both beginners and seasoned programmers alike.\u003c\/p\u003e \u003cp\u003eAs a companion to \u003cstrong\u003eThe Seasoned Schemer\u003c\/strong\u003e, this book not only teaches you the fundamentals of programming but also ignites your passion for computational thinking. Whether you're looking to enhance your coding skills or simply curious about the intricacies of LISP, \u003cstrong\u003eThe Little Schemer\u003c\/strong\u003e is an essential addition to your library.\u003c\/p\u003e \u003cp\u003eJoin the ranks of enthusiastic learners and unlock new doors of thought with this remarkable book!\u003c\/p\u003e","brand":"Daniel P. Friedman","offers":[{"title":"Default Title","offer_id":50969806602582,"sku":"9780262560993","price":52.14,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780262560993.jpg?v=1754129004"},{"product_id":"little-typer-mit-press-ltd-9780262536431-daniel-p-friedman","title":"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":63.05,"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":"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":60.62,"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.englishbook.pl\/collections\/daniel-p-friedman.oembed","provider":"Bookshop","version":"1.0","type":"link"}