Olá, Pessoal! Já há uma nova versão disponível em http://www.tecmf.inf.puc-rio.br/TableauxProver. Nela o tableau pode ser exportado para LaTeX e Dot.
Abraços, Bruno. 2011/10/3 Mario Benevides <ma...@cos.ufrj.br> > Oi Adolfo, > > O Hermann tem um Tableaux para LPO bem amigável. Dê uma olhada no link > > http://www.tecmf.inf.puc-rio.br/TableauxProver/Applet > > Um abraço, > > Mario > > Em 1 de outubro de 2011 00:23, Adolfo Neto <adolfo....@gmail.com> > escreveu: > > > Olá, > > > > Já está disponível (com texto parcial) na Biblioteca do Google o livro > > > > Tools for Teaching Logic: Third International Congress, TICTTL 2011, > > Salamanca, Spain, June 1-4, 2011, Proceedings > > Patrick Blackburn, Hans van Ditmarsch, Maria Manzano, Fernando > > Soler-Toscano > > > > > > > http://books.google.com/books?hl=es&lr=&id=be-pTR5TmZIC&oi=fnd&pg=PA239&ots=Od7aGgQM7p&sig=2FFI2t4ZNp4ODXnt_pS_JAfrjzY#v=onepage&q&f=false > > > > Aproveitando a oportunidade, quero pedir aos que ensinam Lógica por aí > que > > dêem *sugestões para a implementacao de alguma ferramenta que possa ser > > útil > > para os professores de Lógica*. > > > > Ano passado, na minha disciplina Métodos Ágeis para o Desenvolvimento de > > Software< > > > http://www.dainf.ct.utfpr.edu.br/wiki/index.php/Metodologias_%C3%81geis_para_o_Desenvolvimento_de_Software > > >, > > eu e meus alunos implementamos o Logicamente-UTFPR: > > > > https://github.com/adolfont/Logicamente-UTFPR > > > > cujo .jar mais recente pode ser baixado de > > > > > > > https://github.com/downloads/adolfont/Logicamente-UTFPR/logicamente-utfpr-alfa-5.1.jar > > > > A ferramenta tem sido muito útil para mim. Uso nas minhas aulas e deixo > os > > alunos usando no laboratório. [A ideia do Logicamente-UTFPR era > implementar > > em Java algo que já estivesse implementado no Logicamente original > > <http://www.lolita.dimap.ufrn.br/logicamente/>] > > > > Um artigo sobre o Logicamente no Tools for Teaching Logic está em > > > > > > > http://books.google.com/books?id=be-pTR5TmZIC&pg=PA223&hl=es&source=gbs_toc_r&cad=4#v=onepage&q&f=false > > > > Voltando ao "Tools for Teaching Logic 2010", tem uma ferramenta lá que > > achei > > interessante: > > > > > > > http://books.google.com/books?id=be-pTR5TmZIC&pg=PA239&hl=es&source=gbs_toc_r&cad=4#v=onepage&q&f=false > > > > mas o jar que está em > > > > http://www.fdi.ucm.es/profesor/rdelvado/TICTTL2011/ > > > > não roda... > > > > O ASA CALCPRO > > > > http://www.asacalcpro.com.br/ > > > > também não funciona mais (tentei no WIndows 7 e no Ubuntu 11.04). > > > > Alguém conhece alguma ferramenta relativamente amigável que use tablôs > > marcados para lógica proposcional clássica? > > > > > > []s > > Adolfo > > > > ================================================================== > > Adolfo Neto > > Assistant Professor - Federal University of Technology, Paraná > > Web: http://www.dainf.ct.utfpr.edu.br/~adolfo > > Twitter: http://twitter.com/adolfont > > Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br > > ================================================================== > > _______________________________________________ > > Logica-l mailing list > > Logica-l@dimap.ufrn.br > > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > > > > > > -- > Federal University of Rio de Janeiro > www.cos.ufrj.br/~mario > _______________________________________________ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- Bruno Lopes Vieira Linux User #324250 Curriculum Vitae: http://lattes.cnpq.br/7793315334001237 Website: www.tecmf.inf.puc-rio.br/BrunoLopes -- "Never express yourself more clearly than you are able to think." (Niels Bohr) _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l