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