Principia Mathematica II Outil logique prédicat intégré à Java
Télécharger maintenant

Principia Mathematica II Classement & Résumé

Principia Mathematica II Mots clés

logique prédicat

Principia Mathematica II La description

Principia Mathematica II est conçu comme une utilité simple et pratique capable de prédiction de premier ordre logique et montre les principales caractéristiques et fonctionnalités de Hilbert II. Principia Mathematica II présente la base logique de ce projet. Il fonctionne avec (prototype) Les fichiers de module QEDEQ situés n'importe où sur Internet. Les protocoles HTTP et FTP sont utilisés, également des fichiers locaux peuvent être spécifiés. Après l'entrée d'une URL d'un module QEDEQ, le tampon de fichier local est recherché. Si le fichier QUEDEQ demandé n'a pas été trouvé, un téléchargement du fichier spécifié par l'URL est démarré et le résultat est enregistré dans le tampon de fichier local. Ensuite, le module QEDEQ est chargé et vérifié pour une exactitude formelle. Si d'autres modules QEDEQ sont référencés, ceux-ci sont également chargés. Pas avant que tous les modules QUEE NEPE QUEDEQ ont été chargés avec succès et vérifié le module QEDEQ spécifié à l'origine obtiennent son "point de correction verte". En cas d'erreur, une description détaillée du problème est donnée et la position problématique dans le module correspondant est indiquée.

Principia Mathematica II Logiciels associés