Skip to main content

Sistemi con Vincoli 2016/2017

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.

ATTENZIONE: mercoledì 10 Maggio ci sarà lezione in aula, mentre Giovedì 11 Maggio in laboratorio.

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 (opzionale, in linea di massima da 0 a 3 punti addizionali)

  • 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)