We use cookies to make your experience better. To comply with the new e-Privacy directive, we need to ask for your consent to set the cookies. Learn more.
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.
ISBN/EAN | 9783030769079 |
---|---|
Author | Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler |
Publisher | Springer-Verlag |
Publication date | 20 Jan 2022 |
Format | Paperback |
Write Your Own Review
Introduction to Computation : Haskell, Logic and Automata
Computation, itself a form of calculation, incorporates steps that include arithmetical and non-arithmetical (logical) steps following a specific set of rules (an algorithm). 1st ed. 2021
Estimated delivery in 1-5 working days
Read more about our shipping and delivery
OTHER PRODUCTS YOU MIGHT LIKE!