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.