da bluesummer » lun ago 18, 2008 8:19 am
E' proprio il caso di dire "università che vai usanze che trovi".
A Vr, fondamenti dell'informatica è un esame "avanzato" (si fa al 3° anno se non erro") ed è totalmente teorico.
Il programma del corso è:
Automi e linguaggi formali: Linguaggi e grammatiche, Automi a stati finiti e linguaggi regolari, Linguaggi liberi da contesto, forme normali e automi a pila, Classificazione di Chomsky (cenni).
Calcolabilità: Nozione intuitiva di algoritmo, Modelli formali per il calcolo: Macchine di Turing/funzioni ricorsive/programmi While, Tesi di Church, Goedelizzazione, Universalità e Teorema s-m-n, Problemi solubili e non: problema della terminazione, Metaprogrammazione: compliazione, interpretazione e specializzazione, Insiemi ricorsivi e r.e., Teoremi di Ricorsione e Teorema di Rice, Riducibilità funzionale: Insiemi completi, creativi e produttivi.