Navigazione di Sezione:
Logica Matematica 1 2019/2020
Generali:
- Dipartimento: Scienze Matematiche, Fisiche E Naturali
- Settore Ministeriale: MAT/01
- Codice di verbalizzazione: 8067161
- Metodi di insegnamento: Frontale
- Metodi di valutazione: Orale
- Prerequisiti: no
- Obiettivi: Acquisire una buona conoscenza dello sviluppo, dei metodi e delle applicazioni della logica matematica, con particolare riguardo ai teoremi di incompletezza e all'uso della teoria dei modelli. Rendersi conto dell'esistenza di limiti ben definiti alle possibilit del metodo deduttivo formale.
Didattica:
- A.A.: 2019/2020
- Canale: UNICO
- Crediti: 8