Corso di Sistemi con Vincoli

A. A. 2012/2013

Laurea Magistrale in Informatica, Universita' di Padova

Docente: Francesca Rossi


News:
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, di cui verranno usate delle piccole parti:


Lucidi del corso:
Altro materiale utile:
Orario di lezione: Lunedi' 13:30-15:30, aula 1BC/50
Martedi' 13:30 - 15:30, aula 1BC/50
Mercoledi' 13:30 - 15:30, aula 1BC/50
Giovedi' 13:30-15:30, aula 1BC/45

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 alcune lezioni non verranno tenute per vacanze accademiche o impegni del docente. Tra le lezioni che NON saranno tenute ci sono le seguenti:


Modalita' di esame: Scritto + progetto e sua discussione. Il progetto avra' un voto da 0 a 4, che sara' aggiunto al voto dello scritto (in trentesimi).

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


Francesca Rossi ( frossi@math.unipd.it)