Olá colegas, No final do semestre passado gravei alguns vídeos na playlist do Youtube <https://youtube.com/playlist?list=PLfOnKvd6pFiq_BUI-llPhDeGR55P6nHfr> 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 <https://youtu.be/21aA497hXkg> está disponível em: https://sistemas.quixada.ufc.br/nadia <https://sistemas.quixada.ufc.br/nadia.> O GitHub do projeto NADIA está disponível em: https://github.com/daviromero/nadia <https://github.com/daviromero/nadiaO> 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 <https://youtu.be/GpzPs7he_NU> 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 -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- Você está recebendo esta mensagem porque se inscreveu 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+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHyDnbqbtLzUkyjHPk8qj-9WqUeg_hhQeNPmBM90J%2ByWmCOwbg%40mail.gmail.com.
