Introduction to Computation - E-book

eBook

Introduction To Computation - ENG

Haskell, Logic And Automata

Donald Sannella; Michael Fourman; Haoran Peng; Philip Wadler

eBook

$900.00

Disponible

Información adicional
Sinopsis

ISBN:	9783030769086
Formato:	ePub
Idioma:	Inglés
Editorial:	Springer Nature
Tema:	Computadoras
Subtema:	Ciencia de computación
Año de publicación:	2022-01-19

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.

eBooks