Introduction to Computation : Haskell, Logic and Automata

Donald Sannella

ISBN 10: 3030769070 / ISBN 13: 9783030769079

Published by Springer, Springer, 2022

About this Item

Druck auf Anfrage Neuware - Printed after ordering - 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.

Seller Inventory # 9783030769079

Bibliographic Details

• Title: Introduction to Computation : Haskell, Logic and Automata
• Publisher: Springer, Springer
• Publication Date: 2022
• Language: English
• ISBN 10: 3030769070
• ISBN 13: 9783030769079
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 279W x 210H x 21D millimeters 279 millimeters width by 210 millimeters height by 21 millimeters depth
• Weight: 934 grams

About this title

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.

About the Author

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.