Esercizi sugli Automi

Esercizi sulle Macchine di Turing

Esercizi sulle Funzioni Ricorsive

Esercizi sulle Funzioni Costruibili in Tempo

Esercizi sul Lambda-Calcolo

Esercizi sui Grafi di Condivisione