Principia Mathematica II Prädikat-Logik-Tool in Java erstellt
Jetzt downloaden

Principia Mathematica II Ranking & Zusammenfassung

Principia Mathematica II Stichworte

Logik Prädikat

Principia Mathematica II Beschreibung

Principia Mathematica II ist als ein einfaches und praktisches Dienstprogramm konzipiert, das in der Lage ist, die Prädikatlogik erster Ordnung zu erstellen, und zeigt die Hauptmerkmale und die Funktionalität von Hilbert II. Principia Mathematica II zeigt die logische Grundlage dieses Projekts. Es funktioniert mit (Prototypen-) QEDEQ-Moduldateien überall im Internet. Die Protokolle HTTP und FTP werden verwendet, auch lokale Dateien können angegeben werden. Nach dem Eingang einer URL eines QEDEQ-Moduls wird der lokale Dateipuffer gesucht. Wenn die angeforderte QEdeq-Datei nicht gefunden wurde, wird ein Download der von der URL angegebenen Datei gestartet und das Ergebnis wird im lokalen Dateipuffer gespeichert. Anschließend wird das QEDEQ-Modul geladen und auf formale Richtigkeit überprüft. Wenn andere QEDEQ-Module referenziert werden, werden diese auch geladen. Wenn nicht alle notwendigen QEDEQ-Module erfolgreich geladen und das ursprünglich angegebene QEDEQ-Modul überprüft wurden, wird der qedeq-Modul "grüner Richtigkeitspunkt". Im Fehlerfall ist eine detaillierte Problembeschreibung angegeben und die problematische Position im entsprechenden Modul ist gezeigt.

Principia Mathematica II Zugehörige Software