Vorlesung: Mathematische Logik Sommersemester 2024
Beschreibung |
Vierstündige Vorlesung mit zweistündigen Übungen |
Zeit | Di, Do 10 - 12 |
Ort |
HS II, Albertstr. 23b |
| |
Dozentin: |
Heike Mildenberger |
Sprechstunde Dozentin: |
n. V. |
| |
Mitwirkung bei den Übungen |
Hannes Jakob |
Sprechstunde Assistent: |
n. V. |
Übungen: |
Mattis Bless, Benjamin Gerhards |
Zeit/Ort: |
Do 14-16, SR 125/126, Fr 12-14, SR 127/128 |
Studienleistung
- Alle: 50 Prozent der Hausaufgabenpunkte. Master: Zusätzlich Bestehen der Klausur.
Prüfungsleistung
- Im Master mündliche Prüfung, im Bachelor: Klausur.
- Klausur am 18.7.2024 von 10 - 12 im HS II
-
Für die Klausur dürfen Sie ein beidseitig beschriebenes Din A4-Blatt mit Notizen beliebiger Wahl mitbringen und konsultieren.
- Klausureinsicht am Montag, dem 22.7.2024, von 10:00 - 11 Uhr in Raum 313 in der Ernst-Zermelo-Str. 1
Bitte beachten Sie die weiteren Hinweise zu Studien- und
Prüfungsleistungen im Modulhandbuch zu Ihrem Studiengang.
Beschreibung
Dies ist eine Einführung in die mathematische Logik. Wir werden den Begriff eines mathematischen Beweises präzi-
sieren. Für den festgelegten Beweisbegriff beantworten wir dann folgende Fragen: Von welchen (nicht beweisbaren)
Grundprinzipien geht man aus? Kann man das Nachprüfen oder gar das Finden von Beweisen geeigneten Computern
überlassen? Gegenstände der Vorlesung sind der Gödel'sche Vollständigkeitssatz und die Gödel'schen Unvollständig-
keitssätze und die ersten Grundlagen der Rekursionstheorie, der Modelltheorie und der Mengenlehre.
Literatur
Folgende Literatur wird empfohlen:
- H.-D. Ebbinghaus, J. Flum, W. Thomas: Einführung in die mathematische Logik, Spektrum Verlag, 2007.
- Martin Hils and François Loeser: A First Journey Through Logic, Student Mathematical Library vol. 89, American
Mathematical Society, Providence, RI, 2019.
- Peter G. Hinman: Fundamentals of Mathematical Logic. A K Peters, Ltd.„ Wellesley, MA, 2005. xvi+878 pp
- Joseph R. Shoenfield, Joseph: Mathematical Logic. Reprint of the 1973 second printing. Association for Symbolic
Logic, Urbana, IL A K Peters, Ltd., Natick, MA, 2001.
- Martin Ziegler: Vorlesungsskript „Mathematische Logik“.
- Martin Ziegler: Mathematische Logik, 2. Auflage, Birkhäuser, 2017.
Skript
Skript ist in Arbeit, Version vom 16.7.2024
Sektion 2.4 und Sektion 2.5 haben wir dieses Semester ausgelassen.
Übungsgruppen
Donnerstags von 14-16 Uhr, SR 125/126 bei Herrn Mattis Bless
Freitags von 12-14 Uhr, SR 127/128 bei Herrn Benjamin Gerhards
Übungsblätter
Die Aufgaben sind in Einzelabfassung einzureichen.