文章基本信息

标题：Editor de provas do Sistema Heráclito: Ferramenta de apoio ao Ensino da Dedução Natural na Lógica Proposicional
本地全文：下载
作者：Fabiane Penteado Galafassi ; Rafael Koch Peres ; Alan Velasques Santos 等
期刊名称：Anais dos Workshops do Congresso Brasileiro de Informática na Educação
印刷版ISSN：2316-8889
出版年度：2015
卷号：4
期号：1
页码：455
DOI：10.5753/cbie.wcbie.2015.455
语种：Portuguese
出版社：Anais dos Workshops do Congresso Brasileiro de Informática na Educação
摘要：O presente artigo tem como objetivo apresentar o editor de provas do sistema Heráclito. O Heráclito é um Sistema Tutor Inteligente (STI) voltado para o ensino de lógica proposicional para alunos de graduação em Computação. Seu editor de provas tem como principal funcionalidade auxiliar na elaboração de provas de argumentos formais por meio das regras da Dedução Natural. Sua atual versão de interface foi desenvolvida utilizando a técnica de Test Driven Development (TDD) e seu acesso é feito via Web Browser, de forma a tornar a ferramenta adaptativa, podendo ser acessada através de computadores, tablets, celulares e até mesmo SmartTVs.