OI Adolfo. Valeu, parece uma ferramenta bem interessante de ser usada. Vou tentar aplicar em sala de aula da próxima vez que eu der esta disciplina.
[]s On Thu, Jul 3, 2025 at 7:43 AM Adolfo Neto <[email protected]> wrote: > Oi pessoal, > > Um aluno de TCC está numa situação complicada. > Ele acaba de ser aprovado num concurso e precisa defender seu TCC de forma > bem rápida. > Para isso, gostaríamos que várias pessoas dessem feedback no sistema que > ele construiu. > > Por exemplo, o João Marcos comentou lá no vídeo do YouTube: > Que maravilha, Adolfo! Sei que o pacote qtree não está preparado para > isso, mas seria fantástico se fosse possível gerar código LaTeX para a > versão completinha dos tableaux, incluindo as setinhas para justificativas > e fechos. O que você acha? > > Portanto, se você sabe "desenhar" tablôs analíticos com fórmulas marcadas, > peço que assista o vídeo > https://www.youtube.com/live/hsrJkyaYk9g > > que dura 3 minutos e 37 segundos ou, se preferir, teste direto o sistema em > > https://rardiol.github.io/ganita/ > > Tente demonstrar algo simples como A, A->B |- B > > Diga se teve alguma dificuldade, se gostaria de ver algo a mais, etc. > Se puder que seja até esta sexta 04/07, melhor. > > É baseado no ANITA do Davi Vasconcelos. > > Obrigado, > > Adolfo > > -- > Adolfo Neto > Associate Professor - Federal University of Technology, Paraná > Web: *https://adolfont.github.io/ <https://adolfont.github.io/>* > Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br > > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de > Lógica <[email protected]> > --- > 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 [email protected]. > Para ver esta conversa, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANspyYWxE36PL5X0kxO35KYiChvXCMt%2ButjOGqpFdPCCJX%3DtGg%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANspyYWxE36PL5X0kxO35KYiChvXCMt%2ButjOGqpFdPCCJX%3DtGg%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- Marcelo Finger Departament of Computer Science, IME-USP http://www.ime.usp.br/~mfinger ORCID: https://orcid.org/0000-0002-1391-1175 ResearcherID: A-4670-2009 Instituto de Matemática e Estatística, Universidade de São Paulo Rua do Matão, 1010 - CEP 05508-090 - São Paulo, SP -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- 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 [email protected]. Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGG7Aw1gQo45AAC2CKvid6%2Boc4pennjV7Qy%3DuZFHSuJ6vj4UZA%40mail.gmail.com.
