205
edits
Changes
Jump to navigation
Jump to search
É 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/]
Uma lista de Ferramentas para o Ensino de Lógica (view source)
Revision as of 21:20, 27 May 2013
, 21:20, 27 May 2013no edit summary
Listamos aqui uma seleção de softwares para o Ensino de Lógica com suas respectivas descrições.
Além de nossa lista, há uma lista mantida pelo grupo da Association for Symbolic Logic<ref name="asl"/> e também a lista de Freek Wiedijk<ref name="wiedijk"/> com 300 ferramentas computacionais de aplicações e ensino de Lógica.
Trata-se de um avaliador de fórmulas e de relações de acessibilidade para a Lógica Modal Proposicional. Foi desenvolvido através da biblioteca JavaScript D3<ref group="modal" name="d3"/>, MathJax<ref group="modal" name="mj"/> e o Twitter Bootstrap<ref group="modal" name="tb"/>. A ferramenta possui código livre disponível em [https://github.com/rkirsling/modallogic]. [http://rkirsling.github.io/modallogic/]
Avaliação:[Muito bom]
Última atualização: 2013
<references group="modal">
<ref name="d3">
Uma biblioteca JavaScript para manipulação de documentos a partir de seus dados. Disponível em [http://d3js.org/].
</ref>
</references>
== Tarski's World, Fitch & Boole ==
== Plato ==
Avaliação: -
Problemas: -
== Possible World Creation ==
<references>
<ref name="asl">DITMARSCH, H. van. Logic courseware. 2010. '''A Comprehensive list of Tools for doing Logic'''. Association for Symbolic Logic. Disponível em: [http://www.ucalgary.ca-/aslcle/logic-courseware/].</ref> <ref name="wiedijk">WIEDIJK, F. '''Digital Math by Categories with Samples'''. 2007. A compiled list of 300 Tools sorted by implementation, interaction, supported logic and size effort. Disponível em: [http://www.cs.ru.nl/ ̃freek~freek/digimath/bycategory.html].</ref>
</references>
