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.

More Information
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
You're reviewing:Introduction to Computation : Haskell, Logic and Automata

Introduction to Computation : Haskell, Logic and Automata

Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler
€37.99

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!