Willkommen auf der Seite zum Kurs "Algebraische Strukturen und logische Kalküle"!
Im Seminar werden - ohne spezielle mathematische Vorkenntnisse
voauszusetzen - algebraische Begriffe (Verbände, Filter, Ultrafilter,
Boolsche Algebren) vorgestellt, die in enger Beziehung zur Logik stehen. Am
Beispiel der klassischen Logik wie auch ausgewählter nichtklassischer
Logiken werden Querverbindungen aufgezeigt und der Nutzen der algebraischen
Betrachtungsweise nachgewiesen.
In den Sitzungen werden Übungen
angeboten, damit soll die Anwendbarkeit der erworbenen Kenntnisse gesichert
werden. Von den Teilnehmern wird erwartet, daß sie die
Übungsaufgaben lösen und Zusammenfassungen der einzelnen Sitzungen
erstellen, davon wird jeweils eine (erforderlichenfalls nach redaktioneller
Bearbeitung) hier veröffentlicht.
Vorausgesetzt werden
Kenntnisse der klassischen (Aussagen-)Logik, wünschenswert sind Kenntnisse
zur intuitionistischen und Modallogik.
Literatur:
Ryszard Wójcicki; Theory of Logical
Calculi, Kluwer 1988. Hans Hermes, Einführung in die
Verbandstheorie, Springer 1955.
Helena Rasiowa, Roman Sikorski, The
Mathematics of Metamathematics, PWN 1963
Ryszard Wójcicki;
Theory of Logical Calculi, Kluwer 1988.
Das Proseminar findet jeweils Mittwochs 09 - 11 Uhr im Raum 2-33/34 (SG) statt.
Fragen, Kommentare, Wünsche zum Kurs bitte an: Peter Steinacker