Articles liés à Introduction to Computation: Haskell, Logic and Automata

Introduction to Computation: Haskell, Logic and Automata - Couverture souple

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

 
9783030769079: Introduction to Computation: Haskell, Logic and Automata
Couverture souple
ISBN 10 : 3030769070 ISBN 13 : 9783030769079
Editeur : Springer, 2022

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de l'auteur

Prof. Donald Sannella, Prof. Michael Fourman, and Prof. Philip Wadler are each at the University of Edinburgh's School of Informatics, Edinburgh, UK. Mr. Haoran Peng is also at the same university department.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2022
Langue
anglais
ISBN 10 
3030769070
ISBN 13 
9783030769079
Reliure
Broché
Numéro d'édition
1
Nombre de pages
384
Coordonnées du fabricant
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Allemagne