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


 

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