Materiais didático que auxiliem as disciplinas de Lógica da Computação, Teoria da Computação e Compiladores