English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

O presente artigo tem como objetivo apresentar o editor de provas do sistema Heraclito. O Heraclito e um Sistema Tutor Inteligente (STI) voltado para o ensino de logica proposicional para alunos de graduacao em Computacao. Seu editor de provas tem como principal funcionalidade auxiliar na elaboracao de provas de argumentos formais por meio das regras da Deducao Natural. Sua atual versao de interface foi desenvolvida utilizando a tecnica de Test Driven Development (TDD) e seu acesso e feito via Web Browser, de forma a tornar a ferramenta adaptativa, podendo ser acessada atraves de computadores, tablets, celulares e ate mesmo SmartTVs.

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