Titolo originale:
A Recursive Introduction to the Theory of Computation
Contenuto del libro:
L'obiettivo di questo libro di testo è presentare un resoconto della teoria della computazione.
Dopo aver introdotto il concetto di modello di calcolo e aver presentato vari esempi, l'autore esplora i limiti della computazione effettiva attraverso la teoria della ricorsione di base. L'autore introduce l'autoreferenza e altri metodi come strumenti fondamentali e di base per la costruzione e la manipolazione degli algoritmi.
Da qui il libro considera la complessità delle computazioni e introduce la nozione di misura di complessità. Infine, il libro culmina nel considerare le misure di tempo e di spazio e nel classificare le funzioni computabili come fattibili o meno. L'autore presuppone solo una familiarità di base con la matematica discreta e l'informatica, rendendo questo libro di testo ideale per un corso introduttivo di livello universitario.
Il testo si basa su molti corsi di questo tipo presentati dall'autore, per cui sono inclusi numerosi esercizi. Inoltre, vengono fornite le soluzioni alla maggior parte di questi esercizi.
Altre informazioni sul libro:
| ISBN: | 9780387943329 |
| Autore: | |
| Editore: | |
| Lingua: | inglese |
| Rilegatura: | Copertina rigida |
Acquisto:
Attualmente disponibile, in magazzino.
