Ferramentas de Ensino: NADIA e ANITA

[Davi Romero]

Olá colegas,

No final do semestre passado gravei alguns vídeos na playlist do Youtube sobre as ferramentas de ensino que tenho utilizado nas disciplinas de Lógica para Computação do Campus de Quixadá, juntamente com a professora Viviane Menezes. São duas ferramentas que estamos utilizando:

• NADIA (Natural DeductIon Proof Assistant) que é um assistente de provas que permite verificar a correção de demonstrações em Dedução Natural no Estilo de Fitch.
  Uma versão web do assistente de provas NADIA está disponível em:
  https://sistemas.quixada.ufc.br/nadia
  O GitHub do projeto NADIA está disponível em:
  https://github.com/daviromero/nadia 
  O artigo sobre o NADIA (WEI 2022) está disponível em: :
  https://doi.org/10.5753/wei.2022.222875
• ANITA (Analytic Tableau Proof Assistant)  que é um assistente de provas que permite verificar a correção de demonstrações em Tableau Analítico no Estilo de Fitch.
  

Uma versão web do assistente de provas ANITA está disponível em:

https://sistemas.quixada.ufc.br/anita

O GitHub do projeto ANITA está disponível em:

https://github.com/daviromero/anita

O artigo sobre o ANITA (In Proceedings ThEdu'22) está disponível em:

https://doi.org/10.4204/EPTCS.375.4

Sugestões e comentários são muito bem-vindos.

Atenciosamente,

Davi Romero de Vasconcelos

[Elaine Pimentel]

Bom dia, Davi,

Muito bom! Parabéns!

Acho que seria uma boa ideia adicionar esse material na página da SBL:

https://sbl.org.br/pmwiki.php/Main/Ensino

Se você achar que é uma boa, por favor, preencha o formulário:

https://docs.google.com/forms/d/e/1FAIpQLSdfCWHhjWDTDh5OL02AyTxqNENMspp-LKPrGEYUowdbrNc-QQ/viewform

Lembrando a colegas que o formulário segue positivo e operante :)

Abraços,

--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@dimap.ufrn.br>
---
Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.
Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHyDnbqbtLzUkyjHPk8qj-9WqUeg_hhQeNPmBM90J%2ByWmCOwbg%40mail.gmail.com.

--

Elaine.
-----------------------------------
Elaine Pimentel
Associate Professor in Programming Principles, Logic, and Verification
Department of Computer Science
University College London

https://sites.google.com/site/elainepimentel/
-----------------------------------