Introduction to Computation: Haskell, Logic and Automata

Don Sannella, Michael Paul Fourman, Haoran Peng, Philip Wadler

Research output: Book/ReportBook

Abstract / Description of output

Computation is a process of calculation involving arithmetic and logical steps, following a given set of rules (an algorithm).
This uniquely accessible textbook introduces students to computation using a very distinctive approach, quite rapidly leading them into essential topics with sufficient depth, yet in a highly intuitive manner. The work is anchored in coverage of functional programming (in Haskell), symbolic logic, and finite automata-- each a critical component of the foundations of Informatics, and together offering students a clear glimpse into an intellectual journey beyond mere mastery of technical skills. From core elements like types, Venn diagrams and logic, to patterns of reasoning, sequent calculus, recursion and algebraic data types, the book spans the breadth of key concepts and methods that will enable students to readily progress with their studies in Computer Science.
Original languageEnglish
PublisherSpringer International Publishing
Number of pages365
ISBN (Electronic)9783030769086
ISBN (Print)978-3-030-76907
Publication statusPublished - 14 Feb 2022

Publication series

NameUndergraduate Topics in Computer Science
PublisherSpringer International Publishing
ISSN (Print)1863-7310
ISSN (Electronic)2197-1781

Keywords / Materials (for Non-textual outputs)

  • computing
  • logic
  • Automata
  • Haskell
  • algorithms
  • introduction
  • mathematics of computing


Dive into the research topics of 'Introduction to Computation: Haskell, Logic and Automata'. Together they form a unique fingerprint.

Cite this