Sillabo dell'insegnamento

• A - Fondamenti
COM - Complessità
+ AL-BACC - Basic Automata, Computability and Complexity
Rappresentazione di algoritmi, strutture di controllo. Principi di progettazione di algoritmi Elementi di analisi degli algoritmi.
TIC - Teoria dell'Informazione e Codici
+ PL-BTS - Basic Type Systems
Rappresentazione binaria dell'informazione. Dispositivi di memoria fisica dei dati. Compressione e validazione dei dati
L - Logica
+ DS-PT - Proof Techniques
Logica proposizionale, completezza e compattezza. Completezza e compattezza della logica predicativa
* ALF - Automi e Linguaggi Formali
* PL-SyA - Syntax Analysis
Grammatiche formali e riconoscitori, gerarchia di Chomsky. Automi a stati finiti. Linguaggi regolari. Proprietà dei linguaggi regolari. Pumping lemma per linguaggi regolari.
L - Logica
+ PL-LTE - Language Translation and Execution
Strutture algebriche, Algebre di Boole. Logica predicativa, sintassi e semantica.
V - Varie
+ AR-MSOA - Memory System Organization and Architecture
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
+ AR-MLRD - Machine Level Representation of Data
Linguaggi di programmazione e paradigmi. Traduzione di programmi
* CAL - Calcolabilità
+ DS-BL - Basic Logics
Modelli di calcolo, Tesi di Church-Turing. Programmazione logica e linguaggi formali
* ALF - Automi e Linguaggi Formali
+ AL-BACC - Basic Automata, Computability and Complexity
Grammatiche libere e automi a pila. Macchine di Turino. Linguaggi ricorsivamente enumerabili.