Laurea Magistrale Informatica
- Teacher: Lorenza Saitta
In questo corso studieremo la teoria del ``linguaggi di programmazione'' che e' il fondamento della costruzione del software. Lo scopo principale e' quello di descrivere il comportamento dei programmi in modo preciso ma allo stesso tempo astratto. Saranno analizzati i costrutti dei linguaggi imperativi, funzionali e ad oggetti sia dal punto di vista della semantica statica (tipi) che dinamica (esecuzione) e la loro interazione.
- Teacher: Paola Giannini
- Teacher: Laura Giordano
- Teacher: Daniele Theseider Dupre
Corso di Sistemi Distribuiti
- Teacher: Cosimo Anglano
- Teacher: Massimo Canonico
Scopo del corso e' fornire allo studente gli strumenti necessari per la progettazione di sistemi intelligenti a supporto delle decisioni, basati sulla teoria delle decisioni ed i modelli grafico-probabilistici tipici dell'Intelligenza Artificiale (Influence Diagrams, Reti Bayesiane, ecc...).
- Teacher: Luigi Portinale
- Teacher: Giorgio Leonardi