Logica matematica

L'insegnamento ha lo scopo di introdurre i principi fondamentali del ragionamento razionale, tramite l'approccio formale fornito dalla logica matemaica, sia a livello proposizionale che a livello predicativo.

Lo studente dovrà essere in grado di formalizzare ragionamenti razionali tramite le tecniche di prova formale apprese. Dovrà essere inoltre capace di costruire controesempi per ragionamenti fallaci.