Descrição: disciplina do 1° período do Bacharelado em Ciência da Computação do Campus Arapiraca. Envolve o estudo de sistemas lógico-formais (cálculo proposicional, cálculo de 1ª ordem, e noções de verificação de software).Carga horária: 60 horas.Horário: segundas, das 15:20 às 17:50Grupo de e-mail:https://groups.google.com/d/forum/logica-l