Esami Computabilita'

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

04/04/03 (soluzione 04/04/03), 14/12/04, 18/12/06, 07/02/07, 26/02/07, 09/01/08, 07/02/08

ESAMI DI COMPUTABILITA`

ESAMI DI METODI FORMALI DELL'INFORMATICA