Disciplina Lógica para Computação, do curso de Engenharia de Computação do Campus Bagé.