LPL 2025/26 (063AA, 9 CFU)

Docenti: Roberta Gori web - email - Vincenzo Ciancia web - email

Teams: 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

Progetto + Prova scritta

Introduzione

Cenni al problema dell'indecidibilità

Lezione1

Lezione 2

Lezione 3

Lezione 4

Esercitazione 1

Lezione 5

Lezione 6

Lezione 7

Lezione 8

Lezione 9

• Roberto Bruni, Ugo Montanari, “Models of Computation”, Springer Texts in Computer Science, 2017.