Es sollen Grundbegriffe der Logik vermittelt und verschiedene Kalküle diskutiert werden.
Dabei stehen folgende Schwerpunkte im Mittelpunkt:
Grundbegriffe: Logik, Kalkül, Axiom, Schlussregel, Folgern, Ableiten, Beweisen, klassische und intuitionistische Logik, Erfüllbarkeit und Widerlegbarkeit, Metasprache
Aussagenlogik: klassische Aussagenlogik, Aussagenkalkül und Anwendungen (Boolesche Algebra und logische Schaltungen, Erfüllbarkeitsproblem), Vollständigkeitssatz, Kompaktheitssatz
Prädikatenlogik erster Stufe: Prädikatenkalkül, Resolution und Anwendungen (Zermelo-Fraenkel-Mengenlehre, Logische Programmierung)
Prädikatenlogik zweiter Stufe: Ein Kalkül und ein Komprehensionsaxiom
- Dozent/in: Christine Gaßner