Modelli Di Calcolo E Computabilita'

Un volume per quanti desiderano conoscere i principali risultati della teoria della calcolabilità e le sue applicazioni all'informatica. Questa disciplina si propone di ricercare modelli di calcolo sempre più potenti e di caratterizzare l'insieme delle funzioni che risultano calcolabili con i modelli proposti. L'interesse odierno per lo studio della teoria della calcolabilità è dovuto all'introduzione dei calcolatori elettronici, perché la nozione di calcolabilità individuata coincide con il concetto di calcolo eseguibile da una macchina. In questo testo si presentano diversi modelli di calcolo, ponendo in rilievo gli aspetti informatici di ciascuno; viene mostrato che tutti i modelli calcolano il medesimo insieme di funzioni e vengono dati esempi di funzioni che non possono essere calcolate da nessuno dei modelli proposti. Alberto Marchetti Spaccamela è professore straordinario di "Sistemi per l'elaborazione dell'informazione" presso la Facoltà di Scienze dell'Università dell'Aquila. Nato a La Spezia nel 1954, si è laureato in ingegneria elettronica all'Università di Roma e si è specializzato all'Università di California a Berkeley. t autore di numerose pubblicazioni scientifiche nel campo della teoria degli algoritmi e delle sue applicazioni alla progettazione di sistemi informatici. t autore insieme a G. Ausiello e M. Protasi del libro Teoria e progetto di algoritmi fondamentali (Angeli, 1985). Marco Protasi è professore straordinario di -Teoria e applicazione delle macchine calcolatrici» presso la Facoltà di Scienze dell'Università di Roma "Tor Vergata". Nato a Spoleto nel 1950, si è laureato in matematica presso l'università di Roma. Da molti anni è incaricato di ricerca dell'istituto di analisi dei sistemi e informatica del Cnr. E' autore di molte pubblicazioni scientifiche nel campo della matematica applicata e dell'informatica teorica.