Dispense dell'insegnamento – Lecture notes » Prolog & Haskell (« logica proposizionale, logica dei predicati, lambda calcolo ») (12/05/2024).
Esempio di prova scritta – Example of written exam (10/09/2024).
Scheda valutazione progetto.