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