Bitte schreiben Sie sich bei Interesse im Moodle-Kurs ein. Dort werden alle relevanten Inhalte und Informationen eingestellt.

Das Modul "Mathematische Logik" findet bis auf Weiteres online über Moodle statt. Da nur eine mathematische Grundausbildung und Intuition vorausgesetzt wird, ist dieses Modul geeignet für Bachelor-, Master- und Promotions-Studierende. Das Ziel dieser Vorlesung mit Übung wird im Wesentlichen die Formalisierung des Beweisbegriffs mittels der Prädikatenlogik erster Stufe sein, um schließlich den Gödelschen Vollständigkeitssatz zu beweisen.