Docente
|
TORTORA DE FALCO LORENZO
(programma)
APPLICAZIONI DEL TEOREMA DI COMPATTEZZA, I TEOREMI DI LÖWENHEIM-SKOLEM. RICORSIVITÀ E DECIDIBILITÀ, COMPLETEZZA E DECIDIBILITÀ DI UNA TEORIA, ESEMPI. ARITMETICA DI PEANO E TEOREMI DI INCOMPLETEZZA DI GÖDEL.
(testi)
DISPENSE FORNITE DAL DOCENTE
|