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.: 2018/2019
  • Canale: UNICO
  • Crediti: 8