Esercizi di informatica teorica

L'eserciziario è stato concepito e realizzato in modo da coprire le esigenze del corso di Informatica Teorica del Politecnico di Milano e parzialmente del corso di II livello di "Analisi e progetto dei sistemi critici". Gli Autori hanno fatto riferimento, per la terminologia e le definizioni fondamentali, al testo "Informatica teorica di Carlo Ghezzi e Dino Mandrioli edito dalla UTET. Gli esercizi marcati con * sono di difficoltà superiore al normale. Quelli con ** sono di difficoltà molto superiore alla media.