Proofdisplay. Eine reichen grafische Schnittstelle, mit der Sie mit APROs interagieren
Jetzt downloaden

Proofdisplay. Ranking & Zusammenfassung

Proofdisplay. Stichworte

Gui nachweisen msxml Version 6.10.1129.0 Safari ucweb. MIG33 PC-Software. Kitox-Toolset herunterladen Firefox-Ports Windows. Nokia Antivirus. Safari-Browser für Akai Campioni Free. Zune 30 Hacks. Emule arabische Musik Grafikanalysator

Proofdisplay. Beschreibung

APROs verwendet die Interkalationsmethode, um nach normalen natürlichen Abzugsnachweis in der klassischen, ferner und Prädikatlogik zu suchen. Die Methode wurde angepasst, um auch in der intuitistischen und minimalen Logik in elementaren Teilen der Settheorie und in formalisierten Metamathematik zu suchen. Gentzen schlug den natürlichen Abzugskalkuli als logische Werkzeuge vor, die sich recht direkt erfassen, wie der Menschen den Menschen durch einen Beweis ergibt. Sie ermöglichen es, markantisch und reichlich mit Annahmen und Einführung sowie Beseitigungsregeln für die logischen Verbindungen zulassen. Die Interkalationsmethode nutzt systematisch die zugrunde liegende Idee aus, dass Eliminationsregeln die Zersetzung komplexer Formeln ermöglichen und dass Einführungsregeln erlaubt, komplexe aufzubauen. Das unterscheidende Merkmal des in APROs implementierten Suchvorgangs besteht darin, dass die Beweiskonstruktion strategisch in drei verschiedene Module getrennt werden kann: Extraktion oder zielgerichtete Vorwärtsnutzung von Eliminierungsregeln, Inversion oder Rückwärtsnutzung der Einführungsregeln und schließlich die Verwendung von indirekte Argumentation. Im Proofdisplay kann man sowohl den resultierenden Beweis als auch jeden Schritt in der Suche in einer Reihe von Formaten anzeigen. Automatisches Nachweis-Suchwerkzeug für klassische und intuitionistische Erstbestellungslogik. Verwendet zugrunde liegende APROS-Proof-Suchmaschine. Holen Sie sich das Proofdisplay und versuche es zu sehen, worum es geht!

Proofdisplay. Zugehörige Software