Mathematische Logik, SoSe 2023

Zeit und Ort: Mo & Mi 14-16 Uhr, Hörsaal II (Albertstr. 23b)
Dozent: PD Dr. Markus Junker
Sprechstunde Dozent: n.V. per Mail
Assistenz: Charlotte Bartnick
Sprechstunde Assistentin: Do 10-12 Uhr, Raum 305
E-Mail Anfragen: charlotte[punkt]bartnick[at]math[punkt]uni-freiburg[punkt]de

Aktuelles

  • Die Nachklausur wird voraussichtlich am 21.02.2024 stattfinden.

Informationen zum Lehrbetrieb

Die Vorlesung sowie die Übungsgruppen finden in Präsenz statt. Die Übungsblätter erscheinen immer Montags auf dieser Webseite. Die Abgabe ist jeweils eine Woche später Montags bis 18 Uhr in den Briefkästen im Keller des Mathematischen Instituts (je nach Übungsgruppe Briefkasten 3.02 oder 3.03). Die Blätter dürfen zu zweit bearbeitet werden.

Bitte beachten Sie die Hinweise zu Studien- und Prüfungsleistungen im Modulhandbuch Ihres Studiengangs. Notwendig für die Studienleistung der Übung ist das Erreichen von mindestens 50 Prozent der Punkte (insgesamt) auf den Übungsblättern sowie die Anwesenheit im Tutorat.

Inhalt

Das folgende Kurzskript zur Vorlesung wird während des Semesters laufend aktualisiert. Für eine Beschreibung des Inhaltes der Vorlesung können Sie das kommentierte Vorlesungsverzeichnis konsultieren.

Übungen

Es gibt zwei Übungsgruppen.
Zeit Raum TutorIn Briefkasten
Do 14-16 Uhr SR 127/128 S. Andres 3.02
Fr 10-12 Uhr SR 127/128 M. König 3.03






Übungsblätter

Blatt Ausgabe Abgabe
Blatt 0 Anwesenheitsblatt für die Tutorate keine Abgabe
Blatt 1 17.04.23 24.04.23
Blatt 2 24.04.23 02.05.23
Blatt 3 02.05.23 08.05.23
Blatt 4 08.05.23 15.05.23
Blatt 5 15.05.23 22.05.23
Blatt 6 22.05.23 05.06.23
Blatt 7 05.06.23 12.06.23
Blatt 8 12.06.23 19.06.23
Blatt 9 19.06.23 26.06.23
Blatt 10 26.06.23 03.07.23
Blatt 11 03.07.23 10.07.23
Blatt 12 10.07.23 17.07.23

Termine

  Termin Uhrzeit Ort
Klausur 02.08.2023 10-12 Uhr großer Hörsaal Physik
Nachklausur voraussichtlich am 21.02.2024 tbd tbd

Literatur

Folgende Literatur wird empfohlen:

  • M. Ziegler: Mathematische Logik (2. Auflage), Birkhäuser, 2017. Im Uninetz als pdf einsehbar.
  • M. Junker: Skript zur Vorlesung Logik für Studierende der Informatik, als pdf .
  • R. Cori, D. Lascar: Logique mathématique (tomes I,II), Masson, 1994. Englische Version: Mathematical Logic: A Course with Exercises Part I,II, Oxford University Press, 2000/2001.
  • H.-D. Ebbinghaus, J. Flum, W. Thomas: Einführung in die mathematische Logik (6. Auflage), Springer Spektrum, 2018. Im Uninetz als pdf einsehbar.