Differenze

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

--- matematica:lp:start [21/11/2025 alle 13:26 (2 mesi fa)] – [Lezioni a.a. 24/25] Roberta Gori
+++ matematica:lp:start [26/01/2026 alle 15:51 (2 giorni fa)] (versione attuale) – [Materiale (incluse slides)] Roberta Gori
@@ Linea 1: / Linea 1: @@
 ====== Linguaggi di Programmazione e Laboratorio A.A 2024/2025 ======
-**LPL 2025/26 (063AA, 9 CFU)**
+**LPL 2024/25 (063AA, 9 CFU)**
@@ Linea 14: / Linea 13: @@
 ----
 **Teams:**
-[[https://teams.microsoft.com/l/team/19%3ATsh-Ua3Za4BrKMcf0I71xWaNd8STNVwSKu-gFxo2Wpg1%40thread.tacv2/conversations?groupId=3607e85b-4561-42dd-82ae-41c626d505d8&tenantId=c7456b31-a220-47f5-be52-473828670aa1| Link a TEAM]]
+[[https://teams.microsoft.com/l/team/19%3AJXjPuEf4KvrI-ISjW5lAwZPXKQwn_nEU8pGobJLJElk1%40thread.tacv2/conversations?groupId=b8cb69bf-af56-487b-82e7-bb5e76a03ae4&tenantId=c7456b31-a220-47f5-be52-473828670aa1| Link a TEAM]]
 **Orario delle lezioni** :
-                            * Lunedi' 9:00‑11:00 Aula  O1
+                            * Lunedi' 16:00‑18:00 Aula Fib P1
-                            * Martedi'  14:00-16:00 Aula P1
+                            * Mercoledi' 9:00‑11:00 Aula Fib N
-                            * Giovedi' 14:00‑16:00 Laboratorio-Aula P1
+                            * Giovedi' 14:00‑16:00 Aula Fib E1
-                            * Venerdi' 9:00-11:00 Aula P1
+                            * Venerdi'14:00-16:00 Laboratorio-Aula G
-**Registro delle lezioni** [[|Registro delle lezioni]]
+**Registro delle lezioni** [[https://unimap.unipi.it/registri/dettregistriNEW.php?re=11061865::::&ri=9773|Registro delle lezioni]]
 === Modalità di esame ===
@@ Linea 35: / Linea 34: @@
 ==== Lezioni a.a. 24/25====
-{{ :matematica:lp:01-introrg2025b.pdf |Introduzione}}
-{{ :matematica:lp:indecidibilita2025b.pdf | Cenni al problema dell'indecidibilità}}
-{{ :matematica:lp:02-semanticsrg2025b.pdf | Lezione1}}
+==== Materiale (incluse slides) ===
-{{ :matematica:lp:03-unification-rg2025.pdf |Lezione 2}}
-{{ :matematica:lp:04-logicrg.pdf | Lezione 3}}
+{{ :matematica:lp:01-introrg.pdf |Introduzione}}
-{{ :matematica:lp:05-inductionrg.pdf |Lezione 4}}
+{{ :matematica:lp:indecidibilita_.pdf |Lezione1}}
-{{ :matematica:lp:06-exercisesrg_01.pdf |Esercitazione 1}}
+{{ :matematica:lp:02-semanticsrg2025.pdf |Lezione 2}} (versione corretta il  4/3)
-{{ :matematica:lp:07-more_inductionrg.pdf |Lezione 5}}
+{{ :matematica:lp:03-unification-rg.pdf |Lezione 3}}
-{{ :matematica:lp:08-rule_inductionrg_copy.pdf |Lezione 6}}
+{{ :matematica:lp:04-logicrg_.pdf | Lezione 4}}
-{{ :matematica:lp:09-equivalencerg_copy.pdf |Lezione 7}}
-{{ :matematica:lp:11-ricorsionerg_copy.pdf | Lezione 8}}
+{{ :matematica:lp:05-inductionrg_copy.pdf |Lezione 5}}
-{{ :matematica:lp:12-cpo-1rg_copy.pdf |Lezione 9}}
+{{ :matematica:lp:06-exercisesrg_01.pdf |Esercizi con Soluzione}
-{{ :matematica:lp:13-kleenerg.pdf |Lezione 10}}
+{{ :matematica:lp:testo-2019-04-03-copy-copy_copy.pdf |prova}}
-{{ :matematica:lp:14-icorg.pdf | Lezione 11}}
-{{ :matematica:lp:denotational_imp.pdf | Lezione 12}}
+{{ :matematica:lp:07-more_inductionrg_.pdf |Lezione 6}}
-{{ :matematica:lp:16-consistencyimprg.pdf |Lezione 13}}
+{{ :matematica:lp:08-rule_inductionrg_copy.pdf | Lezione 7}}
-{{ :matematica:lp:17-_esercizi03rg.pdf | Esercizi}}
+{{ :matematica:lp:09-equivalencerg.pdf |Lezione 8}}
-{{ :matematica:lp:18-hofl_typesrg.pdf |Lezione 14}}
+{{ :matematica:lp:10-exercises02rg_copy.pdf |Esercizi con soluzione}}
-{{ :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:11-ricorsionerg.pdf |Lezione 9}}
-{{ :matematica:lp:22-continuity_theoremsrg.pdf |Lezione 18}}
-{{ :matematica:lp:23_-_hofl_denotationalrg_copy.pdf |Lezione 19}}
+{{ :matematica:lp:12-cpo-1rg.pdf |Lezione 10}}
-{{ :matematica:lp:24-_consistency_hoflrg_copy.pdf | Lezione 20}}
-{{ :matematica:lp:25-elencoese05.pdf |Elenco esercizi}}
+{{ :matematica:lp:13-kleenerg.pdf |Lezione 11}}
-{{ :matematica:lp:26-_ccs_.pdf | Lezione 21}}
-{{ :matematica:lp:27_-_ccs_guarded.pdf |Lezione 22}}
+{{ :matematica:lp:14-icorg_copy.pdf |Lezione 12}}
-{{ :matematica:lp:25-esercitazione05_copy.pdf | Soluzioni esercitazione}}
+{{ :matematica:lp:15-denotationalmprg.pdf |Lezione 13}}
-{{ :matematica:lp:28_-_ccs_abstract.pdf |Lezione 23}}
+{{ :matematica:lp:16-consistencyimprg_copy.pdf | Lezione 14}}
-{{ :matematica:lp:prontuarioicompitino.pdf | Prontuario I compitino}}
+{{ :matematica:lp:17-_esercizi03.pdf |Esercitazione}}
+{{ :matematica:lp:18-hofl_typesrg_copy.pdf |Lezione 15}}
+{{ :matematica:lp:19-hofl_operationalrg.pdf |Lezione 16}}
+{{ :matematica:lp:prontuario.pdf |Prontuario}}
+{{ :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}}
-==== Materiale (incluse slides) ===
+{{ :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:esercizi.pdf |Esercitazione}}
+{{ :matematica:lp:prontuario.pdf | Prontuario}}