Introduction to Computation : Haskell, Logic and Automata Paperback / softback
by Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler
Part of the Undergraduate Topics in Computer Science series
Paperback / softback
Description
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.
Information
-
Only a few left - usually despatched within 24 hours
- Format:Paperback / softback
- Pages:366 pages, 13 Illustrations, color; 271 Illustrations, black and white; XVI, 366 p. 284 illus., 13 i
- Publisher:Springer Nature Switzerland AG
- Publication Date:20/01/2022
- Category:
- ISBN:9783030769079
£29.99
£24.35
Information
-
Only a few left - usually despatched within 24 hours
- Format:Paperback / softback
- Pages:366 pages, 13 Illustrations, color; 271 Illustrations, black and white; XVI, 366 p. 284 illus., 13 i
- Publisher:Springer Nature Switzerland AG
- Publication Date:20/01/2022
- Category:
- ISBN:9783030769079
