Sillabo dell'insegnamento

• A - Fondamenti
* CAL - Calcolabilita'
Tecniche di programmazione: teorema s-m-n, teorema di ricursione
SLP - Semantica dei Linguaggi di Programmazione
Enumerazione di programmi e funzioni, la costruzione di un programma interprete
* CAL - Calcolabilita'
Funzioni calcolabili e non, problemi indecidibili
SLP - Semantica dei Linguaggi di Programmazione
Programmi while: sintassi (grammatica, nozione di macro-istruzione) e semantica (nozione di computazione, associazione programma-funzione che questi calcola)
* CAL - Calcolabilita'
Macchine di Turing, teorema di incompletezza di Godel
• D - Linguaggi
V - Varie
Nozioni matematiche di base
V - Varie
insiemi numerabili
V - Varie
tecniche di numerazione
V - Varie
insiemi non numerabili