Differenze

Queste sono le differenze tra la revisione selezionata e la versione attuale della pagina.

--- matematica:lp:start [17/04/2025 alle 09:05 (8 settimane fa)] – [Materiale (incluse slides)] Roberta Gori
+++ matematica:lp:start [22/05/2025 alle 13:46 (3 settimane fa)] (versione attuale) – [Materiale (incluse slides)] Roberta Gori
@@ Linea 90: / Linea 90: @@
 {{ :matematica:lp:19-hofl_operationalrg.pdf |Lezione 16}}
-{{ :matematica:lp:prontuario.pdf |Prontuario}}
 {{ :matematica:lp:testo-2018-04-05-copy-copy.pdf | testo}}
@@ Linea 102: / Linea 101: @@
 {{ :matematica:lp:22-continuity_theoremsrg_copy.pdf | Lezione 19}}
-{{ :matematica:lp:23_-_hofl_denotationalrg_copy.pdf |Lezione 20 (rivista il 17/04}}
+{{ :matematica:lp:23_-_hofl_denotationalrg_copy.pdf |Lezione 20 (rivista il 17/04)}}
 {{ :matematica:lp:24-_consistency_hoflrg_copy.pdf | Lezione 21}}
 {{ :matematica:lp:25-esercizi.pdf | Esercizi}}
+{{ :matematica:lp:26-_ccs.pdf | Lezione 22}}
+{{ :matematica:lp:27_-_ccs_guarded_copy.pdf |Lezione 23}}
+{{ :matematica:lp:28_-_ccs_abstract.pdf | Lezione 24}}
+{{ :matematica:lp:29_-_ccs_bisimulation_copy.pdf |Lezione 25}}
+{{ :matematica:lp:30-_ccs_bis_as_fix.pdf |Lezione 26}}
+{{ :matematica:lp:31_-_hml_copy.pdf |Lezione 27}}
+{{ :matematica:lp:32-_weak_copy.pdf |Lezione 28}}
+{{ :matematica:lp:33-_ccs_at_work_copy.pdf |Lezione 29}}
+{{ :matematica:lp:33-_ccs_at_work.pdf |Lezione 30}}
+{{ :matematica:lp:esercizi.pdf |Esercitazione}}
+{{ :matematica:lp:prontuario.pdf |Prontuario}}
+{{ :matematica:lp:testi.pdf | Testi di esame}}