O Treinar Lógica é um software didático em fase de desenvolvimento voltado para estudantes iniciantes em lógica. Através de exercícios envolvendo noções elementares o estudante poderá aprimorar suas habilidades lógicas. Você pode acessá-lo on-line aqui (em breve haverá uma versão para download).
Descrição técnica:
O Treinar Lógica é um software desennvolvido em html e javascript e pode ser rodado em qualquer computador dispondo desses recursos. Seu código fonte é aberto e você pode alterá-lo livremente observando as condições apresentadas na página “sobre” do software.
Como colaborar:
Você pode colaborar com o prosseguimento deste projeto de duas formas: (a) programando diretamente em seu código fonte para aprimorá-lo, e (b) enviando críticas comentários e sugestões através desta página ou por e-mail.
Atualização (em 06/05/2020): veja um curso novo de Introdução à lógica proposicional (incluindo conteúdos, exercícios com correção automática e vídeos de resolução de exercícios).
Marcelo Fischborn 
Deixe um comentário