Sillabo dell'insegnamento

• A - Fondamenti
V - Varie
Nozioni matematiche di base, insiemi numerabili e non, tecniche di numerazione
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
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
* CAL - Calcolabilita'
Tecniche di programmazione: teorema s-m-n, teorema di ricursione