LOGICA DELLA MATEMATICA SP.

Anno accademico
2021/2022 Programmi anni precedenti
Titolo corso in inglese
MATHEMATICAL LOGIC
Codice insegnamento
FM0369 (AF:357932 AR:189961)
Lingua di insegnamento
Italiano
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 oppure di logica.
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 incompletezza di Godel.
Nagel - Newman "La prova di Gödel" ed. Boringhieri.
Palladino, D. "Corso di Logica" ed. Carocci
Robinson, A. "Logica" ed. Treccani
Partecipazione alle relazioni ed alle discussioni in classe. Tesine scritte.
orale
Lezioni standard tenute dal docente
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.
Programma definitivo.
Data ultima modifica programma: 17/07/2021