LPL 2024/25 (063AA, 9 CFU)

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

Teams: 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 Registro delle lezioni

Progetto + Prova scritta

08-rule_inductionrg.pdf

Introduzione

Lezione1

Lezione 2 (versione corretta il 4/3)

Lezione 3

Lezione 4

Lezione 5

Esercizi con Soluzione

Lezione 6

Lezione 7

Lezione 8

Esercizi con soluzione

Lezione 9

Lezione 10

Lezione 11

Lezione 12

Lezione 13

Lezione 14

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