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
(12/12/2025).
Esempio di prova scritta –
Example of written exam
(07/09/2023).
Vecchi progetti –
Old projects
(12/12/2025).
Progetto per la sessione invernale 2025/2026 –
Project for the winter session 2025/2026
(scheda valutazione
progetto).