Changes

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

3 bytes removed , 15:04, 27 May 2013

== Alfie ==

É um programa editor de demonstrações em lógica proposicional. Tem a vantagem de apresentar a demonstração tal como um programa em Haskell.

[[http://www.cs.chalmers.se/~sydow/alfie/index.html]]

Problemas: -

== AproS ==

205

edits