Informazioni di Logica Matematica

Dipartimento: Scienze Matematiche, Fisiche E Naturali
Settore Ministeriale: MAT/01
Codice di verbalizzazione: 8066118
Metodi di insegnamento: Frontale E Altro
Metodi di valutazione: Scritto E Orale
Prerequisiti: nessuno
Obiettivi: Acquisire una buona conoscenza dello sviluppo, dei metodi e delle applicazioni della teoria degli insiemi, apprezzando la distinzione fra una sua trattazione intuitiva ed una trattazione assiomatica. In particolare, apprendere l'uso della teoria degli insiemi come ambiente in cui è possibile formalizzare la matematica. Acquisire un conoscenza almeno elementare dei risultati di indipendenza e non contraddittorietà, e delle applicazioni dei grandi cardinali.

Navigazione Utente: