| Settimana | Argomento | Mercoledì (ore 15:45:-17:15) | Venerdì (ore 15:45-19:00) |
| 1:14-20mar | FOL e Query Congiuntive | Lezioni 1-2 |
Lezioni 3-6 |
| 2:21-27mar | FOL e Query Congiuntive | Lezioni
7-8 | Lezioni 9-12 |
| 3:28mar-03apr | Formalizzazione dei Diagrammi delle classi UML | Lezioni 13-14 - Formalizzazione dei diagrammi delle classi in FOL |
Lezioni 15-18 |
| 4:04-10apr | Interrogazioni su Diagrammi delle classi UML | Lezioni 19-20 - Le logiche descrittive - Tableaux per concetti ALC - Tableaux per basi di conoscenza ALC |
Lezioni 21-24 |
| 5:11-17apr | Interrogazioni su Diagrammi delle classi UML | Lezioni 25-26 - Query congiuntive su diagrammi UML - Informazione completa vs informazione incompleta - Query congiuntive in logiche descrittive |
Lezioni 27-30 - DL-liteA - Ragionare in DL-liteA |
| 6:18-24apr | Interrogazioni su Diagrammi delle classi UML | Lezioni 29-30 |
Vacanze Pasqua
|
| 7:25-01mag | Pre/Postcondizioni nei programmi | Lezioni 31-32 - Pre & Post nei programmi - Transition systems - Semantica di valutazione dei programmi - Semantica di transizione dei programmi |
Lezione Annullata |
| 8:02-08mag | Pre/Postcondizioni nei programmi |
Lezioni 33-34 - Pre & Post nei programmi - Semantica di valutazione dei programmi - Semantica di transizione dei programmi |
Lezioni 35-38 |
| 9:09-15mag | Teoria dei punti fissi & mu-calculus | Lezioni 39-40 |
Lezioni 41-44 |
| 10:16-22mag | Model checking | Lezioni 45-46 - Introduzione al model checking - Transition systems - Logiche temporali: LTL, CTL e CTL* |
Lezioni 47-50 |
| 11:23-29mag | Model checking | Lezioni 51,52 - LTL - Automi di Buchi su stringhe infinite - Model checking in LTL: manipolazione di automi di Buchi |
Lezioni 53,56 |
| 12:30mag-05giu | Ripasso & Esercizi d'esame | Lezioni 57-58 |
Lezioni 59-62 |
| 13:05-12giu | -- | -- |
Primo appello |