Flip

logischer Rahmen in Python
Jetzt downloaden

Flip Ranking & Zusammenfassung

Anzeige

  • Rating:
  • Lizenz:
  • GPL
  • Name des Herausgebers:
  • Jonathan Jacky
  • Website des Verlags:
  • http://staff.washington.edu

Flip Stichworte


Flip Beschreibung

Logischer Rahmen in Python Flip ist ein logischer Python-Framework. Ein logischer Rahmen ist eine Bibliothek zum Definieren von Logiken und Schreibanwendungen wie Theorem Eine Flip-Anwendung ist ein Beweisprüfer zum Ein- und Bearbeitungsnachrichten im natürlichen Abzugstil. Hier ist etwas aus dem Checker, der aus einem python-proof-Skript generiert wurde: Kaye Ex. 9.12, ~ ax.p (x) | - ex. ~ P (x) (0) Kommentar ~ ax.p (x) (1) gegeben | ~ ex. ~ P (x) (2) Annahme || Seien Sie willkürlich (3) neue Variable für subproof ||| ~ p (x) (4) Annahme ||| ex. ~ P (x) (5) E-Einführung (4) ||| f (6) Widerspruch (5 ) (2) || ~~ p (x) (7) reduktio ad absurdum (4) (6) || p (x) (8) nicht eliminiert (7) | ax.p (x) (9) a -InteRoduktion (3) (8) | f (10) Widerspruch (9) (1) ~~ ex. ~ P (x) (11) reduktio ad absurdum (2) (10) ex. ~ P (x) (12 ) Nicht-Beseitigung (11) Der Checker kann unterschiedliche Logiken verwenden. Flip kommt mit mehreren. Sie können eine andere Logik hinzufügen oder Axiome und abgeleitete Regeln hinzufügen, indem Sie ein Modul in Python schreiben. Python ist sowohl die Objektsprache als auch die Metallen. Formeln, Inferenzregeln und ganze Beweise sind Python-Ausdrücke. Proover-Befehle sind Python-Funktionen. Der Python-Interpreter selbst ist die einzige Benutzeroberfläche zur Beantragung der Beweisprüfung. (Es ist nicht notwendig, viel Python zu kennen, um den Checker zu verwenden.) Der Flip wurde als Python-Programmierübung durchgeführt. Es ist nicht beabsichtigt, mit dem Industriestärke-Theorem-Begriffe wie HOL zu konkurrieren, oder mit schön gestalteten Bildungsvertretern wie Jape. Das heißt, der Checker ist ziemlich in der Lage, die Beispiele und Übungen in Lehrbüchern der Universitätsstufe auf Logik für Informatik oder Mathematik, wie Kaye, Huth und Ryan und Bornat, zu arbeiten. Anforderungen: · Python


Flip Zugehörige Software

Über uns