Principia Mathematica II. Predicato strumento logico costruito in Java
Scarica ora

Principia Mathematica II. Classifica e riepilogo

Principia Mathematica II. Tag

logica predicato

Principia Mathematica II. Descrizione

Principia Mathematica II è progettato come un'utilità semplice e pratica che è in grado di prevenire la logica del primo ordine e mostra le caratteristiche principali e le funzionalità di Hilbert II. Principia Matematica II presenta la logica Fondazione di questo progetto. Funziona con (prototipo) i file del modulo Qedeq situati ovunque in Internet. I protocolli HTTP e FTP vengono utilizzati, è possibile specificare anche i file locali. Dopo l'ingresso di un URL di un modulo QEDAQ è cercato il buffer del file locale. Se il file QEDEQ richiesto non è stato trovato, viene avviato un download del file specificato dall'URL e il risultato viene salvato nel buffer del file locale. Successivamente il modulo Qedeq è caricato e controllato per la correttezza formale. Se altri moduli Qedeq vengono referenziati questi sono anche caricati. Non fino a quando tutti i moduli Qedeq necessari sono stati caricati correttamente e controllati con successo il modulo Qedeq originariamente specificato prende il suo "punto di correttezza verde". In caso di errore viene fornita una descrizione del problema dettagliata e viene visualizzata la posizione problematica nel modulo corrispondente.

Principia Mathematica II. Software correlato