期刊名称：Anais dos Workshops do Congresso Brasileiro de Informática na Educação
印刷版ISSN：2316-8889
出版年度：2013
卷号：2
期号：1
语种：Portuguese
出版社：Anais dos Workshops do Congresso Brasileiro de Informática na Educação
摘要：O presente artigo tem como objetivo apresentar o sistema Heráclito e seu editor de provas. Caracterizado como um objeto de aprendizagem, o sistema Heráclito aborda o ensino da dedução natural na lógica proposicional. Tem seu foco associado ao uso de tecnologias de agentes com características pedagógicas que fazem o uso de diversas estratégias de ensino-aprendizagem com o intuito de auxiliar o aluno em seu processo de raciocínio na resolução de um exercício. Experimentos preliminares em sala de aula mostraram que a ferramenta obteve boa aceitação e o sistema tutor se mostrou eficiente.
