Informazioni di Logica Matematica

Dipartimento: Scienze Matematiche, Fisiche E Naturali
Settore Ministeriale: MAT/01
Codice di verbalizzazione: 8066118
Metodi di insegnamento: Frontale
Metodi di valutazione: Orale
Prerequisiti: Programma di geometria e algebra della laurea triennale
Obiettivi: Teoremi di completezza e di incompletezza, questioni di dici di decidibilita

Navigazione Utente: