Il corso, tenuto nel secondo semestre (periodo didattico da marzo 2013 a maggio 2016), è di 24 ore ed è rivolto agli studenti di Scienza e Tecnologia del terzo anno della Scuola Superiore di Studi Avanzati della Sapienza.

L'obiettivo del corso è lo studio degli aspetti fondamentali della logica e della relazione tra tale disciplina e l'informatica. Alla fine del corso lo studente dovrebbe avere acquisito gli strumenti fondamentali della logica formale, quali le nozioni logiche relative a teorie, teoremi e dimostrazioni, sia per i linguaggi proposizionali sia per il linguaggi del primo ordine, e le conoscenze sulle relazioni tra la logica e l'informatica, nei vari aspetti relativi alle basi di dati, alla programmazione e alla modellazione dei sistemi dinamici.