Life changes fast.
Life changes in the instant.
You sit down to dinner and life as you know it ends.
The question of self-pity.

from ''The Year of Magical Thinking'' by Joan Didion (2005).

Attività Didattica A.A. 2009-10


Per ogni informazione relativa all'anno accademico 2010-2011, si prega di fare riferimento alla pagina qui.
For each information related to the academic year 2010-2011, please refer to the page here.

Formal Methods
A short note on higher order logic and the HOL proof assistant is available.
An electronic version of the HOL basic rules of inference is available here (modulo rotation of the document).

Corso di Informatica (CdL Matematica)
Disponibile una versione elettronica del capitolo sul linguaggio macchina.

The English versions of the two lecture notes on abstract reduction systems and term rewriting systems are now also available at the photocopy shop inside the Faculty near the main entrance of the building Coppito 1.
For preliminary information on the course of Formal Methods see section below.

Insegnamenti A.A. 2009-10

Modulo di Laboratorio di Programmazione I [6 cfu]
(all'interno del corso di Fondamenti di Programmazione con Laboratorio [12 cfu] della Laurea Base in Informatica)

Corso di Informatica [6 cfu] (Laurea Base in Matematica, DM 270)

Modulo di Metodi Formali dell'Informatica [6 cfu]
(all'interno del corso di Metodi Formali e di Verifica [12 cfu] della Laurea Magistrale in Informatica)