A disciplina de Lógica Matemática é fundamental nos cursos superiores da área de informática, principalmente daqueles com ênfase na formação científica do aluno, tais como Ciência da Computação, Engenharia da Computação, e afins.
O projeto LogComp propõe-se a investigar uma sugestão de formalização do conteúdo lecionado na disciplina de Lógica para os estudantes de informática interessados no raciocínio formal. Outro objetivo é promover uma reflexão sobre o papel e a influência desta disciplina em tais cursos: como ela é abordada na grade curricular, a importância dos professores e coordenadores no seu ensino, e as ferramentas que podem promover o seu aprendizado. Busca-se  desenvolver um trabalho crítico, descritivo, objetivo, e que, inicialmente, deve instigar um debate que visa repensar a importância e o papel do ensino de lógica nos cursos relacionados à informática.  Os objetivos específicos e os resultados esperados dizem respeito aos ítens descritos a seguir: 1) criar um mapa categorizado do ensino de lógica no Brasil, identificando o perfil dos profissionais envolvidos no seu ensino, assim como as linhas de pesquisa existentes. Isto, com a finalidade de continuar promovendo a difusão e o reconhecimento desta disciplina que é tão importante, tanto para a área discutida neste projeto, a informática, quanto para outras áreas; 2) apresentar metodologias de uso das ferramentas disponíveis para o ensino de Lógica; 3) sugerir novas ferramentas para o seu ensino; 4) apresentar relatórios que identificam detalhes dos conteúdos programáticos, da carga horária e da formação dos professores que ministram a disciplina de Lógica em cursos de informática.
Acredita-se que a Lógica desempenha um importante papel, tanto na informática quanto em outros cursos. Ela é de fato, um objeto adequado para ensinar os estudantes a como abstrair e raciocinar através de um contexto específico em que um conceito aprendido é normalmente aplicado. Além do mais, aprender lógica é uma oportunidade para estudantes adquirirem competências ou habilidades de raciocínio e compreenderem sua aplicação quando raciocinam no dia-a-dia e em outros temas também.