Corso di Sistemi con Vincoli

A. A. 2010/2011

Laurea Magistrale in Informatica, Universita' di Padova

Docente: Francesca Rossi


Argomento principale di questo corso e' la programmazione con vincoli, sia dal punto di vista teorico che pratico. La programmazione con vincoli e' un'area di ricerca molto attiva a cavallo tra l'Intelligenza Artificiale, la Ricerca Operativa, i Linguaggi di Programmazione, e le Basi di Dati, e fornisce strumenti per la modellazione e la soluzione di problemi reali visti come un insieme di vincoli su un certo insieme di variabili.


Programma del corso:
Libro di testo: Principles of Constraint Programming, K. Apt, Cambridge University Press, 2003

Altri libri di riferimento:


Lucidi del corso:
Altro materiale utile:
Orario di lezione: Lunedi' 14:30-16:30, Martedi' 15:30 - 17:30, Mercoledi' e Giovedi' 11:30-13:30, aula 1BC/50, Torre Archimede

Nota: nell'orario ci sono 8 ore di lezione ogni settimana, mentre per avere 48 ore di lezione in totale ne servirebbero solo 6. Il motivo e' che molte lezioni non verranno tenute per vacanze accademiche o impegni del docente. Le lezioni che saranno tenute sono:

Note:


Modalita' di esame: Scritto + progetto e sua discussione.

Appelli: due a fine corso, due a Settembre, uno a Dicembre.


Gruppi e argomenti per il progetto:

Francesca Rossi ( frossi@math.unipd.it)