205
edits
Changes
Uma lista de Ferramentas para o Ensino de Lógica (view source)
Revision as of 15:54, 27 May 2013
, 15:54, 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.