| Principia Mathematica II Predicate Logic-tool gebouwd in Java |
Download nu |
Principia Mathematica II Rangschikking & Samenvatting
- Naam uitgever:
- Michael Meyling
- Besturingssystemen:
- Windows All
Principia Mathematica II Tags
Principia Mathematica II Beschrijving
Principia Mathematica II is ontworpen als een eenvoudig en handig hulpprogramma dat in staat is om eerst de logica te bestellen en de belangrijkste kenmerken en functionaliteit van Hilbert II te tonen. Principia Mathematica II presenteert de logische fundering van dit project. Het werkt met (prototype) Qedeq-module-bestanden overal op internet. De protocollen HTTP en FTP worden gebruikt, ook lokale bestanden kunnen worden opgegeven. Nadat de invoer van een URL van een QEDEQ-module wordt doorzocht. Als het gevraagde Qedeq-bestand niet is gevonden, wordt een download van het bestand opgetekend door de URL gestart en wordt het resultaat opgeslagen in de lokale bestandsbuffer. Daarna wordt de Qedeq-module geladen en gecontroleerd op formele correctheid. Als er andere Qedeq-modules worden verwezen, worden deze ook geladen. Totdat alle noodzakelijke Qedeq-modules met succes zijn geladen en gecontroleerd, krijgt de oorspronkelijk gespecificeerde Qedeq-module het "groene juistheidspunt". In het geval van een fout wordt een gedetailleerde probleembeschrijving gegeven en wordt de problematische positie in de overeenkomstige module getoond.
Principia Mathematica II Gerelateerde software