Werke

Zum jetzigen Zeitpunkt sind meine folgenden Programme und Texte im Internet verfügbar:

• Ein Tag im Leben eines Schafes
• Erpelstolz Dosenwurmfabriken
• Logikübergang, eine recht umfangreiche Sammlung von Logikprogrammen mit didaktischem Schwerpunkt
  • Zentrale Verarbeitung (formularbasiert)
  • Dezentrale Verarbeitung (javabasiert)
  • Beweisprüfer (formularbasiert)
  • Beweisbauer nach der Art Lemmons (javabasiert)
  • Beweisbauer nach der Art Fitchs (javabasiert)
  • Beweisbauer für Peircsche Alphagraphen
  • axiomatischer Beweisbauer
  • axiomatischer Beweisbauer für die Principia Mathematica-Axiome
• Logikskriptum, eine Einführung in die Prädikatenlogik der ersten Stufe mit Identität
• Mobile Wahrheitstabellen für Android, ein schneller Weg, auf seinem oder ihrem Android-Mobiltelefon zu einer Wahrheitstafel zu kommen.
• Mobile Wahrheitstabellen für Symbian, ein schneller Weg, auf seinem oder ihrem Nokia-Mobiltelefon zu einer Wahrheitstafel zu kommen.
• Peirce's Alpha Graphs, ein schneller Weg, auf seinem oder ihrem Nokia-Mobiltelefon Alphagrapen zu erzeugen.
kommen.
• Wahrheitstafelwidget, ein schneller Weg, unter MacOS X an eine Wahrheitstafel zu kommen
• Zähler für WWW-Seiten, einfacher, kompakter und sicherer als viele verbreitete Zähler
• Die obligatorische Zugriffsstatistik für diesen Rechner
• Ein Übungsskriptum zur Aussagen- und Prädikatenlogik (als Ergänzung zum Logikskriptum)
• Ein einfaches Programm zu Kaynes Antisymmetrie-Buch, das die Kayneschen Eigenschaften eines in einer Klammerschreibweise eingegebenen Syntaxbaums feststellt und die LCA-Konformität dieses Baums feststellt.
• Wikipedia-Einträge:
  • Eigene
    • Logische Maschine
    • LRR1
    • Existential Graphs
    • Baumkalkül
    • Prädikatenlogik (inzwischen verschlechtert, der Link zeigt aber auf eine korrekte Version)
    • Charles Leonard Hamblin
  • Stark überarbeitete
    • Syllogismus
    • Aussagenlogik

2012-03-31 01:19:44
gottschall@gmx.de