Navigazione di Sezione:
Logica Matematica 2017/2018
Generali:
- 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.
Didattica:
- A.A.: 2017/2018
- Canale: UNICO
- Crediti: 8