Description
Product ID: | 9783030769079 |
Product Form: | Paperback / softback |
Country of Manufacture: | GB |
Series: | Undergraduate Topics in Computer Science |
Title: | Introduction to Computation |
Subtitle: | Haskell, Logic and Automata |
Authors: | Author: Donald Sannella, Philip Wadler, Michael Fourman, Haoran Peng |
Page Count: | 366 |
Subjects: | Algorithms and data structures, Algorithms & data structures, Mathematical theory of computation, Mathematical theory of computation |
Description: | Select Guide Rating Computation, itself a form of calculation, incorporates steps that include arithmetical and non-arithmetical (logical) steps following a specific set of rules (an algorithm). Computation, 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. |
Imprint Name: | Springer Nature Switzerland AG |
Publisher Name: | Springer Nature Switzerland AG |
Country of Publication: | GB |
Publishing Date: | 2022-01-20 |