1. [I]nfo
  2. [M]oduli
  3. [B]acheca
  4. [P]rogramma
  5. [O]rari
  6. [E]sami
  7. E[v]enti
  8. [F]iles

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
2021 © Università di TorVergata  |  FAQ  |  Contatta la Redazione  |