Changes

Listamos aqui uma seleção de softwares para o Ensino de Lógica com suas respectivas descrições.

Criador e Editor de Modelos de Kripke. Foi desenvolvido em Java.

Avaliação: -

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

Avaliação: -

Um projeto que consiste em quatro sistemas integrados um mecanismo de busca de demonstrações Proof Generator, Proof Tutor, Proof Lab e curso web Logic & Proofs. É desenvolvido em Java Web Start.

Avaliação: -

É um ambiente de suporte ao aluno para o ensino-aprendizagem de cálculo proposicional.

Avaliação: -

Symbolic Logic Problem-Solving Software: Resolve conjuntos proposições de primeira ordem no que diz respeito a consistência, validade e equivalência. Classifica verdades lógicas e falsidades lógicas, e constrói tabelas de verdade.

Avaliação: -

Ferramenta educativa desenvolvida em Java para demonstrações à la Fitch da Delft university.

Avaliação: -

Site dedicado aos aspectos formais da lógica aristotélica tradicional. Desenvolvido em PHP.

Avaliação: -

É um assistente de demonstrações formais, permite definir funções ou predicados, estabelecer teoremas matemáticos e especificações de softwares, desenvolver demonstrações formais interativamente e verificar estas demonstrações a partir de uma teoria formal.

Avaliação: -

Analisador de expressões booleanas, com quantificadores e predicados. É um programa em CGI escrito em Perl.

Avaliação: -

É um ambiente de desenvolvimento para construção de modelos gráficos de decisões teóricas.

Avaliação: -

- Simulação Máquinas de Turing.

Avaliação:[Muito bom]

É um sistema desktop para prática de demonstrações de dedução natural. Bastante interessante e flexível que possibilita definir novas formalizações lógicas.

Avaliação:[Muito bom]

Trata-se da continuidade da iniciativa do projeto \ep{Introdutory Logic Animations de Jan Jaspars para o ensino de Lógica em cursos introdutórios e intermediários. O projeto disponibiliza materiais de aula, slides em inglês e espanhol, e programas interativos para ensinar Lógica Proposicional, Raciocínio Silogístico, Lógica de Primeira Ordem, Lógica Epistêmica, Lógica Dinâmica, Jogos Lógicos, Testes de Validade, Demonstrações e Método de Resolução.

Avaliação:[Muito bom]

Trata-se de uma ferramenta para a demonstração através do método de Tableau para Lógica de $1ª$ Ordem e Lógica Modal, implementada em Java e executável via Java Web Start.

Avaliação: [Muito bom]

Avaliação:[Muito bom]

<references>

<ref name="d3">

</ref>

<ref name="mj">

</ref>

<ref name="tb">

</ref>

</references>

* '''Boole''': um programa que facilita a construção e verificação de tabelas de verdade relacionando com suas principais noções de tautologia, consequência e equivalência.

Avaliação: -

(Proof Assistant for Natural Deduction using Organised Rectangular Areas): é uma ferramenta de aprendizado e suporte para a construção de demonstrações em dedução natural. Está disponível através de Java Applet's.

Avaliação: -

É uma ferramenta para a construção de demonstrações em linguagens formais de cálculo sentencial, cálculo de predicados e teoria dos conjuntos.

Avaliação: -

Analisa fórmulas modais a partir de um modelo de Kripke construído pelo usuário.

É um sistema tanto para ensino de lógica e assistência de demonstrações na Web. É desenvolvido em PHP e serve como comunicação entre uma interface Web e o demonstrador de Teoremas Coq que funciona no servidor.

Avaliação: -

É um verificador de demonstrações útil para busca de estratégias de demonstrações. E um verificador da correção de tableaux semântico.

Avaliação: -

Um verificador de demonstrações e de contramodelos.

Avaliação: -

É um sistema educacional demonstrador de teoremas desenvolvido em Common Lisp.

Avaliação: -

É um aplicação que constroí tabelas de verdade para lógica proposicional. Desenvolvido em Java Applet's.

Coletânea de diversos softwares relacionados com o ensino de lógica desenvolvidos em Java: DiagVenn1.0: Diagramas para lógica de predicados monádicos. MAFIA: Constrói tableaux proposicionais. Modelos de Kripke: Analisa fórmulas modais em modelos de Kripke definidos pelo usuário e verifica as propriedades de acessabilidade.Diagramas de Peirce: Permite a realização de um sistema para representação de gráficos. Possibilita o desenvolvimento em um sistema de gráficos de Peirce. Tradutor de lógicas: Ferramenta que proporciona um simulador gráfico de um tradutor de fórmulas em lógica modal para lógicas multivaloradas.