A.A. 2024/2025
Data inizio lezioni: 25 Febbraio 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 (25 Febbraio 2025) sarà tenuta dal Professor Stefano Aguzzoli.
Io terrò le quattro lezioni successive (dal 4 al 25 Marzo 2025).
Dalla sesta lezione in poi (8 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.