A.A. 2025/2026
Data inizio lezioni: 3 Marzo 2025
Dove: AULA OMEGA, via celoria 18 (Dipartimento di Informatica "Giovanni degli Antoni", primo piano)
Orario: martedì, 13:30-16:30
Durante il laboratorio, svolgerete degli esercizi con i software didattici (Boole, Fitch, Tarski) del corso.
La prima lezione (3 Marzo 2025) sarà tenuta dal Professor Stefano Aguzzoli.
Io terrò le quattro lezioni successive (dal 10 al 31 Marzo 2025).
Dalla sesta lezione in poi (1 Aprile 2025), il turno A del laboratorio verrà nuovamente tenuto dal Professor Stefano Aguzzoli.
Per le lezioni successive alla prima, dovrete scaricare i file con gli esercizi, che svolgerete poi in laboratorio. I file verranno resi disponibili sulla pagina web del Professor Stefano Aguzzoli.