Logic modules for Bachelor and Master Studies

This is an overview of the logic modules that the Mathematical Logic Group offers regularly, usually every two years. Official course descriptions and specifications can be found in the

• Modulhandbuch Bachelor Mathematik
• Modulhandbuch Master Mathematik
• Module Handbook Master Mathematics

Mathematische Logik (V2A4)

• Vorlesung im Bachelor-Studium, 4 Semesterwochenstunden Vorlesung, 2 Semesterwochenstunden Übung, alle zwei Jahre.
• Inhalte: Syntax und Semantik der Prädikatenlogik; Ableitungskalküle; Termmodelle; Gödelscher Vollständigkeitssatz; Theorien und Modellklassen; die Zermelo-Fraenkelschen Axiome der Mengenlehre; Formalisierungen mathematischer Grundbegriffe. Als optionale Themen kommen u.a. in Frage: weiteres Studium der Aussagenlogik, alternative Kalküle; logisches Programmieren, Unvollständigkeitssätze; logische Untersuchungen algebraischer Theorien; Modallogik.
• Recent homepage (Summer 2006)

Mengenlehre (V2A5)

• Vorlesung im Bachelor-Studium, 4 Semesterwochenstunden Vorlesung, 2 Semesterwochenstunden Übung, alle zwei Jahre.
• Inhalte: Die Axiome der Zermelo-Fraenkelschen Mengenlehre; Relationen, Funktionen, Strukturen; Ordinalzahlen, Induktion, Rekursionsatz, Ordinalzahlarithmetik; Zahlsysteme: natürliche, ganze, rationale und reelle Zahlen; Auswahlaxiom und äquivalente Prinzipien; Kardinalzahlen und Kardinalzahlarithmetik; Mengen reeller Zahlen; Borelmengen und projektive Mengen, Regularitätseigenschaften.
  Als optionale Themen kommen u.a. in Frage: Einführung in die mengentheoretische Topologie; paradoxe Konsequenzen des Auswahlaxioms; deskriptive Mengenlehre; Mengenlehre ohne Auswahlaxiom; Kategorientheorie und Mengenlehre.