LOGICA DELLA MATEMATICA SP.

Anno accademico
2019/2020 Programmi anni precedenti
Titolo corso in inglese
MATHEMATICAL LOGIC
Codice insegnamento
FM0369 (AF:311997 AR:169004)
Modalità
In presenza
Crediti formativi universitari
6
Livello laurea
Laurea magistrale (DM270)
Settore scientifico disciplinare
M-FIL/02
Periodo
2° Periodo
Anno corso
1
Sede
VENEZIA
Introduzione alla logica matematica ed alla teoria dei modelli.
Teorema di compattezza e sue conseguenze, in particolare il teorema di Löwenheim–Skolem.
Teoremi di Goedel.
Una conoscenza di alcuni temi fondamentali della logica formale e della teoria degli insiemi.
Un corso di matematica o di logica.
Il linguaggio matematico.
I connettivi proposizionali ed i quantificatori esistenziale ed universale.
La logica proposizionale classica.
Cenni storici.
La logica del primo ordine: sintassi e semantica.
Toeria dei modelli.
Teorie, teorema di completezza e compattezza.
Teorema di Löwenheim–Skolem.
Teoremi di Goedel.
Berto F. "Logica da zero a Goedel" ed. Laterza
M.L. Dalla Chiara & al. "Sperimentare la logica" ed. Liguori
E. Nagel & J. R. Newman "La prova di Goedel" ed. Boringhieri.
Partecipazione alle relazioni ed alle discussioni in classe. Tesine scritte.
Convenzionali.
Italiano
Il programma è ancora provvisorio e potrà subire modifiche.
Data ultima modifica programma: 12/11/2019