Changes

Uma lista de Ferramentas para o Ensino de Lógica (view source)

Revision as of 15:14, 27 May 2013

3 bytes removed , 15:14, 27 May 2013

== Plato ==

É uma ferramenta para a construção de demonstrações em linguagens formais de cálculo sentencial, cálculo de predicados e teoria dos conjuntos [http://www.utexas.edu/courses/plato/]

Avaliação: -

Problemas: -

== Possible World Creation ==

Admin

Bureaucrats, Administrators

205

edits