Introduction to Computation: Haskell, Logic and Automata

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

doi:10.1007/978-3-030-76908-6

Introduction to Computation: Haskell, Logic and Automata

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

Research output: Book/Report › Book

Abstract

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 language	English
Publisher	Springer International Publishing
Number of pages	365
Edition	1
ISBN (Electronic)	9783030769086
ISBN (Print)	978-3-030-76907
DOIs	https://doi.org/10.1007/978-3-030-76908-6
Publication status	Published - 14 Feb 2022

Publication series

Name	Undergraduate Topics in Computer Science
Publisher	Springer International Publishing
ISSN (Print)	1863-7310
ISSN (Electronic)	2197-1781

Keywords

computing
logic
Automata
Haskell
algorithms
introduction
mathematics of computing

Access to Document

10.1007/978-3-030-76908-6Licence: All Rights Reserved

https://link.springer.com/book/9783030769086Licence: All Rights Reserved

Cite this

@book{fd465941840a4bf6adbf708fa18826a7,

title = "Introduction to Computation: Haskell, Logic and Automata",

abstract = "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.",

keywords = "computing, logic, Automata, Haskell, algorithms, introduction, mathematics of computing",

author = "Don Sannella and Fourman, {Michael Paul} and Haoran Peng and Philip Wadler",

year = "2022",

month = feb,

day = "14",

doi = "10.1007/978-3-030-76908-6",

language = "English",

isbn = "978-3-030-76907",

series = "Undergraduate Topics in Computer Science",

publisher = "Springer International Publishing",

edition = "1",

}

TY - BOOK

T1 - Introduction to Computation: Haskell, Logic and Automata

AU - Sannella, Don

AU - Fourman, Michael Paul

AU - Peng, Haoran

AU - Wadler, Philip

PY - 2022/2/14

Y1 - 2022/2/14

N2 - 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.

AB - 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.

KW - computing

KW - logic

KW - Automata

KW - Haskell

KW - algorithms

KW - introduction

KW - mathematics of computing

U2 - 10.1007/978-3-030-76908-6

DO - 10.1007/978-3-030-76908-6

M3 - Book

SN - 978-3-030-76907

T3 - Undergraduate Topics in Computer Science

BT - Introduction to Computation: Haskell, Logic and Automata

PB - Springer International Publishing

ER -

Introduction to Computation: Haskell, Logic and Automata

Abstract

Publication series

Keywords

Access to Document

Fingerprint

Cite this