Atividades desenvolvidas academicamente na disciplina de Lógica de Programação I. De março até junho de 2017