DC-UFRPE/Licenciatura Plena em Computação/Disciplinas Optativas/Prática de Ensino de Lógica