LOGOS - CADERNO DE ESTUDOS E EXERCÍCIOS DE LÓGICA DO AMBIENTE DE ENSINO HERÁCLITO

Resumo

O presente artigo tem como objetivo apresentar o Caderno de Estudos e Exercícios de Lógica (LOGOS) do ambiente de ensino Heráclito. O ambiente Heráclito auxilia estudantes a resolver vários tipos de exercícios de Lógica, começando com exercícios para calcular o valor lógico de uma fórmula, passando por exercícios de construção de tabelas-verdade e chegando até exercícios de elaboração de provas de argumentos por meio das regras da Dedução Natural. Desta forma, o ambiente disponibiliza o Caderno Eletrônico LOGOS que permite criar e editar fórmulas, tabelas-verdade e provas da Lógica Proposicional. O caderno LOGOS é compatível com tablets, smartphones e PCs e atualmente vem sendo utilizado com alunos de graduação dos 1º e 2º semestres em currículos das áreas científicas e tecnológicas (tais como Ciência da Computação, Sistemas de Informação, Redes de Computadores, Engenharia de Software, Engenharia da Computação, entre outros) e alguns cursos das áreas das Sociais tais como Filosofia.