Testi di esami e prove in itinere (con alcune soluzioni) di Computabilità e di Metodi Formali dell'Informatica

NOTA: i link di questo colore contengono esercizi svolti, mentre quelli di questo colore contengono solo i testi.


Alcune raccomandazioni utili

PROVE IN ITINERE


ESAMI DI COMPUTABILITA`


ESAMI DI METODI FORMALI DELL'INFORMATICA