Esercizi
N.B.
: Il minor numero di esercizi per alcuni argomenti NON e' dovuto alla minor rilevanza, all'interno del corso, degli argomenti stessi.
Linguaggi Formali
(ultimo aggiornamento: 5 Luglio 2018)
Modelli Computazionali
(ultimo aggiornamento: 22 Giugno 2023 )
Programmazione in Haskell
(ultimo aggiornamento: 29 Aprile 2021 )
Codici e Rappresentazione informazione numerica
(ultimo aggiornamento: 6 Ottobre 2017)
Logica
(ultimo aggiornamento: 22 Giugno 2023)
Macchine Astratte
(ultimo aggiornamento: 22 Febbraio 2019)
Semantica
(ultimo aggiornamento:22 Febbraio 2019)