A.A. 2004-2005 I periodo (III Anno) 6 CFU
Obiettivi formativi: Scopo del corso è quello di fornire gli
strumenti formali e le nozioni fondamentali per studiare problemi
trattabili e non mediante calcolatore. Il corso è strutturato in 2
parti. Nella prima parte viene presentata la teoria degli automi e
dei linguaggi formali, teoria a fondamento della descrizione e
dell'implementazione dei linguaggi di programmazione. La seconda
parte delinea i concetti e la natura dei problemi che ammettono
soluzione effettiva, ovvero dei problemi risolvibili mediante
calcolatore.
Propedeuticità consigliate: Il corso ha come prerequisiti i corsi del I e II anno. Esso è propedeutico per tutti i corsi di informatica teorica, in particolar modo per i corsi di complessità, analisi e verifica automatica di sistemi, sicurezza e crittografia, i corsi di linguaggi e compilatori, intelligenza artificiale, deduzione automatica, semantica, modelli di calcolo non convenzionali, etc.
Programma dettagliato
Modalità d'esame: Esame scritto ed orale. Voto minimo di
ammissione all'orale: 16. Il voto dello scritto è valido per
l'ammissione all'orale
Testi di consultazione ad integrazione della dispensa: