La logica matematica analizza il ragionamento scientifico per mezzo della matematica.

Questo insegnamento offre un'introduzione alla logica del primo ordine, al principio di induzione, alle proprietà fondamentali di funzioni e relazioni, alla teoria dell’infinito di Cantor, con particolare enfasi alle applicazioni informatiche della logica.