Introduzione, macchine URM,
computazioni
(Agg. 6/11/07) |
Decidibilità di predicati, composizione di
funzioni
(Agg. 6/11/07) |
Ricorsione, definizione per casi, somme e prodotti
limitati, minimalizzazione limitata
(Agg. 28/11/07) |
Minimalizzazione, funzione di
Ackermann
(Agg. 28/11/07) |
Altri approcci alla calcolabilità, tesi di
Church
(Agg. 28/11/07) |
Enumerazione delle funzioni calcolabili, teorema
s-m-n
(Agg. 12/12/07) |
Programmi universali, forma normale di
Kleene, operazioni effettive su funzioni calcolabili
(Agg. 12/12/07) |
Problemi indecidibili, tecnica della riduzione,
teorema di Rice, indecidibilità in altri domini, predicati
parzialmente decidibili
(Agg. 2/02/08) |
Insiemi ricorsivamente enumerabili, varie
caratterizzazioni, teorema di Rice-Shapiro
(Agg. 29/01/08) |
|