Olá,
Talvez seja útil para os que ensinam lógica baseando no livro de Silva, FInger e Melo (Lógica para Computação): A Rigorous Parser for Classical Propositional Logic <http://bit.ly/ihLKSd> É um parser online para fórmulas da lógica clássica proposicional na sintaxe daquele livro. A página serve para só uma coisa: - o aluno digita uma fórmula - o sistema responde se a fórmula é uma fórmula bem formada ou não. É uma versão alfa. Devo ter esquecido algo ou cometido algum erro. Peço que me avisem o que encontrarem. E talvez o nome não seja bom. Não é tão rigoroso assim pois não define o conjunto das fórmulas atômicas P... Abraços, 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 ================================================================== 2011/3/27 Joao Marcos <[email protected]> > Com uma nova Deadline: 4 de Abril! > > JM > > > ---------- Forwarded message ---------- > > Data, Logic and Inconsistency (DALI) > http://web.iti.upv.es/~hendrik/DALI-2011/ > as part of the DEXA > http://www.dexa.org/ > Toulouse > Aug 30-Sep 2, 2011 > > Deadline: March 20th, up to five double column pages in IEEE format > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
