Sillabo dell'insegnamento

• A - Fondamenti
* ALF - Automi e Linguaggi Formali
Grammatiche libere e automi a pila. Macchine di Turino. Linguaggi ricorsivamente enumerabili.
* CAL - Calcolabilita'
Modelli di calcolo, Tesi di Church-Turing. Programmazione logica e linguaggi formali
V - Varie
Architetture hardware di sistemi di calcolo. Sistemi operativi e macchine virtuali. Reti di calcolatori: Internet e World Wide Web
SLP - Semantica dei Linguaggi di Programmazione
Linguaggi di programmazione e paradigmi. Traduzione di programmi
L - Logica
Strutture algebriche, Algebre di Boole. Logica predicativa, sintassi e semantica.
L - Logica
Logica proposizionale, completezza e compattezza. Completezza e compattezza della logica predicativa
* ALF - Automi e Linguaggi Formali
Grammatiche formali e riconoscitori, gerarchia di Chomsky. Automi a stati finiti. Linguaggi regolari. Proprietà dei linguaggi regolari. Pumping lemma per linguaggi regolari.
COM - Complessita'
Rappresentazione di algoritmi, strutture di controllo. Principi di progettazione di algoritmi Elementi di analisi degli algoritmi.
TIC - Teoria dell'Informazione e Codici
Rappresentazione binaria dell'informazione. Dispositivi di memoria fisica dei dati. Compressione e validazione dei dati