Calcolabilità e Linguaggi Formali
Documenti
Programmazione Funzionale
Dispensa per la comprensione della programmazione funzionale e dei suoi operatori.
Appunti CalcolabilitÃ
Riassunto della teoria della prima parte di Calcolabilità (Teorema del Parametro, Rice1).
Appunti CalcolabilitÃ
Appunti sulla seconda parte della teoria di Calcolabilità (Rice2, Rice3, Secondo teorema del parametro).