Oi, Adolfo. Por enquanto já utilizei estas: (1º Período - Ciência da Computação - Lógica Matemática)
*CoTaVeRa 3.1* - CoTaVeRa 3.1 - Construtor de Tabelas-Verdade e Ramificações (para Fórmulas e Argumentos da Lógica Clássica Proposicional e de 1ª Ordem) - Acesso: http://www.marilia.unesp.br/Home/Instituicao/Docentes/RicardoTassinari/Ramif.htm Testador de Tautologias * http://comet.lehman.cuny.edu/fitting/tautologytester/tautology/proplogic.html *<http://comet.lehman.cuny.edu/fitting/tautologytester/tautology/proplogic.html> -- Att. Aracele Garcia de Oliveira M.Sc. Computer Science - UFSC Professor at Federal Institute Sul de Minas Muzambinho, MG - Brazil Phone: +55 35 8411-9228 Personal Homepage: http://www.inf.ufsc.br/~aracele<http://www.inf.ufsc.br/%7Earacele> Blog: http://aracele.wordpress.com/ Em 9 de novembro de 2010 16:52, Adolfo Neto <[email protected]> escreveu: > Olá, > > Alguém aqui usa alguma ferramenta para o ensino de lógica? Quais? > > []s > Adolfo > ============================================================ > Adolfo Neto > Web: > http://www.dainf.ct.utfpr.edu.br/~adolfo<http://www.dainf.ct.utfpr.edu.br/%7Eadolfo> > Twitter: http://twitter.com/adolfont > Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br > ============================================================ > > > _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
