Laboratorio di Logica Matematica (turno A)

A.A. 2023/2024

Data inizio lezioni: 27 Febbraio 2024
Dove: AULA DELTA, 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 (27 Febbraio 2024) sarà tenuta dal Professor Stefano Aguzzoli.

Io terrò le quattro lezioni successive (dal 5 al 26 Marzo 2024). Dalla sesta lezione in poi (9 Aprile 2024), 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.

Il file con gli esercizi per la lezione di laboratorio del 26 Marzo 2024 è disponibile sulla pagina web del Professor Stefano Aguzzoli.