ENGLISH

Introduction to Computation: Haskell, Logic and Automata

By Philip Wadler , Michael Fourman , Donald Sannella , Haoran Peng

Book information

Publisher
Springer
Year
2022
ISBN
3030769070, 9783030769079
DOI
10.1007/978-3-030-76908-6
Language
english
Format
PDF
Filesize
9 MB (9445660 bytes)
Series
Undergraduate Topics in Computer Science
Edition
1
Pages
384\371
Time added
2024-03-07 07:36:02

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.

Similar books