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: le sessioni di laboratorio si terrano al LabP036 al Paolotti

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:

Inoltre:


Metodi e materiale

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)

 

Materiale Didattico

Lezioni del corso

I lucidi verrano resi disponibili mano a mano che il corso progredisce.

I lucidi sono in lingua inglese.

Home page lucidi web

Articoli consigliati

Durante il corso, verranno indicati degli articoli scientifici come lettura consigliata.