Authors:
- Introduces computation, spanning the key concepts and methods
- Highly intuitive and accessible explanatory style
- Firm grounding in logic and automata, with an approach using Haskell
- Request lecturer material: http://www.sn.pub/lecturer-material
Part of the book series: Undergraduate Topics in Computer Science (UTICS)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (32 chapters)
-
Front Matter
About this book
Reviews
Authors and Affiliations
-
School of Informatics, University of Edinburgh, Edinburgh, UK
Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler
About the authors
Bibliographic Information
Book Title: Introduction to Computation
Book Subtitle: Haskell, Logic and Automata
Authors: Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler
Series Title: Undergraduate Topics in Computer Science
DOI: https://doi.org/10.1007/978-3-030-76908-6
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2021
Softcover ISBN: 978-3-030-76907-9Published: 20 January 2022
eBook ISBN: 978-3-030-76908-6Published: 19 January 2022
Series ISSN: 1863-7310
Series E-ISSN: 2197-1781
Edition Number: 1
Number of Pages: XVI, 366
Number of Illustrations: 271 b/w illustrations, 13 illustrations in colour
Topics: Theory of Computation, Mathematics of Computing, Logics and Meanings of Programs, Algorithm Analysis and Problem Complexity