Ambiente destinado às aulas da disciplina de Lógica para Computação, ministradas às turmas do primeiro ano da graduação do curso de Ciências da Computação.