Istituzioni di Logica Matematica

Docenti: Gianluca Paolini, Raphael Carroy.

CFU: 9 o 6

Periodo: 1° semestre

Programma:

‣

Mostra programma

Prova scritta:

Versione da 9 CFU: sei esercizi su tutti gli argomenti dell'insegnamento e prevedono la capacità di applicare le definizioni e i teoremi visti a lezione a situazioni specifiche oppure di saper dimostrare i risultati presentati a lezione o loro minime varianti.
Versione da 6 CFU: quattro esercizi su tutti gli argomenti dell'insegnamento e prevedono la capacità di applicare le definizioni e i teoremi visti a lezione a situazioni specifiche oppure di saper dimostrare i risultati presentati a lezione o loro minime varianti.

Prova orale:

Ammissione: avere superato lo scritto con almeno 18 punti (su 30).
Tipologia: discussione dello scritto svolto dallo studente e dall'esposizione di qualche argomento dell'insegnamento, a scelta del docente.
Quando: nella stessa sessione d’esame.
In caso di non superamento: è necessario ripetere la prova scritta.