Navigazione di Sezione:
Logica Matematica 2015/2016
Generali:
- Dipartimento: Scienze Matematiche, Fisiche E Naturali
- Settore Ministeriale: MAT/01
- Codice di verbalizzazione: 8066118
- Metodi di insegnamento: Frontale
- Metodi di valutazione: Orale
- Prerequisiti: Conoscenza dei metodi usuali della matematica moderna (a livello di uno studente del secondo anno della laurea triennale)
- Obiettivi: Apprendere gli strumenti di logica matematica necessari per una fondazione rigorosa e autosufficiente della matematica. Acquisire una buona conoscenza dello sviluppo, dei metodi e delle applicazioni della logica matematica e della teoria degli insiemi, con particolare riguardo all'uso della teoria dei modelli. Rendersi conto dell'esistenza di limiti ben definiti alle possibilità del metodo deduttivo formale.
Didattica:
- A.A.: 2015/2016
- Canale: UNICO
- Crediti: 8