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, On Fri, Aug 11, 2023 at 11:28 AM Davi Romero <davirom...@gmail.com> wrote: > 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ê 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+unsubscr...@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 > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHyDnbqbtLzUkyjHPk8qj-9WqUeg_hhQeNPmBM90J%2ByWmCOwbg%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- Elaine. ----------------------------------- Elaine Pimentel Associate Professor in Programming Principles, Logic, and Verification Department of Computer Science University College London https://sites.google.com/site/elainepimentel/ ----------------------------------- -- 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/CAHQVs%2BXamKmPYZ9-YiF0YLFjM7zbtGwTg%2Bx5gbdyDyrCDd2R2w%40mail.gmail.com.
