- Archivi ZIP dei lucidi delle lezioni
Introduzione, macchine URM,
computazioni
(Agg. 22/11/04) |
Decidibilità di predicati, composizione di
funzioni
(Agg. 22/11/04) |
Ricorsione, definizione per casi, somme e prodotti
limitati, minimalizzazione limitata
(Agg. 22/11/04) |
Minimalizzazione, funzione di
Ackermann
(Agg. 22/11/04) |
Altri approcci alla calcolabilità, tesi di
Church
(Agg. 22/11/04) |
Enumerazione delle funzioni calcolabili, teorema
s-m-n
(Agg. 22/11/04) |
Programmi universali, forma normale di
Kleene
(Agg. 22/11/04) |
Problemi indecidibili, tecnica della riduzione,
teorema di Rice
(Agg. 29/11/04) |
Indecidibilità in altri domini, predicati
parzialmente decidibili
(Agg. 30/11/04) |
Insiemi ricorsivamente enumerabili, varie
caratterizzazioni, teorema di Rice-Shapiro
(Agg. 14/12/04) |
|