Principia Mathematica II. ferramenta de lógica predicado construída em Java
Baixe Agora

Principia Mathematica II. Classificação e resumo

Principia Mathematica II. Tag

lógica predicado

Principia Mathematica II. Descrição

A Principia Mathematica II é projetada como um utilitário simples e útil que é capaz de lógica predicado de primeira ordem e mostra os principais recursos e funcionalidade de Hilbert II. A Principia Mathematica II apresenta a Fundação Lógica deste projeto. Funciona com arquivos de módulo QEDEQ (Prototype) localizados em qualquer lugar da Internet. Os protocolos HTTP e FTP são usados, também arquivos locais podem ser especificados. Após a entrada de um URL de um módulo Qedeq, o buffer de arquivos local é pesquisado. Se o arquivo QEDEQ solicitado não foi encontrado, um download do arquivo especificado pelo URL é iniciado e o resultado será salvo no buffer de arquivos local. Depois, o módulo Qedeq é carregado e verificado para correção formal. Se outros módulos QEDEQ forem referenciados, estes também são carregados. Não até que todos os módulos QEDEQ necessários foram carregados com sucesso e verificados o módulo Qedeq originalmente especificado obtem seu "ponto de correção verde". No caso de um erro, uma descrição detalhada do problema é dada e a posição problemática no módulo correspondente é mostrada.

Principia Mathematica II. Software Relacionado