Die Vorlesung gibt eine Einführung in die Prädikatenlogik der ersten Stufe. Es werden die Begriffe eines formalen Beweises und eines Modells eingeführt und gezeigt, dass logische Folgerung, die unter Verwendung des Modellbegriffs definiert ist, das gleiche ist wie Beweisbarkeit. Dies ist die Aussage des Gödelschen Vollständigkeitssatzes. Mit Hilfe der Berechenbarkeitstheorie wird dann der Gödelsche Unvollständigkeitssatz gezeigt, der besagt, dass die formale Beweisbarkeit von Sätzen nicht durch einen Algorithmus entschieden werden kann. Zudem werden Ordinal- und Kardinalzahlen behandelt sowie die Zermelo-Fraenkel-Axiome der Mengenlehre.
Die Vorlesung findet ab Montag, den 01.04.19, immer montags und donnerstags von 08:25 Uhr bis 10:00 Uhr statt.
Die Vorlesungen am 11.4., 18.4., 30.5. und 20.6. fallen aus. Stattdessen findet in diesen Wochen (d.h. am 9.4., 16.4., 28.5. und 18.6.) eine zusätzliche Vorlesung am Dienstag, 8:25-10:00h, in M3 statt.
Link zum Vorlesungsverzeichnis
Begleitend zur Vorlesung gibt es Übungen, deren Besuch dringend empfohlen wird. Der Termin ist mittwochs, um 12:15-14:00 und 14:15-16:00 Uhr, in SR1D. Das erste Tutorat findet am 10.04.19 statt. Die Abgabe ist jeweils donnerstags um 10:00 Uhr in Briefkasten 177.
Link zum Vorlesungsverzeichnis