Differenze

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

--- matematica:lp:start [24/10/2025 alle 06:53 (5 settimane 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 58: / Linea 59: @@
 {{ :matematica:lp:12-cpo-1rg_copy.pdf |Lezione 9}}
+{{ :matematica:lp:13-kleenerg.pdf |Lezione 10}}
+{{ :matematica:lp:14-icorg.pdf | Lezione 11}}
+{{ :matematica:lp:denotational_imp.pdf | Lezione 12}}
+{{ :matematica:lp:16-consistencyimprg.pdf |Lezione 13}}
+{{ :matematica:lp:17-_esercizi03rg.pdf | Esercizi}}
+{{ :matematica:lp:18-hofl_typesrg.pdf |Lezione 14}}
+{{ :matematica:lp:19-hofl_operationalrg_copy.pdf |Lezione 15}}
+{{ :matematica:lp:20-cartesian_domainsrg_copy.pdf |Lezione 16}}
+{{ :matematica:lp:21-functional_domainsrg.pdf |Lezione 17}}
+{{ :matematica:lp:22-continuity_theoremsrg.pdf |Lezione 18}}
+{{ :matematica:lp:23_-_hofl_denotationalrg_copy.pdf |Lezione 19}}
+{{ :matematica:lp:24-_consistency_hoflrg_copy.pdf | Lezione 20}}
+{{ :matematica:lp:25-elencoese05.pdf |Elenco esercizi}}
+{{ :matematica:lp:26-_ccs_.pdf | Lezione 21}}
+{{ :matematica:lp:27_-_ccs_guarded.pdf |Lezione 22}}
+{{ :matematica:lp:25-esercitazione05_copy.pdf | Soluzioni esercitazione}}
+{{ :matematica:lp:28_-_ccs_abstract.pdf |Lezione 23}}
+{{ :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}}