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


**LPL 2023/24 (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%3A4TjzVFtG0gaG4JCRoaEUHEU5QmeBi5xqJpB_S6tFKVQ1%40thread.tacv2/conversations?groupId=77b5d70c-8f4d-479d-a8e2-34dfff09dea5&tenantId=c7456b31-a220-47f5-be52-473828670aa1| Link a TEAM]]


**Orario delle lezioni** :  
                           
                            * Lunedi' 11:00‑12:45 Aula Fib N
                            * Martedi' 14:15‑16:00 Aula H-lab
                            * Mercoledi' 11:00‑12:45 Aula Fib G
                            * Giovedi' 14:15‑16:00 Aula Fib E1 

**Registro delle lezioni** [[https://unimap.unipi.it/registri/dettregistriNEW.php?re=10337428::::&ri=9773|Registro delle lezioni]]
   
=== Modalità di esame ===

Prova scritta + orale (facoltativo)

----


==== Lezioni a.a. 23/24====


 

 
}
==== Materiale (incluse slides) ===
{{ :matematica:lp:01-introrg.pdf |Lezione 1}}

{{ :matematica:lp:01-indecidibilita_.pdf |Lezione 2}}

{{ :matematica:lp:02-semanticsrg_copy.pdf |Lezione 3}}

{{ :matematica:lp:03-unification-rg_copy.pdf |Lezione 4}}

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

{{  :matematica:lp:05-inductionrg_copy.pdf|Lezione 6}}

{{ :matematica:lp:06-exercises.pdf |Esercizi }}

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

{{ :matematica:lp:08-rule_inductionrg.pdf | Lezione 8}}

{{ :matematica:lp:09-equivalencerg.pdf | Lezione 9}}

{{ :matematica:lp:esercitazione2.pdf | Esercitazione 2}}

{{ :matematica:lp:11-ricorsionerg.pdf |Lezione 11}}

{{ :matematica:lp:12-cpo-1rg_copy.pdf |Lezione 12}}

{{ :matematica:lp:13-kleenerg_copy.pdf |Lezione 13}}

{{ :matematica:lp:14-icorg.pdf |Lezione 14}}


{{ :matematica:lp:15-denotationalmprg.pdf |Lezione 15}}

{{ :matematica:lp:16-consistencyimprg.pdf | Lezione 16}}


{{ :matematica:lp:17-_esercizi03rg.pdf |Esercizi }}

{{ :matematica:lp:18-hofl_typesrg.pdf | Lezione 18 (con esempi svolti)}}

{{ :matematica:lp:testo-2019-04-03-copy-copy_copy.pdf |Testo I compitino 2022}}

{{ :matematica:lp:19-hofl_operationalrg.pdf |Lezione 19}}

{{ :matematica:lp:20-cartesian_domainsrg.pdf |Lezione 20}}

{{ :matematica:lp:21-functional_domainsrg.pdf | Lezione 21}}

{{ :matematica:lp:22-continuity_theoremsrg_.pdf |Lezione 22}}


{{ :matematica:lp:testo-2018-04-05-copy-copy.pdf |Esempio Compitino}}

{{ :matematica:lp:motivation.pdf |Un breve richiamo sugli obiettivi del corso}}


{{ :matematica:lp:23_-_hofl_denotationalrg.pdf |Lezione 23}}


{{ :matematica:lp:prontuario_copy.pdf |Prontuario con le regole}}


{{ :matematica:lp:26-_ccs.pdf | Lezione 24}}


{{ :matematica:lp:25-esercitazione05.pdf |Esercizi da fare- Correzione giovedi' 9/5}}


{{ :matematica:lp:26-_ccs.pdf | Lezione 26}}


{{ :matematica:lp:27_-_ccs_guarded_copy.pdf |Lezione 27}}


{{ :matematica:lp:28_-_ccs_abstract_copy.pdf |Lezione 28}}


{{ :matematica:lp:29_-_ccs_bisimulation_copy.pdf |Lezione 29}}


{{ :matematica:lp:30-_ccs_bis_as_fix_copy.pdf |Lezione 30}}


{{ :matematica:lp:31_-_hml_copy.pdf |Lezione 31}}

{{ :matematica:lp:32-weak.pdf | Lezione 32}}


{{ :matematica:lp:25-esercitazione05.pdf | Esercitazione con Soluzioni}}


{{ :matematica:lp:33-_ccs_at_work_copy.pdf |Lezione 33}}
I files .txt da provare in  [[https://caal.cs.aau.dk/|CAAL]] si trovano sulla directory CAAL di TEAMS

{{ :matematica:lp:34-_exercises_06_1_.pdf |Lezione 34}}

{{ :matematica:lp:esercizi.pdf | Esercizi in Preparazione al compitino}}









==== Materiale didattico ====


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