Voltar
Artigo Acesso aberto Produção Nacional
BIBTEX RIS

Editor de provas do Sistema Heráclito: Ferramenta de apoio ao Ensino da Dedução Natural na Lógica Proposicional

2015; Volume: 1; Linguagem: Português

10.5753/cbie.wcbie.2015.455

ISSN

2316-8889

Autores

Fabiane Penteado Galafassi, Rafael Koch Peres, Alan Velasques Santos, Rosa Maria Viccari, Jo�ão Carlos Gluz,

Tópico(s)

Teaching and Learning Programming

Resumo

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.

Referência(s)