Skip to main content

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)