====== Linguaggi di Programmazione e Laboratorio A.A 2024/2025 ======


**LPL 2025/26 (063AA, 9 CFU)**


**Docenti**: 
Roberta Gori 
[[http://www.di.unipi.it/~gori|web]] - [[mailto:gori@di.unipi.it|email]] - 
Vincenzo Ciancia [[https://vincenzoml.github.io/|web]] - [[mailto:vincenzo.ciancia@isti.cnr.it|email]]

----
**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]]


**Orario delle lezioni** :  
                           
                            * Lunedi' 9:00‑11:00 Aula  O1
                            * Martedi'  14:00-16:00 Aula P1 
                            * Giovedi' 14:00‑16:00 Laboratorio-Aula P1 
                            * Venerdi' 9:00-11:00 Aula P1 

**Registro delle lezioni** [[|Registro delle lezioni]]
   
=== Modalità di esame ===

Progetto + Prova scritta 

----


==== 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}}

{{ :matematica:lp:03-unification-rg2025.pdf |Lezione 2}}

{{ :matematica:lp:04-logicrg.pdf | Lezione 3}}

{{ :matematica:lp:05-inductionrg.pdf |Lezione 4}}

{{ :matematica:lp:06-exercisesrg_01.pdf |Esercitazione 1}}

{{ :matematica:lp:07-more_inductionrg.pdf |Lezione 5}}


{{ :matematica:lp:08-rule_inductionrg_copy.pdf |Lezione 6}}

{{ :matematica:lp:09-equivalencerg_copy.pdf |Lezione 7}}

{{ :matematica:lp:11-ricorsionerg_copy.pdf | Lezione 8}}

{{ :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}}















 

==== Materiale (incluse slides) ===





==== Materiale didattico ====


  * Roberto Bruni, Ugo Montanari, "[[http://www.springer.com/978-3-319-42898-7|Models of Computation]]", Springer Texts in Computer Science, 2017.