{"product_id":"certainty-by-construction","title":"Certainty by Construction","description":"\u003cp\u003eAgda is not just a programming language; it's a completely new way of thinking about software, and mathematical objects at large. This book is on successfully wielding Agda: teaching everything you need to know to get productive in modeling problems and in verifying your solutions.\u003c\/p\u003e\n\n\u003cp\u003eReady for a software revolution?\u003c\/p\u003e\n\n\u003cp\u003eThe software status quo is woefully inadequate when it comes to addressing critical issues. The endless stream of hasty solutions piled on top of earlier slapdash fixes has left us mired in inefficiency. Certainty by Construction boldly proclaims that the solution lies in embracing the elegance of abstract algebra as the cornerstone of software design. Learn to model problems in Agda, and get ready to explore the captivating world of proof assistance.\u003c\/p\u003e\n\n\u003cp\u003eDiscover abstract mathematics\u003c\/p\u003e\n\n\u003cp\u003eEver pondered what equality truly means? Intrigued by the prospect of\u003c\/p\u003e\n\n\u003cp\u003eautomatically discovering asymptotic optimizations? Curious about the enigmatic world of monoids and how they birth fascinating programs? Certainty by Construction will unravel these mysteries and guide you on a journey of intellectual discovery.\u003c\/p\u003e\n\n\u003cp\u003eFor veterans and newcomers both\u003c\/p\u003e\n\n\u003cp\u003eWhether you're a seasoned programmer looking for a new and exhilarating\u003c\/p\u003e\n\n\u003cp\u003echallenge, or a mathematical amateur eager to embark on an exciting journey, this book is for you. Maguire's engaging approach will empower you to learn Agda and mathematics on your own, and equip you with an arsenal of techniques to break down complex problems into straightforward solutions.\u003c\/p\u003e\n\n\u003cp\u003eLearn to learn\u003c\/p\u003e\n\n\u003cp\u003eDiscover the invaluable skill of learning mathematics for yourself. Maguire doesn't just provide answers; he equips you with the tools to become your own mathematician. Don't just read about mathematicsÑmaster it for yourself., functional programming, agda, proof assistance, , Sandy Maguire|  | 382PAGES\u003c\/p\u003e","brand":"Sandy Maguire","offers":[{"title":"Hardcover","offer_id":46768539173025,"sku":"TOPSELL820","price":57.78,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0462\/1120\/3233\/files\/m2dgvqv-front-shortedge-384.jpg?v=1785211046","url":"https:\/\/bookswholesale.myshopify.com\/products\/certainty-by-construction","provider":"BooksWholesale","version":"1.0","type":"link"}