Sistemi con Vincoli 2015/2016
Questo sito Web è dedicato al corso di Sistemi con Vincoli, presso l'Università di Padova.
Il sito vuole consentire agli allievi di avere accesso a tutte le informazioni relative a finalità, contenuti, testi adottati e modalità di valutazione del corso.
AVVISO: il testo e la soluzione dell'esame del 12 Febbraio sono on-line, nella sezione "temi d'esame"
Orario del corso: consultabile sul sistema informatizzato del corso di laurea.
Titolare del corso:
Dott. Michele Lombardi, Tel. 051 20 93270, michele <dot> lombardi2 <at> unibo <dot> it
Ricevimento: su appuntamento, subito prima o subito dopo le lezioni
Obiettivi
Fornire una introduzione complessiva alla tecnica di Programmazione a Vincoli, a partire dalle basi sue basi teoriche fondamentali. L'enfasi del corso sarà su metodi di modellazione, propagazione di vincoli e strategie di ricerca direttamente applicabili a problemi pratici. Una parte consistente delle ore del corso sarà svolta in laboratorio, così da consentire agli allievi di maturare familiarità con risolutori a vincoli allo stato dell'arte.
Gli obiettivi pricipali del corso sono:
- Apprendere tecniche potenti e mature per la risoluzione di problemi di soddisfacimento di vincoli e di ottimizzazione combinatoria
- Apprendere le basi teoriche della Programmazione a Vincoli
- Fornire esempi pratici
Inoltre:
- Insegnare a leggere in modo critico un articolo di rassegna su un argomento del corso
- Fornire un approccio pratico a problemi reali
- Insegnare a preparare una presentazione simile a quella di laurea
Metodi e materiale
- Il corso sarà costituito da lezioni frontali e sessioni di laboratorio
- Il materiale didattico sarà costituito principalmente dalle slide del corso
- Alcuni articoli scientifici verranno proposti come letture consigliate
- Le slide del corso e delle sessioni di laboratorio saranno pubblicate di volta in volta nella apposita sezione del sito
Lo strumento software utilizzato in laboratorio sarà Google or-tools, disponibile gratuitamente. Apposite istruzioni di installazione saranno fornite dopo la prima sessione di laboratorio.
Modalità d'esame
L'esame sarà costituito da un prova scritta, più un progetto
- La prova scritta conterrà esercizi e domande di teoria
- Con il progredire del corso, verrano forniti fac-simile di esercizi e temi d'esame
- Il tema del progetto andrà concordato con il docente
- Il progetto dovrà essere presentato (orale + slides, eventualmente una demo)