Differenze

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

--- matematica:lp:start [21/11/2025 alle 13:26 (10 giorni fa)] – [Lezioni a.a. 24/25] Roberta Gori
+++ matematica:lp:start [27/11/2025 alle 11:53 (4 giorni fa)] (versione attuale) – [Lezioni a.a. 24/25] Roberta Gori
@@ Linea 50: / Linea 50: @@
 {{ :matematica:lp:07-more_inductionrg.pdf |Lezione 5}}
 {{ :matematica:lp:08-rule_inductionrg_copy.pdf |Lezione 6}}
@@ Linea 94: / Linea 95: @@
 {{ :matematica:lp:prontuarioicompitino.pdf | Prontuario I compitino}}
+{{ :matematica:lp:29_-_ccs_bisimulation_.pdf |Lezione 24}}
+{{ :matematica:lp:30-_ccs_bis_as_fix.pdf | Lezione 25}}
+{{ :matematica:lp:31_-_hml.pdf |Lezione 26}}
+{{ :matematica:lp:32-_weak_copy.pdf |Lezione 27}}