LOGICA DELLA MATEMATICA SP.

Anno accademico
2020/2021 Programmi anni precedenti
Titolo corso in inglese
MATHEMATICAL LOGIC
Codice insegnamento
FM0369 (AF:346353 AR:178032)
Modalità
In presenza
Crediti formativi universitari
6
Livello laurea
Laurea magistrale (DM270)
Settore scientifico disciplinare
MAT/01
Periodo
2° Periodo
Anno corso
1
Spazio Moodle
Link allo spazio del corso
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 Godel.
Comprensione dei teoremi di Godel e delle loro implicazioni filosofiche.
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.
"La prova di Gödel" ed. Boringhieri.
Palladino, D. "Corso di Logica" ed. Carocci
Partecipazione alle relazioni ed alle discussioni in classe. Tesine scritte.
Lezioni standard tenute dal docente
Italiano
Accessibilità, disabilità e inclusione

Ca’ Foscari applica la Legge Italiana (Legge 17/1999; Legge 170/2010) per i servizi di supporto e di accomodamento disponibili agli studenti con disabilità o con disturbi specifici dell’apprendimento. Se hai una disabilità motoria, visiva, dell’udito o altre disabilità (Legge 17/1999) o un disturbo specifico dell’apprendimento (Legge 170/2010) e richiedi supporto (assistenza in aula, ausili tecnologici per lo svolgimento di esami o esami individualizzati, materiale in formato accessibile, recupero appunti, tutorato specialistico a supporto dello studio, interpreti o altro) contatta l’ufficio Disabilità e DSA disabilita@unive.it.
orale
Programma definitivo.
Data ultima modifica programma: 03/07/2020