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
