Principia Mathematica II Herramienta de lógica de predicado construida en Java
Descargar ahora

Principia Mathematica II Clasificación y resumen

Principia Mathematica II Etiquetas

lógica predicado

Principia Mathematica II Descripción

Principia Mathematica II está diseñada como una utilidad simple y útil que es capaz de una lógica de predicado de primer orden y muestra las características principales y la funcionalidad de Hilbert II. Principia Mathematica II presenta la base lógica de este proyecto. Funciona con (prototipo) archivos de módulos Qedeq ubicados en cualquier lugar de Internet. Se utilizan los protocolos HTTP y FTP, también se pueden especificar los archivos locales. Después de la entrada de una URL de un módulo Qedeq, se busca el búfer de archivos local. Si no se encontró el archivo Qedeq solicitado, se inicia una descarga del archivo especificada por la URL y el resultado se guarda en el búfer de archivos local. Luego, el módulo Qedeq está cargado y revisado para la corrección formal. Si se hacen referencia a otros módulos Qedeq, también se cargan estos. No hasta que todos los módulos QEEDEQ necesarios se cargaron y verificaron con éxito y verificar el módulo Qedeq originalmente especificado, su "punto de corrección verde". En caso de un error, se muestra una descripción detallada del problema y se muestra la posición problemática en el módulo correspondiente.

Principia Mathematica II Software relacionado