>   Dipartimento di Informatica   >   Toni Mancini
[login|nuovo account]      [Italiano|English]

Laurea Specialistica in Ingegneria Informatica, Corso di

Metodi Formali nell'Ingegneria del Software

Edizione dell'a.a. 2007/08

Parte II: Fondamenti logici dei Metodi Formali

Codice Descrizione
II.1 Logica proposizionale
II.2 Logica del prim'ordine
II.3 Logica temporale


[This web site could never be realised without the sophisticated features of a pure text editor and the extreme power of 220V]