Per l'anno accademico 2011-2012, si è mantenuto lo stesso tipo di programma e di suddivisione in moduli degli anni accademici precedenti, offrendo agli studenti una più ampia possibilità di scelta, grazie alla collaborazione del dott. Roberto Bruttomesso, neo-assegnista presso il DSI.
Facendo click qui troverete il materiale sulle OBDD e alcuni files per NuSMV. A questo link, si può scaricare il progetto d'esame di uno studente, progetto che può costituire un utile esempio per tutti.
Per gli studenti della Laurea Specialistica in Informatica per la Comunicazione sono possibili programmi appositi, da concordare col docente.
L'orario di ricevimento del prof. Ghilardi è il venerdì mattina alle ore 11.30.
L'esame sarà costitutito da un colloquio. Il programma dovrà essere concordato con il docente del corso: indicativamente (ma non necessariamente), si potrà scegliere di studiare uno dei moduli in maniera approfondita e limitarsi ai tratti essenziali del programma rimanente. È possibile sostituire (in tutto o in parte) gli argomenti proposti utilizzando materiale didattico alternativo che verrà fornito dal docente su richiesta.
L'esame è su appuntamento e può essere sostenuto (previo accordo con il docente) durante un qualsiasi orario di ricevimento. Per la registrazione formale, occorre iscriversi al SIFA al più una settimana prima, in corrispondenza delle date degli appelli del corso di Logica Matematica della Laurea Magistrale.