Elementi di logica matematica
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.
Course Contact: Progetto start@unito