Introduction to Computation von Donald Sannella | Haskell, Logic and Automata | ISBN 9783030769079

Introduction to Computation

Haskell, Logic and Automata

von Donald Sannella, Michael Fourman, Haoran Peng und Philip Wadler
Mitwirkende
Autor / AutorinDonald Sannella
Autor / AutorinMichael Fourman
Autor / AutorinHaoran Peng
Autor / AutorinPhilip Wadler
Buchcover Introduction to Computation | Donald Sannella | EAN 9783030769079 | ISBN 3-030-76907-0 | ISBN 978-3-030-76907-9
“This book is intended as a textbook for an introductory course in computation for students beginning in informatics. No prerequisites are needed, all concepts, even elementary ones ... . it is also very suited for self-study, even if a reader is interested in Haskell or symbolic logic alone. ... Comprehension is supported by exercises for each chapter ... .” (Dieter Riebesehl, zbMATH 1497.68005, 2022)

Introduction to Computation

Haskell, Logic and Automata

von Donald Sannella, Michael Fourman, Haoran Peng und Philip Wadler
Mitwirkende
Autor / AutorinDonald Sannella
Autor / AutorinMichael Fourman
Autor / AutorinHaoran Peng
Autor / AutorinPhilip Wadler
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.