Please remove from stream, EGK Lopez-Escobar is deceased 2011/10/3 Bruno Lopes <blopesvie...@gmail.com>
> 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 > > -- Professor E. G. K. Lopez-Escobar Mathematics Department University of Maryland College Park, MD 20742 eg...@math.umd.edu _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
