LM410 - LOGICA MATEMATICA 1 - C
(obiettivi)
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.
|