Settimana | Argomento | Martedì (ore 16:35:-19:00) | Mercoledì (ore 16:35-19:00) |
1:01-07mar | FOL e Query Congiuntive | Lezioni 1-3 |
Lezioni 4-6 |
2:08-14mar | --- | Lezione annullata |
Lezione annullata |
3:15-21mar | FOL e Query Congiuntive | Lezioni
7-9 | Lezioni 10-12 |
4:22-28mar | Formalizzazione dei Diagrammi delle classi UML | Lezioni 13-15 - Formalizzazione dei diagrammi delle classi in FOL |
Lezioni 16-18 |
5:29mar-4apr | Formalizzazione dei Diagrammi delle classi UML | Vacanze Pasqua
|
Vacanze Pasqua |
6:5-11apr | Formalizzazione dei Diagrammi delle classi UML | Vacanze Pasqua |
Lezioni 19-21 |
7:12-18apr | Interrogazioni su Diagrammi delle classi UML | Lezioni 22-24 |
Lezioni 25-28 |
8:19-25apr | Pre/Postcondizioni nei programmi |
Lezioni 29-31 - Pre & Post nei programmi - Semantica di valutazione dei programmi - Semantica di transizione dei programmi |
Lezioni 32-34 |
9:26apr-02mag | Teoria dei punti fissi | Lezioni 35-39 |
Lezioni 40-42 |
10:03-09mag | Model checking | Lezioni 43-45 - Introduzione al model checking - Transition systems - Logiche temporali: LTL, CTL e CTL* |
Lezioni 46-48 |
11:10-16mag | --- | Lezione annullata |
Lezione annullata |
12:17-23mag | Model checking | Lezioni 49-51 |
Lezioni 52,54 |
13:24-30mag | Model checking | Lezioni 55-57 - Ripasso programma - Esercizi d'esame |
Lezioni 58-60 |