La teoria della computazione nasce dalla necessità di una sistemazione teorica del concetto di procedura di calcolo. Ha due assi portanti: la computabilità e la complessità di calcolo. Studia ciò che può e non può essere calcolato e, nel caso dei problemi risolvibili, determina in quanto tempo, con quanta memoria e su quale tipo di modello computazionale. Il testo di Michael Sipser, giunto alla terza edizione inglese, è considerato un riferimento essenziale sull'argomento, adottato in numerosissime università in tutto il mondo in ambito informatico, ingegneristico e matematico.
Introduzione alla teoria della computazione
| Titolo | Introduzione alla teoria della computazione |
| Autore | Michael Sipser |
| Curatori | C. De Felice, L. Gargano, P. D'Arco |
| Collana | Idee e strumenti |
| Editore | Apogeo Education |
| Formato |
Libro: Libro in brossura |
| Pagine | XXII-520 |
| Pubblicazione | 03/2016 |
| ISBN | 9788891616180 |