Sillabo dell'insegnamento

• A - Fondamenti
L - Logica
Sintassi e semantica algebrica, pattern matching, unificazione.
V - Varie
Abstract e Term Rewriting Systems, sistemi ortogonali.
V - Varie
Lambda-calcolo, alfa- e beta-conversione.
* ALF - Automi e Linguaggi Formali
Automi a stati finiti, linguaggi regolari.
* ALF - Automi e Linguaggi Formali
Sistemi di transizione etichettati, CCS, bisimulazione, Hennessy-Milner logic.
* ALF - Automi e Linguaggi Formali
Strong e weak equivalence, weak congruence.
* CAL - Calcolabilita'
TM (Turing Machine), RAM (Random Access Machine); funzioni calcolabili; Tesi di Church.
* CAL - Calcolabilita'
Riducibilita' tra problemi, funzione e TM universale, Halting problem, predicato di Kleene.
* CAL - Calcolabilita'
Proprieta' di chiusura di R ed RE, Teorema S-m-n, Teorema di Rice.