Informazioni di Logica Matematica 1

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.

Navigazione Utente: