Open
to Europe Subproject Logic |
Logik-Kurs, der von einem internationalen Studententeam als Teil des Projekts Open to Europe (Sokrates-Programm der Europäischen Gemeinschaft) entwickelt worden ist. Mehrere Lernmodule (Satzlogik, Prädikatenlogik u.a.) sind bereits verfügbar. |
Mission:
Critical (San Jose State University) |
Interaktiver Kurs (viele Übungen), behandelt verschiedene Arten von Argumenten und Fehlschlüssen. |
FACTASIA:
Logic (Roger Bishop Jones) |
Einführung in die Grundbegriffe der Logik. Behandelt werden zudem Beziehungen der Logik zur Philosophie, zur Mathematik, zur Programmierung etc. |
Logic (Garth Kemerling) |
Einführung in die elementare Logik, die sich an dem Buch Introduction to Logic von Cohen und Copi orientiert. |
Symbolic
Logic (Peter Suber) |
Logik-Kurs nach dem Buch Symbolic Logic von Irving Copi. |
Introduction
to Logic (Rudy Garns) |
Logik-Kurs nach dem Buch A Concise Introduction to Logic von Patrick J. Hurley. |
Introduction
to Logic (Chris Menzel) |
Logik-Kurs im PDF-Format (benötigt Acrobat Reader). Die Dateien liegen alternativ auch im Postscript-Format vor. |
Mathematical
Background (John F. Sowa) |
Überarbeitete und erweiterte Version von Appendix A des Buches Conceptual Structures von John F. Sowa. Behandelt werden: Mengenlehre, Funktionen, Satzlogik, Prädikatenlogik, Modelltheorie u.a. |
Prädikatenlogik (Christian Gottschall, Klaus Dehtloff) |
Das Skript von Christian Gottschall nach einer Vorlesung von Dr. Klaus Dehtloff (Universität Wien) behandelt die Prädikatenlogik der ersten Stufe mit Identität. Das Skript liegt als PDF-, DVI- und Postscript-Datei vor. |
Mathematische
Logik (Vorlesungsskripte WWU Münster) |
Vorlesungsskripte des Instituts für mathematische Logik und Grundlagenforschung der WWU Münster. Zwei Skripte (Einführung in die klassische Prädikatenlogik und Mengenlehre) liegen als Postscript-Dateien vor. |
Notes
on Logic Notation on the Web (Peter Suber) |
Anleitung zur Darstellung logischer Symbole in Web-Seiten. Viele logische Symbole werden auch als GIF-Dateien zur Verfügung gestellt. |
Symbol
awk (John F. Sowa) |
Programm, das HTML 4.0 Symbole in eine Repräsentation übersetzt, die den Symbol-Font von Adobe verwendet. |
Jochen Lechner lechner@phil-fak.uni-duesseldorf.de Letzte Änderung: 01. November 1999 |