GANITA - um sistema para que estudantes desenhem tablôs analíticos

[Adolfo Neto]

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/
Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br

[Marcelo Finger]

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

--
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 esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANspyYWxE36PL5X0kxO35KYiChvXCMt%2ButjOGqpFdPCCJX%3DtGg%40mail.gmail.com.

--

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