Vorlesung: Mathematische Logik Sommersemester 2024

Beschreibung Vierstündige Vorlesung mit zweistündigen Übungen
ZeitDi, 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.

Blatt Ausgabe Abgabe
Blatt 1 16.04.2024 23.04.2024
Blatt 2 23.04.2024 30.04.2024
Blatt 3 30.04.2024 07.05.2024
Blatt 4 07.05.2024 11.05.2024
Blatt 5 14.05.2024 28.05.2024
Blatt 6 28.05.2024 04.06.2024
Blatt 7 04.06.2024 11.06.2024
Blatt 8 11.06.2024 18.06.2024
Blatt 9 18.06.2024 25.06.2024
Blatt 10 25.06.2024 02.07.2024
Blatt 11 02.07.2024 09.07.2024

Anmeldung/Organisatorisches

In HISinOne

Version der Seite vom 9.7.2024, HM