DidaWiki

Questa pagina è in sola lettura. Puoi visualizzare il sorgente, ma non puoi modificarlo. Contatta l'amministratore se pensi che ci sia un errore.

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


**LPL 2024/25 (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%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' 16:00‑18:00 Aula Fib P1
                            * Mercoledi' 9:00‑11:00 Aula Fib N
                            * Giovedi' 14:00‑16:00 Aula Fib E1
                            * Venerdi'14:00-16:00 Laboratorio-Aula G 

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

Progetto + Prova scritta 

----


==== Lezioni a.a. 24/25====


 

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


{{ :matematica:lp:01-introrg.pdf |Introduzione}}

{{ :matematica:lp:indecidibilita_.pdf |Lezione1}}

{{ :matematica:lp:02-semanticsrg2025.pdf |Lezione 2}} (versione corretta il  4/3)

{{ :matematica:lp:03-unification-rg.pdf |Lezione 3}}

{{ :matematica:lp:04-logicrg_.pdf | Lezione 4}}


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

{{ :matematica:lp:06-exercisesrg_01.pdf |Esercizi con Soluzione}

{{ :matematica:lp:testo-2019-04-03-copy-copy_copy.pdf |prova}}


{{ :matematica:lp:07-more_inductionrg_.pdf |Lezione 6}}

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

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

{{ :matematica:lp:10-exercises02rg_copy.pdf |Esercizi con soluzione}}



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


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


{{ :matematica:lp:13-kleenerg.pdf |Lezione 11}}


{{ :matematica:lp:14-icorg_copy.pdf |Lezione 12}}

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

{{ :matematica:lp:16-consistencyimprg_copy.pdf | Lezione 14}}

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

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





==== Materiale didattico ====


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