205
edits
Changes
Uma lista de Ferramentas para o Ensino de Lógica (view source)
Revision as of 21:18, 27 May 2013
, 21:18, 27 May 2013→Modal Logic Playground
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 ==