Introduction to Computation: Haskell, Logic and Automata

Main
Computers - Computer Science
Introduction to Computation: Haskell,...

Introduction to Computation: Haskell, Logic and Automata

Name: Introduction to Computation: Haskell, Logic and Automata
ISBN: 9783030769079

Donald Sannella, Michael Fourman, Haoran Peng, Philip Wadler

0 / 3.0

0 comments

¿Qué tanto le ha gustado este libro?

¿De qué calidad es el archivo descargado?

Descargue el libro para evaluar su calidad

¿Cuál es la calidad de los archivos descargados?

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.

Categorías:

Computers - Computer Science

Año:

2022

Edición:

Editorial:

Springer

Idioma:

english

Páginas:

371

ISBN 10: