Logica matematica

L'insegnamento ha lo scopo principale di fornire le conoscenze di base e le capacità di ragionamento proprie della logica matematica. La prima parte dell'insegnamento ha l'obiettivo di descrivere i concetti principali della logica classica: la logica proposizionale e la logica primo ordine. La parte finale fornisce una breve introduzione ad alcune applicazioni della logica all'informatica.

Le competenze acquisite con l'insegnamento sono la capacità di ragionamento logico, la conoscenza delle principali logiche classiche e la conoscenza di alcune applicazioni della logica all'informatica.