Differenze

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

--- matematica:lp:start [02/04/2025 alle 13:38 (2 mesi 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 55: / Linea 55: @@
 {{ :matematica:lp:06-exercisesrg_01.pdf |Esercizi con Soluzione}
+{{ :matematica:lp:testo-2019-04-03-copy-copy_copy.pdf |prova}}
@@ Linea 87: / Linea 89: @@
 {{ :matematica:lp:19-hofl_operationalrg.pdf |Lezione 16}}
+{{ :matematica:lp:testo-2018-04-05-copy-copy.pdf | testo}}
+{{ :matematica:lp:testo-2019-04-03-copy-copy_copy.pdf |testo}}
+{{ :matematica:lp:20-cartesian_domainsrg_copy.pdf |Lezione 17}}
+{{ :matematica:lp:21-functional_domainsrg_copy.pdf | Lezione 18}}
+{{ :matematica:lp:22-continuity_theoremsrg_copy.pdf | Lezione 19}}
+{{ :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}}