Heráclito: Objetos de Aprendizagem Interativos e Dialéticos Voltados ao Ensino de Lógica Proposicional

A ferramenta tem como propósito auxiliar os alunos da disciplina de Lógica para Computação, no processo de resolução de exercícios dentro do contexto de Dedução Natural na Lógica Proposicional. Situação: Em andamento; Natureza: Pesquisa. Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (2) / Doutorado: (1) . Integrantes: Fabiane Flores Penteado Galafassi - Integrante / João Carlos Gluz - Coordenador.

2013 - Atual