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ê 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/CANspyYWxE36PL5X0kxO35KYiChvXCMt%2ButjOGqpFdPCCJX%3DtGg%40mail.gmail.com.
