Turma de lógica do período 2015.2 do Curso Presencial de Ciência da Computação da UFAL