Dispense dell'insegnamento –
Lecture notes »
ANSI C (« teorema di Böhm-Jacopini, triple di Hoare, precondizioni di Dijkstra »)
(18/12/2024).
Informazioni generali sull'esame –
General information about the exam
(19/12/2024).
Esempio di prova scritta –
Example of written exam
(07/09/2023).
Vecchi progetti –
Old projects
(23/07/2025).
Progetto per la sessione autunnale 2024/2025 –
Project for the autumn session 2024/2025
(scheda valutazione
progetto).