| LM410 - LOGICA MATEMATICA 1
(obiettivi)
IL CORSO SI PROPONE COME OBIETTIVO LO STUDIO DELLE APPLICAZIONI DEL TEOREMA DI COMPATTEZZA, DEI TEOREMI DI LÖWENHEIM-SKOLEM, DELLA RICORSIVITÀ E DECIDIBILITÀ, DELL'ARITMETICA DI PEANO E DEI 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)
|
Canale Unico
|
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
|
|
Date di inizio e termine delle attività didattiche
|
Dal al |
|
Modalità di frequenza
|
Non obbligatoria
|
|
|
Università Roma Tre