{"product_id":"introduction-to-computation-haskell-logic-and-automata-paperback","title":"Introduction to Computation: Haskell, Logic and Automata - Paperback","description":"\u003cp\u003eby \u003cb\u003eDonald Sannella\u003c\/b\u003e (Author), \u003cb\u003eMichael Fourman\u003c\/b\u003e (Author), \u003cb\u003eHaoran Peng\u003c\/b\u003e (Author)\u003c\/p\u003e\u003cp\u003eComputation, itself a form of calculation, incorporates steps that include arithmetical and non-arithmetical (logical) steps following a specific set of rules (an algorithm). This uniquely accessible textbook introduces students using a very distinctive approach, quite rapidly leading them into essential topics with sufficient depth, yet in a highly intuitive manner. From core elements like sets, types, Venn diagrams and logic, to patterns of reasoning, calculus, recursion and expression trees, the book spans the breadth of key concepts and methods that will enable students to readily progress with their studies in Computer Science.\u003c\/p\u003e\u003ch3\u003eBack Jacket\u003c\/h3\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eComputation is a process of calculation involving arithmetic and logical steps, following a given set of rules (an algorithm).\u003c\/p\u003e\u003cp\u003eThis uniquely accessible textbook introduces students to computation using a very distinctive approach, quite rapidly leading them into essential topics with sufficient depth, yet in a highly intuitive manner. The work is anchored in coverage of functional programming (in Haskell), symbolic logic, and finite automata-- each a critical component of the foundations of Informatics, and together offering students a clear glimpse into an intellectual journey beyond mere mastery of technical skills. From core elements like types, Venn diagrams and logic, to patterns of reasoning, sequent calculus, recursion and algebraic data types, the book spans the breadth of key concepts and methods that will enable students to readily progress with their studies in Computer Science.\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cb\u003eTopics and features: \u003c\/b\u003e\u003c\/p\u003e\u003cul\u003e\n\u003cli\u003eSpans the key concepts and methods that underpin computation\u003c\/li\u003e\n\u003cli\u003eDevelops symbolic logic, with a view toward honing clarity of thought; and automata, as a foundation for future study of both their applications and related theoretical topics\u003c\/li\u003e\n\u003cli\u003eIntroduces powerful functional programming ideas that will be useful regardless which programming languages are used later\u003c\/li\u003e\n\u003cli\u003eProvides numerous exercises to support a clear and open, accessible approach\u003c\/li\u003e\n\u003cli\u003eOffers a dedicated website with resources for instructors and students, including code and links to online information\u003c\/li\u003e\n\u003cli\u003eIncludes a wide array of marginal notes, empowering readers to \"go beyond\" the content presented\u003c\/li\u003e\n\u003cli\u003eApproaches logic and automata through Haskell code, to bring key concepts alive and foster understanding through experimentation\u003c\/li\u003e\n\u003c\/ul\u003e\u003cp\u003eAssuming no formal background in programming, this highly practical and accessible textbook provides the grounding fundamentals of computation for undergraduate students. Its flexible, yet clear expository style also makes the book eminently suitable as a self-study instructional guide for professionals or nonspecialists interested in these topics.\u003c\/p\u003e\u003cp\u003eProf. \u003cb\u003eDonald Sannella\u003c\/b\u003e, Prof. \u003cb\u003eMichael Fourman\u003c\/b\u003e, and Prof. \u003cb\u003ePhilip Wadler\u003c\/b\u003e are each at the University of Edinburgh's School of Informatics, Edinburgh, UK. Mr. \u003cb\u003eHaoran Peng\u003c\/b\u003e will soon pursue research interests in machine learning and machine intelligence at Cambridge University, Cambridge, UK.\u003c\/p\u003e\u003ch3\u003eAuthor Biography\u003c\/h3\u003e\u003cp\u003eProf. Donald Sannella, Prof. Michael Fourman, and Prof. Philip Wadler are each at the University of Edinburgh's School of Informatics, Edinburgh, UK. Mr. Haoran Peng is also at the same university department.\u003c\/p\u003e\u003cdiv\u003e\n\u003cstrong\u003eNumber of Pages:\u003c\/strong\u003e 366\u003c\/div\u003e\u003cdiv\u003e\n\u003cstrong\u003eDimensions:\u003c\/strong\u003e 0.79 x 11 x 8.25 IN\u003c\/div\u003e\u003cdiv\u003e\n\u003cstrong\u003eIllustrated:\u003c\/strong\u003e Yes\u003c\/div\u003e\u003cdiv\u003e\n\u003cstrong\u003ePublication Date:\u003c\/strong\u003e January 20, 2022\u003c\/div\u003e","brand":"Books by splitShops","offers":[{"title":"Default Title","offer_id":42744171659327,"sku":"9783030769079","price":73.85,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0105\/8226\/1823\/files\/ab401c05e63315d3df4adc198babb6ea.webp?v=1765167285","url":"https:\/\/dhlswag.com\/products\/introduction-to-computation-haskell-logic-and-automata-paperback","provider":"BBB","version":"1.0","type":"link"}