Logica

L'obiettivo dell'insegnamento è di fornire le conoscenze di base e le capacità di ragionamento proprie della Logica e di introdurre le applicazioni della Logica alla Sicurezza Informatica.

Al termine dell'insegnamento, lo studente dovrà essere in grado di modellare e risolvere semplici problemi, logici o di Sicurezza Informatica, con gli strumenti e le tecniche presentate nell'insegnamento.