Mein Logikübergang bietet Ihnen die
Möglichkeit, interaktiv Wahrheitstabellen, Ausdrucksbäume, Alfagrafen
und dergleichen mehr zu erzeugen und Aussagen umzuformen, all das
serverseitig oder
clientseitig direkt auf Ihrem
Browser, Theoreme herzuleiten
und selbstgemachte Ableitungen
auf ihre Korrektheit hin zu überprüfen.
Jars zählte den Logikübergang 1996 zu den
Top 25%-Programmen.
Auf den beiden folgenden Seiten finden sich Übungsbeispiele mit Lösungen
in Form der ersten Auflage meines Übungsskriptums zu Dr. Dethloffs
ehemaliger Vorlesung "Einführung in die Logik" bzw. zu
meinem Logiktutorium, aber auch zu
Esther Ramharters Nachfolgevorlesung;
weiters Lösungen zu einigen willkürlich gewählten Beispielen aus
E.J. Lemmons Buch "Beginning Logic":
Im Internet gibt es zahlreiche Aufstellungen logischer Ressourcen.
Sehr nützlich fand ich die Folgenden:
Von den in den Einführungsvorlesungen und in meinem
Tutorium erwähnten Texten sind online nur wenige verfügbar:
- Mein Text Einführung in
die Logik, das Skriptum zu Dr. Klaus Dethloffs ehemaliger
Vorlesung Einführung in die Logik bzw. zu meinem
Logiktutorium.
- Ein englischer Einführungstext
von Garth Kemerling
Einige ausgewählte Wikipedia-Artikel:
- Logik, ein
lesenswerter Übersichtsartikel
- Existential
Graphs, ein graphisches logisches System des Charles S. Peirce
- Baumkalküle, ein
intuitiver logischer Kalkül aus der Schule Beths, der (ersterer)
sich zudem gut zum automatischen Beweisen eignet.
- Aussagenlogik,
eine gar nicht ganz falsche Einführung in die Aussagenlogik
- Prädikatenlogik,
ein ebenfalls ganz brauchbarer Überblick
- Logische
Maschine, ein absolutes Nischenthema, das mir aber aus Gründen,
die ich hier nicht nennen möchte, dennoch gefällt
- Syllogismus,
ein inzwischen recht richtiger Einführungsartikel
Online verfügbar sind folgende Logikprogramme:
- Der Logikdämon
von Colin Allen ist
ein leistungsfähiger Beweisprüfer, der wie
mein Logikübergang die Schreibweise von E.J. Lemmons Buch
Beginning Logic und von Allens Logic Primer
versteht.
- Metamath
Solitaire, ein ausgesprochen leistungsfähiges Java-Applet
zum interaktiven Erstellen von Beweisen. Das Programm ist
weitaus leistungsfähiger als mein
Beweisbauer und unterstützt
auch Prädikatenlogik und Mengentheorie, verwendet dafür aber
einen axiomatischen Kalkül.
- Interaktives Üben des Aufstellens von Wahrheitstabellen
(California State University). Achtung: Das Programm prüft
nur die Richtigkeit des Endergebnisses, nicht die der
Zwischenergebnisse.
- Ein Theorembeweiser
für lineare Logik von Naoyuki Tamura
- An der TU Wien gibt es ein schönes Java-Applet
zur Default-Logik.
- John Kennedys aussagenlogisches
Programm stellt Wahrheitstafeln und Ausdrucksbäume dar,
wandelt Aussagen in polnische Notation um und optimiert Aussagen
in bis zu vier Variablen nach der Methode von Karnaugh/Veitch.
Es arbeitet im Textmodus unter MS-DOS.
- Otter ist einer
der bekanntesten professionellen Theorembeweiser.
- Prover9
ist Otters designierter Nachfolger.
- Anstelle von Peter Gibbins hervorragendem interaktiven
Beweisprüfer für Lemmons Kalkül und für Quantenlogik kann ich leider
nur mehr einen Nachruf verlinken.
2011/04/05 13:25:46
gottschall@gmx.de
There is an English version of
this page.