Mathematische Logik

Aktuelles

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

Inhalt

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.

Termine und Räume

siehe Moodle.

Umfang

2 SWS

Moodle

Hier gelangt man zum zugehörigen Moodle Kurs.