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 Dienstag, den 10.04.18, immer dientags und freitags
von 08:25 Uhr bis 10:00 Uhr 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 18.4.18 statt.
Die Abgabe ist jeweils freitags um 10:00 Uhr in
Briefkasten 161.
Link zum Vorlesungsverzeichnis