Trabalho final da disciplina estruturas matemáticas para computação