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.
Codice
20402119
Lingua
ITA
Tipo di attestato
Attestato di profitto
Crediti
7
Settore scientifico disciplinare
MAT/01
Ore Aula
60
Attività formativa
Attività formative a scelta dello studente (art.10, comma 5, lettera a)