Docente & Aspetti Tecnici
Docente: Michele Lombardi (Università di Bologna)
- Supplenza di Sistemi con Vincoli (per quest'anno)
- Ricevimento su appuntamento:
- email:
michele.lombardi2@unibo.it
- telefono: 051 209 3270
- Mini-ricevimento in aula, prima/dopo le lezioni
Aspetti tecnici
Sistemi con Vincoli
Cosa: Programmazione a Vincoli
- Fondamenti teorici
- Rassegna delle tecniche più mature
- Applicazioni pratiche
Come:
- Lezioni frontali
- Sessioni di laboratorio (tendenzialmente ogni Mercoledì)
- Lucidi (in Iglese, formato pdf e web)
- Lezioni registrate (slides + voce)
- Articoli scientifici (indicati di volta in volta)
- Seminari (uno o due)
Sistemi con Vincoli
Modalità d'esame:
Scritto:
- Esercizi + domande teoriche
- Preparazione: in aula + temi d'esame (arriveranno)
Progetto (opzionale)
- Da concordare
- Presentazione + discussione
Per i frequentanti del corso di Francesca Rossi:
Questionario
- Sovrapposizioni: chi segue sistemi in real-time?
- Linguaggi di programmazione?
- Python: lo useremo in laboratorio
- C++: eventualmente, per progetti particolarmente complessi
- Complessità: P ed NP?
- Ricerca Operativa/MeMOC?
- Simplesso? Ford-Fulkerson/Edmonds-Karp? Dijkstra?
- Branch & Bound?
- Column generation?
- Strutture dati (l'idea generale)
- Liste? Stack? Alberi? Bit-vectors?
Sistemi con Vincoli
Informazioni Generali