Archiv der Lehrveranstaltungen der Abteilung für Mathematische Logik

Einen Auszug aus den Vorlesungsverzeichnissen der vergangenen Semester finden Sie weiter unten auf dieser Seite. Für eine nicht mehr aktualisierte Liste der Vorlesungen aus noch weiter zurückliegenden Semestern, klicken Sie bitte hier.

Vergangene Semester

Sommersemester 2024

1. Vorlesungen

1b. Weiterführende vierstündige Vorlesungen

ECTS
Mathematische Logik H. Mildenberger
Vorlesung: Di, Do 10-12, HS II, Albertstr. 23b
 Übung (2-stündig): Termin wird noch festgelegt
Assistenz H. Jakob
 
ECTS
Topology A. Martín Pizarro
Vorlesung: Di, Do 12-14, HS II, Albertstr. 23b
 Übung (2-stündig): Termin wird noch festgelegt
Assistenz X. Ren
 

1c. Weiterführende zweistündige Vorlesungen

ECTS
Applications of Set Theory in Algebra and in Topology M. Levine
Vorlesung: Mi 12-14, SR 127, Ernst-Zermelo-Straße 1
 Übung (2-stündig): Termin wird noch festgelegt
 

2. Praxisorientierte Veranstaltungen

3. Seminare

3a. Proseminare

Die Seminarplätze werden am Ende der Vorlesungszeit des Wintersemesters vergeben. Im Kommentierten Vorlesungsverzeichnis wird für jedes Proseminar beschrieben, ob und wie eine Voranmeldung erfolgen muss und wann die Vorbesprechung stattfindet. Sofern Sie einen Platz in einem Proseminar erhalten haben, müssen Sie sich noch online zur Prüfung anmelden; der Anmeldezeitraum läuft voraussichtlich vom 1. März bis 10. April 2024.
 
ECTS
Proseminar: Kombinatorik M. Junker
Mi 10-12, SR 404, Ernst-Zermelo-Straße 1
Tutorium zum Proseminar (Termine nach Vereinbarung) Ch. Bartnick
Vorbesprechung: Montag 5. Februar 2024, 13:00–14:00 Uhr, SR 404
Voranmeldung: siehe Kommentiertes Vorlesungsverzeichnis
 

3b. Seminare

Die Seminarplätze werden in der Regel am Ende der Vorlesungszeit des Wintersemesters vergeben. Im Kommentierten Vorlesungsverzeichnis wird für jedes Seminar beschrieben, ob und wie eine Voranmeldung erfolgen muss und wann die Vorbesprechung stattfindet. Sofern Sie einen Platz in einem Seminar erhalten haben, müssen Sie sich noch online zur Prüfung anmelden; der Anmeldezeitraum läuft voraussichtlich vom 1. März bis 10. April 2024.
 
ECTS
Seminar: Prikry-Forcing H. Mildenberger
Mo 10-12, SR 125, Ernst-Zermelo-Straße 1
Tutorium zum Seminar (Termine nach Vereinbarung) H. Jakob
 
ECTS
Seminar: Die Mathematik und das Göttliche A. Henn, M. Junker
Di 16-18, R 206, Breisacher Tor
Kann nicht als Mathematisches Seminar verwendet werden, sondern im B.Sc. und M.Sc. Mathematik als Wahlmodul. Voranmeldung per E-Mail erwünscht.
 

4. Oberseminare, Projektseminare und Kolloquien

4b. Oberseminare

Oberseminar: Mathematische Logik A. Martín Pizarro, H. Mildenberger
Di 14:30-16:00, SR 404, Ernst-Zermelo-Straße 1
 

4c. Kolloquien und weitere Veranstaltungen

Kolloquium der Mathematik Organisation: N. Große, A. Martín Pizarro
Do 15-16, HS II, Albertstr. 23b
Zwei Termine im Sommer: 2. Mai und 27. Juni. Nähere Ankündigung per Aushang im Institut!
 
Mathematisches Kolloquium für Studierende Organisation: A. Huber-Klawitter, M. Junker, A. Martín Pizarro
Do 14-15, HS II, Albertstr. 23b
Vortragsreihe für Master-Studierende, fortgeschrittene Bachelor-Studierende und Doktorand:inn:en. Geplante Termine im Sommer: 6. Juni und 4. Juli. Nähere Informationen folgen noch!
 

Wintersemester 2023/2024

1. Vorlesungen

1b. Weiterführende vierstündige Vorlesungen

ECTS
Kombinatorik H. Mildenberger
Vorlesung: Mo, Mi 10-12, HS II, Albertstr. 23b
 Übung (2-stündig): Termin wird noch festgelegt
Assistenz H. Jakob
 

1c. Weiterführende zweistündige Vorlesungen

ECTS
Endliche einfache Gruppen A. Martín Pizarro
Vorlesung: Do 10-12, SR 404, Ernst-Zermelo-Str. 1
 Übung (2-stündig): Termin wird noch festgelegt
Assistenz Ch. Bartnick
 

1d. Lehrexportveranstaltungen

Logik für Studierende der Informatik A. Martín Pizarro
Vorlesung: Mi 10-12, HS 00-026, Geb. 101, Georges-Köhler-Allee
 Übung (2-stündig): verschiedene Termine
Assistenz Ch. Bartnick
 
Logik für Studierende der Philosophie M. Junker
Vorlesung: Mi 14-16, HS 3042, KG III
 Übung (2-stündig): verschiedene Termine
Assistenz R. Muntschick
 

2. Praxisorientierte Veranstaltungen

3. Seminare

3b. Seminare

Bitte beachten Sie die in den Kommentaren zum Vorlesungsverzeichnis veröffentlichten Anmeldemodalitäten zu den einzelnen Seminaren: In der Regel erfolgt die Platzvergabe nach Voranmeldung per E-Mail bei der Vorbesprechung am Ende der Vorlesungsszeit des Sommersemesters. Anschließend müssen Sie sich noch online zur Prüfung anmelden; der Anmeldezeitraum läuft vom 1. August 2023 bis voraussichtlich 11. Oktober 2023.
 
ECTS
Seminar: Algebraische Topologie H. Mildenberger
ab Januar 2023: Mo, Di 16-18, SR 404, Ernst-Zermelo-Str. 1
Tutorium zum Seminar (Termine nach Vereinbarung) M. Levine
Vorzugsweise für Studierende im M.Ed.
 

4. Projektseminare, Oberseminare und Kolloquien

4a. Projektseminare und Lesekurse

Projektseminar: Ausgewählte Themen der Modelltheorie von Körpern A. Martín Pizarro
Di 10-12, SR 404, Ernst-Zermelo-Str. 1
 

4b. Oberseminare

Oberseminar: Mathematische Logik A. Martín Pizarro, H. Mildenberger
Di 14-16, SR 404, Ernst-Zermelo-Str. 1
 

4c. Kolloquien und weitere Veranstaltungen

Mathematisches Kolloquium für Studierende Organisation: A. Huber-Klawitter, M. Junker, A. Martín Pizarro
Do 14-15, HS II, Albertstr. 23b
Vortragsreihe für Master-Studierende, fortgeschrittene Bachelor-Studierende und Doktorand:inn:en. Drei Termine im Semester, Ankündigung auf der Webseite des Instituts.
 
Kolloquium der Mathematik Organisation: N. Große, A. Martín Pizarro
Do 15-16, HS II, Albertstr. 23b
Drei Termine im Semester, Ankündigung auf der Webseite des Instituts.
 

Sommersemester 2023

1. Vorlesungen

1b. Weiterführende vierstündige Vorlesungen

II
ECTS
Mathematische Logik M. Junker
Vorlesung: Mo, Mi 14-16, HS II, Albertstr. 23b
 Übung (2-stündig): Termin wird noch festgelegt
Assistenz Ch. Bartnick
 
III
ECTS
Mengenlehre – Unabhängigkeitsbeweise H. Mildenberger
Vorlesung: Di, Do 10-12, SR 404, Ernst-Zermelo-Straße 1
 Übung (2-stündig): Termin wird noch festgelegt
Assistenz Ch. Bräuninger, H. Jakob
 
III
ECTS
Modelltheorie II A. Martín Pizarro
Vorlesung: Di, Do 12-14, HS II, Albertstr. 23b
 Übung (2-stündig): Termin wird noch festgelegt
Assistenz F. Gallinaro
 

1c. Weiterführende zweistündige Vorlesungen

III
ECTS
Descriptive Set Theory M. Levine
Vorlesung: Do 14-16, SR 404, Ernst-Zermelo-Straße 1
 Übung (2-stündig): Termin wird noch festgelegt
Assistenz M. Levine
 
III
ECTS
Rekursionstheorie H. Mildenberger
Vorlesung (bis KW 24): Mo 16-18, SR 404, Ernst-Zermelo-Straße 1
Vorlesung (ab KW 25): Mo 10-12, SR 119, Ernst-Zermelo-Straße 1
 Übung (2-stündig): Termin wird noch festgelegt
Assistenz F. Gallinaro, H. Jakob
 

2. Praxisorientierte Veranstaltungen

3. Seminare

4. Oberseminare, Projektseminare und Kolloquien

4b. Oberseminare

Oberseminar: Mathematische Logik A. Martín Pizarro, H. Mildenberger
Di 14:30-16, SR 404, Ernst-Zermelo-Straße 1
 

4c. Kolloquien und weitere Veranstaltungen

Mathematisches Kolloquium für Studierende Organisation: A. Huber-Klawitter, M. Junker, A. Martín Pizarro
Do 14-15, HS II, Albertstr. 23b
Vortragsreihe für Master-Studierende, fortgeschrittene Bachelor-Studierende und Doktorand:inn:en. Termine im Sommersemester: 11. Mai, 22. Juni und 13. Juli.
 

Wintersemester 2022/2023

1. Vorlesungen

1a. Einführende Vorlesungen und Pflichtvorlesungen der verschiedenen Studiengänge

Vorkurs Mathematik (für Studierende der Mathematik) M. Junker
Assistenz J. Stiefel
Freiwilliges Angebot für den Studienanfang in Mathematik in der Woche 4.10.–7.10.
 
II, Z
ECTS
Algebra und Zahlentheorie A. Martín Pizarro
Vorlesung: Di, Do 10-12, HS Weismann-Haus, Albertstr. 21a
 Übung (2-stündig): verschiedene Termine
Assistenz Ch. Brackenhofer
 

1b. Weiterführende vierstündige Vorlesungen

III
ECTS
Modelltheorie A. Martín Pizarro
Vorlesung: Mo, Mi 14-16, HS II, Albertstr. 23b
 Übung (2-stündig): Termin wird noch festgelegt
Assistenz Ch. Bartnick
 

1d. Lehrexportveranstaltungen

Logik für Studierende der Informatik H. Mildenberger
Vorlesung: Mi 10-12, HS 00-026, Geb. 101, Georges-Köhler-Allee
 Übung (2-stündig): verschiedene Termine
Assistenz Ch. Bräuninger
 
Logik für Studierende der Philosophie M. Junker
Vorlesung: Mi 10-12, HS II, Albertstr. 23b
 Übung (2-stündig): verschiedene Termine
Assistenz R. Muntschick
 

2. Berufsorientierte Veranstaltungen

3. Seminare

3a. Proseminare

Bitte beachten Sie die in den Kommentaren zum Vorlesungsverzeichnis veröffentlichten Anmeldemodalitäten zu den einzelnen Proseminaren: In der Regel erfolgt die Platzvergabe nach Voranmeldung per E-Mail bei der Vorbesprechung am Ende der Vorlesungsszeit des Sommersemesters. Anschließend müssen Sie sich noch online zur Prüfung anmelden; der Anmeldezeitraum läuft vom 1. Oktober 2022 bis voraussichtlich 12. Oktober 2022.
Sollten Sie ein Proseminar belegen wollen, haben aber keine Platz erhalten, melden Sie sich bitte umgehend bei der Studiengangkoordination.
 
Proseminar: Lineare Darstellungen endlicher Gruppen H. Mildenberger
Di 16-18, SR 125, Ernst-Zermelo-Str. 1
Tutorium zum Proseminar (Termine nach Vereinbarung) M. Levine
Vorbesprechung: Mo, 18.07.2022, 12:00 Uhr im SR 404, Ernst-Zermelo-Str. 1
 

3b. Seminare

Bitte beachten Sie die in den Kommentaren zum Vorlesungsverzeichnis veröffentlichten Anmeldemodalitäten zu den einzelnen Seminaren: In der Regel erfolgt die Platzvergabe nach Voranmeldung per E-Mail bei der Vorbesprechung am Ende der Vorlesungsszeit des Sommersemesters. Anschließend müssen Sie sich noch online zur Prüfung anmelden; der Anmeldezeitraum läuft vom 1. Oktober 2022 bis voraussichtlich 12. Oktober 2022.
 
Seminar: Kryptographie H. Mildenberger
ab Januar 2023: Mo 16-18, SR 404, Ernst-Zermelo-Str. 1, Fr 16-18, SR 403, Ernst-Zermelo-Str. 1
Tutorium zum Seminar (Termine nach Vereinbarung) M. Levine
Vorzugsweise für Studierende im M.Ed.
Vorbesprechung: Mo, 18.07.2022, 13:00 Uhr im SR 404, Ernst-Zermelo-Str. 1
 

4. Projektseminare, Oberseminare und Kolloquien

4b. Oberseminare

Oberseminar: Mathematische Logik A. Martín Pizarro, H. Mildenberger
Di 14-16, SR 404, Ernst-Zermelo-Str. 1
 

Sommersemester 2022

1. Vorlesungen

1a. Einführende Vorlesungen und Pflichtvorlesungen der verschiedenen Studiengänge

B, Z
Lineare Algebra II H. Mildenberger
Vorlesung: Di, Do 8-10, HS Rundbau, Albertstr. 21
 Übung (2-stündig): verschiedene Termine
Assistenz und Fragestunde Ch. Bräuninger
 

1b. Weiterführende vierstündige Vorlesungen

II
ECTS
Mathematische Logik A. Martín Pizarro
Vorlesung: Di, Do 12-14, HS II, Albertstr. 23b
 Übung (2-stündig): Termin wird noch festgelegt
Assistenz M. Lösch
 

1c. Weiterführende zweistündige Vorlesungen

III
ECTS
Nonstandard Models of Peano Arithmetic M. Levine
Vorlesung: Mi 14-16, SR 125, Ernst-Zermelo-Straße 1
 Übung (2-stündig): Termin wird noch festgelegt
 

2. Berufsorientierte Veranstaltungen

3. Seminare

3b. Seminare

Die Seminarplätze werden in der Regel am Ende der Vorlesungszeit des Wintersemesters vergeben. Im Kommentierten Vorlesungsverzeichnis wird für jedes Seminar beschrieben, ob und wie eine Voranmeldung erfolgen muss und wann die Vorbesprechung stattfindet. Sofern Sie einen Platz in einem Seminar erhalten haben, müssen Sie sich noch online zur Prüfung anmelden; der Anmeldezeitraum läuft voraussichtlich vom 1. März bis 20. April 2022.
 
ECTS
Seminar: Whitehead's Problem H. Mildenberger
Mo 14-16, SR 404, Ernst-Zermelo-Straße 1
Tutorium zum Seminar M. Levine
 
ECTS
Seminar: Kombinatorische Gruppentheorie M. Junker
Mi 10-12, SR 318, Ernst-Zermelo-Straße 1
Tutorium zum Seminar R. Jaoui
 

4. Oberseminare, Projektseminare und Kolloquien

4a. Oberseminare

Oberseminar: Mathematische Logik A. Martín Pizarro, H. Mildenberger
Di 14:30-16, SR 404, Ernst-Zermelo-Straße 1
 

Wintersemester 2021/2022

1. Vorlesungen

1a. Einführende Vorlesungen und Pflichtvorlesungen der verschiedenen Studiengänge

B, Z
Lineare Algebra I H. Mildenberger
Vorlesung: Mo, Do 8-10, HS Rundbau, Albertstr. 21
Fragestunde: Mo 18-20, SR 125, Ernst-Zermelo-Str. 1
 Übung (2-stündig): verschiedene Termine
Assistenz Ch. Bräuninger
 

1b. Weiterführende vierstündige Vorlesungen

III
ECTS
Bewertete Körper A. Martín Pizarro
Vorlesung: Di, Do 12-14, SR 125, Ernst-Zermelo-Str. 1
 Übung (2-stündig): Termin wird noch festgelegt
Assistenz R. Jaoui
 

1d. Lehrexportveranstaltungen

Logik für Studierende der Informatik M. Junker
Vorlesung: Mi 10-12, -, online
 Übung (2-stündig): verschiedene Termine
Assistenz B. Stuber-Rousselle
 
Logik für Studierende der Philosophie A. Martín Pizarro
Vorlesung: Mi 10-12, HS 1199, KG I
 Übung (2-stündig): verschiedene Termine
Assistenz M. Lösch
 

2. Berufsorientierte Veranstaltungen

3. Seminare

3b. Seminare

Bitte beachten Sie die in den Kommentaren zum Vorlesungsverzeichnis veröffentlichten Anmeldemodalitäten zu den einzelnen Seminaren: In der Regel erfolgt die Platzvergabe nach Voranmeldung per E-Mail bei der Vorbesprechung am Ende der Vorlesungsszeit des Sommersemesters. Anschließend müssen Sie sich noch online zur Prüfung anmelden; der Anmeldezeitraum läuft vom 1. Oktober 2021 bis voraussichtlich 13. Oktober 2021.
 
Seminar: Knotentheorie H. Mildenberger
Blockseminar nach dem Praxissemester (Januar und Februar 2022)
Tutorium zum Seminar M. Levine
Vorzugsweise für Studierende im M.Ed.
 

4. Projektseminare, Oberseminare und Kolloquien

4b. Oberseminare

Oberseminar: Mathematische Logik A. Martín Pizarro, H. Mildenberger
Di 14-16, SR 404, Ernst-Zermelo-Str. 1
 

Sommersemester 2021

1. Vorlesungen

1a. Einführende Vorlesungen und Pflichtvorlesungen der verschiedenen Studiengänge

B, Z
Lineare Algebra II A. Martín Pizarro
Übungen (2-stündig, verschiedene Termine): Mi 16-18, Mi, Do 14-16, Mi, Do, Fr 10-12, Mi, Fr 12-14, Fr 8-10, HS Weismann-Haus, Albertstr. 21a
Fragestunde: Do 12-14, -, online
 Vorlesung (4-stündig): asynchrones digitales Angebot
Assistenz M. Lösch
 

1b. Weiterführende vierstündige Vorlesungen

II
ECTS
Mathematische Logik H. Mildenberger
Vorlesung (4-stündig): asynchrones digitales Angebot
 Übungen (2-stündig): Do 16-18
 Fragestunde: Do 11-12 Uhr über ILIAS
Assistenz M. Levine
 
III
ECTS
Modelltheorie M. Junker
Vorlesung: Mo, Mi 14-16, BBB-Raum Philidor, online
Übung: Fr 14-16, BBB-Raum Philidor, online
Assistenz Ch. Bräuninger
 

1c. Weiterführende zweistündige Vorlesungen

III
ECTS
Large Cardinals in Set Theory M. Levine
Vorlesung: Do 14-16, -, online
Übung: Mo 12-14, -, online
Assistenz Ch. Bräuninger
 

2. Berufsorientierte Veranstaltungen

3. Seminare

3b. Seminare

Die Seminarplätze werden in der Regel am Ende der Vorlesungszeit des Wintersemesters vergeben. Im Kommentierten Vorlesungsverzeichnis wird für jedes Seminar beschrieben, ob und wie eine Voranmeldung erfolgen muss und wann die Vorbesprechung stattfindet. Sofern Sie einen Platz in einem Seminar erhalten haben, müssen Sie sich noch online zur Prüfung anmelden; der Anmeldezeitraum läuft voraussichtlich vom 1. März bis 14. April 2021.
 
Seminar: Eine Glimm-Effros-Dichotomie H. Mildenberger
Mo 16-18, -, online
Tutorium zum Seminar B. Stuber-Rousselle
 

4. Oberseminare, Projektseminare und Kolloquien

4a. Oberseminare

Oberseminar: Mathematische Logik A. Martín Pizarro, H. Mildenberger
Di 14:30-16, BBB-Raum Philidor, online
 

Wintersemester 2020/2021

1. Vorlesungen

Aktuell hat die Universitätsleitung Stufe 5 im Corona-Stufenplan ausgerufen. Damit sind alle geplanten Präsenzveranstaltungen ausgesetzt. Informationen darüber, wie die digitale Lehre stattfindet, erhalten Sie nach Belegung der jeweiligen Vorlesung bzw. über die Dozenten.
 

1a. Einführende Vorlesungen und Pflichtvorlesungen der verschiedenen Studiengänge

B, Z
Lineare Algebra I A. Martín Pizarro
Fragestunde: Do 12-14, -, online
 Vorlesung: asynchrones digitales Angebot
 Tutorate voraussichtlich in Präsenz, verschiedene 2-stündige Termine
Assistenz (Tutorium zur Veranstaltung) M. Lösch
 

1b. Weiterführende vierstündige Vorlesungen

Aktuell hat die Universitätsleitung Stufe 5 im Corona-Stufenplan ausgerufen. Damit sind alle geplanten Präsenzveranstaltungen ausgesetzt. Informationen darüber, wie die digitale Lehre stattfindet, erhalten Ssie nach Belegung der jeweiligen Vorlesung bzw. über die Dozenten.
 
III
ECTS
Mengenlehre – Unabhängigkeitsbeweise H. Mildenberger
Vorlesung: asynchrones digitales Angebot über ILIAS
 Übung: Do 16-18 Uhr, auf Ilias via BigBlueButton
Assistenz (Tutorium zur Veranstaltung) B. Stuber-Rousselle
 

1d. Lehrexportveranstaltungen

Aktuell hat die Universitätsleitung Stufe 5 im Corona-Stufenplan ausgerufen. Damit sind alle geplanten Präsenzveranstaltungen ausgesetzt. Informationen darüber, wie die digitale Lehre stattfindet, erhalten Sie nach Belegung der jeweiligen Vorlesung bzw. über die Dozenten.
 
Logik für Studierende der Informatik A. Martín Pizarro
Vorlesung: Mi 10-12, (Raum nicht bekannt)
Übung 2-stündig: Mo, Di 10-12, Mo, Di 14-16, bbb-Raum "Zukertort", online
Zusatztermine: Mo 14-16, Di 10-12, Mo, Di 10-12, Mo, Di 14-16, bbb-Raum "Yifan", online
 Übungen dazu: 2-stündig n.V.
Tutorium dazu N. Hempel
 
Logik für Studierende der Philosophie M. Junker
Mo 10-12, bbb-Raum "Carlsen", online
Tutorate: Mi 14-16, Do 10-12, Fr 10-13, bbb-Raum "Philidor", online
Raumreservierung: Mo 10-12, SR 318, Ernst-Zermelo-Straße 1
 Übungen dazu: 2-stündig n.V.
 

2. Berufsorientierte Veranstaltungen

3. Seminare

3b. Seminare

Aktuell hat die Universitätsleitung Stufe 5 im Corona-Stufenplan ausgerufen. Damit sind alle geplanten Präsenzveranstaltungen ausgesetzt. Informationen darüber, wie die digitale Lehre stattfindet, erhalten Sie über die Dozenten.
Bitte beachten Sie die in den Kommentaren zum Vorlesungsverzeichnis veröffentlichten Anmeldemodalitäten zu den einzelnen Seminaren: In der Regel erfolgt die Platzvergabe nach Voranmeldung per E-Mail bei der Vorbesprechung am Ende der Vorlesungsszeit des Sommersemesters. Anschließend müssen Sie sich noch online zur Prüfung anmelden; der Anmeldezeitraum läuft vom 1. Oktober 2020 bis voraussichtlich 28. Oktober 2020.
 
Seminar: Ramsey-Theorie H. Mildenberger
Di 16 - 18, auf Ilias via BigBlueButton
Tutorium dazu M. Levine
 

4. Projektseminare, Oberseminare und Kolloquien

Projektseminare, Oberseminare und Kolloquien werden im Wintersemester digital angeboten.
 

4a. Projektseminare und Lesekurse

Projektseminar: Ausgewählte Themen der Modelltheorie A. Martín Pizarro
Mi 15-16:30, bbb-Raum "Sprechstunde Prof. Martin Pizarro", online
Tutorium dazu N. Hempel
 

4b. Oberseminare

Oberseminar: Mathematische Logik A. Martín Pizarro, H. Mildenberger
Mi 16-18, -, online
 

Sommersemester 2020

1. Vorlesungen

1b. Weiterführende vierstündige Vorlesungen

II
ECTS
Mathematische Logik H. Mildenberger
Vorlesung: Di, Do 10-12, HS II, Albertstr. 23b
 Übungen dazu: 2-stündig n.V.
Tutorium dazu G. Laguzzi
 
II
ECTS
Topologie A. Martín Pizarro
Vorlesung: Di, Do 12-14, HS II, Albertstr. 23b
 Übungen dazu: 2-stündig n.V.
Tutorium dazu D. Palacin
 

1c. Weiterführende zweistündige Vorlesungen

III
ECTS
Reelle Algebra und Einführung in die o-Minimalität A. Martín Pizarro
Vorlesung: Mi 12-14, SR 404, Ernst-Zermelo-Straße 1
 Übungen dazu: 2-stündig n.V.
Tutorium dazu M. Lösch
 

1d. Lehrexportveranstaltungen

Mathematik II für Studierende der Informatik M. Junker
Mo, Mi 10-12, HS 00-026, Geb. 101, Georges-Köhler-Allee
 Übungen dazu: 2-stündig n.V.
Tutorium dazu L. Braun
Sprechstunde: Di 10-12, SR 414, Ernst-Zermelo-Straße 1N. N.
 

2. Berufsorientierte Veranstaltungen

3. Seminare

3b. Seminare

Die Seminarplätze werden in der Regel am Ende der Vorlesungszeit des Wintersemesters vergeben. Im Kommentierten Vorlesungsverzeichnis wird für jedes Seminar beschrieben, ob und wie eine Voranmeldung erfolgen muss und wann die Vorbesprechung stattfindet. Sofern Sie einen Platz in einem Seminar erhalten haben, müssen Sie sich noch online zur Prüfung anmelden; der Anmeldezeitraum läuft voraussichtlich vom 1. März bis 15. April 2020.
 
Seminar: Forcingtechniken und Erhaltungssätze H. Mildenberger
Mo 16-18, HS II, Albertstr. 23b
Tutorium dazu B. Stuber-Rousselle
 

4. Oberseminare, Projektseminare und Kolloquien

4a. Oberseminare

Oberseminar: Mathematische Logik A. Martín Pizarro, H. Mildenberger
Mi 16-18, SR 404, Ernst-Zermelo-Straße 1
 

Wintersemester 2019/2020

1. Vorlesungen

1b. Weiterführende vierstündige Vorlesungen

III
ECTS
Modelltheorie A. Martín Pizarro
Vorlesung: Di, Do 12-14, HS II, Albertstr. 23b
 Übungen dazu: 2-stündig n.V.
Tutorium dazu D. Palacín
 

1d. Lehrexportveranstaltungen

Logik für Studierende der Informatik A. Martín Pizarro
Vorlesung: Mi 10-12, HS 00-026, Geb. 101, Georges-Köhler-Allee
 Übungen dazu: 2-stündig n.V.
Tutorium dazu M. Lösch
 
Logik für Studierende der Philosophie M. Junker
Mi 10-12, HS 1098, KG I
 Übungen dazu: 2-stündig n.V.
 

2. Berufsorientierte Veranstaltungen

3. Seminare

3b. Seminare

Bitte beachten Sie die in den Kommentaren zum Vorlesungsverzeichnis veröffentlichten Anmeldemodalitäten zu den einzelnen Seminaren: In der Regel erfolgt die Platzvergabe am Ende der Vorlesungsszeit des Sommersemesters. Anschließend müssen Sie sich noch online zur Prüfung anmelden; der Anmeldezeitraum läuft vom 1. Oktober 2019 bis 16. Oktober 2019.
 
Seminar: Zahlen M. Junker
Tutorium dazu D. Palacín
Blockseminar: Das Seminar findet ganztags Mi 19.02.2020 - Fr 21.02.2020 im SR 404, Ernst-Zermelo-Str. 1 statt.
 

4. Projektseminare, Oberseminare und Kolloquien

4b. Oberseminare

Oberseminar: Mathematische Logik A. Martín Pizarro
Mi 16-18, SR 404, Ernst-Zermelo-Straße 1
 

Sommersemester 2019

1. Vorlesungen

1b. Weiterführende vierstündige Vorlesungen

E*, II
ECTS
Mathematische Logik A. Martín Pizarro
Vorlesung: Mo, Mi 12-14, HS II, Albertstr. 23b
 Übungen dazu: 2-stündig n.V.
Tutorium dazu M. Lösch
 
E*, II
ECTS
Topologie H. Mildenberger
Vorlesung: Di, Do 10-12, SR 404, Ernst-Zermelo-Straße 1
 Übungen dazu: 2-stündig n.V.
Tutorium dazu B. Stuber-Rousselle
 

1c. Weiterführende zweistündige Vorlesungen

III
ECTS
Rekursionstheorie H. Mildenberger
Vorlesung: Mo 16-18, HS II, Albertstr. 23b
 Übungen dazu: 2-stündig n.V.
Tutorium dazu G. Laguzzi
 

1d. Lehrexportveranstaltungen

Mathematik II für Studierende der Informatik M. Junker
Mo, Mi 10-12, HS 00-026, Geb. 101, Georges-Köhler-Allee
 Übungen dazu: 2-stündig n.V.
Tutorium dazu B. Stuber-Rousselle
 

2. Berufsorientierte Veranstaltungen

3. Seminare

3b. Seminare

Wichtig: Die Anmeldung zu den Seminaren erfolgt in der Regel am Ende der Vorlesungszeit des Wintersemesters. Bitte beachten Sie die im Kommentierten Vorlesungsverzeichnis veröffentlichten Anmeldemodalitäten. Sofern Sie einen Platz in einem Seminar erhalten haben, müssen Sie sich noch online zur Prüfung anmelden; der Anmeldezeitraum läuft voraussichtlich vom 1. April 2019 bis 17. April 2019.
 
Bachelor-Seminar in Modelltheorie A. Martín Pizarro
Tutorium dazu M. Lösch
Termine 2x wöchentlich bis 31.5.2019
Di 10-12, SR 218, Ernst-Zermelo-Straße 1 Mi 14-16, SR 318, Ernst-Zermelo-Straße 1
 

4. Oberseminare, Projektseminare und Kolloquien

4a. Oberseminare

Oberseminar: Mathematische Logik A. Martín Pizarro, H. Mildenberger
Mo 14-16, SR 404, Ernst-Zermelo-Straße 1
 

Wintersemester 2018/2019

1. Vorlesungen

1b. Weiterführende vierstündige Vorlesungen

III
ECTS
Bewertete Körper A. Martín Pizarro
Vorlesung: Di, Do 12-14, HS II, Albertstr. 23b
 Übungen dazu: 2-stündig n.V.
Tutorium dazu D. Palacin Cruz
 
E*, III
ECTS
Modelltheorie M. Junker
Vorlesung: Mo, Mi 12-14, SR 404, Ernst-Zermelo-Straße 1
 Übungen dazu: 2-stündig n.V.
Tutorium dazu D. Palacin Cruz
 
III
ECTS
Unabhängigkeitsbeweise H. Mildenberger
Vorlesung: Di, Do 10-12, SR 404, Ernst-Zermelo-Straße 1
 Übungen dazu: 2-stündig n.V.
Tutorium dazu B. Stuber-Rousselle
 

1d. Lehrexportveranstaltungen

Logik für Studierende der Informatik A. Martín Pizarro
Vorlesung: Mo 10-12, HS 00-026, Geb. 101, Georges-Köhler-Allee
 Übungen dazu: 2-stündig n.V.
Tutorium dazu M. Lösch
 

2. Berufsorientierte Veranstaltungen

3. Seminare

3b. Seminare

Die Anmeldung zu den Seminaren erfolgt in der Regel am Ende der Vorlesungsszeit des Sommersemesters. Bitte beachten Sie die in den Kommentaren veröffentlichten Anmeldemodalitäten. Sofern Sie einen Platz in einem Seminar erhalten haben, müssen Sie sich noch online zur Prüfung anmelden; der Anmeldezeitraum läuft vom 1. Oktober 2018 bis 10. Oktober 2018.
 
Seminar: Die Keisler-Ordnung H. Mildenberger
Di 16-18, SR 403, Ernst-Zermelo-Straße 1
Tutorium dazu G. Laguzzi
 

4. Oberseminare, Projektseminare und Kolloquien

4a. Oberseminare

Oberseminar: Mathematische Logik A. Martín Pizarro, H. Mildenberger
Mi 16-18, SR 404, Ernst-Zermelo-Straße 1
 

Sommersemester 2018

1. Vorlesungen

1a. Einführende Vorlesungen und Pflichtvorlesungen der verschiedenen Studiengänge

B, L, Z
Lineare Algebra II A. Martín Pizarro
Vorlesung: Di, Do 12-14, HS Rundbau, Albertstr. 21
 Übungen dazu: 2-stündig n.V. A. Martín Pizarro
Tutorium dazu K. Anguige
 

1b. Weiterführende vierstündige Vorlesungen

III
ECTS
Mathematische Logik H. Mildenberger
Vorlesung: Di, Do 10-12, HS II, Albertstr. 23b
 Übungen dazu: 2-stündig n.V. H. Mildenberger
Tutorium dazu G. Laguzzi
 

2. Berufsorientierte Veranstaltungen

3. Seminare

3a. Proseminare

Wichtig: Die Anmeldung zu den Proseminaren erfolgt in der Regel am Ende der Vorlesungszeit des Wintersemesters. Bitte beachten Sie die im Kommentierten Vorlesungsverzeichnis veröffentlichten Anmeldemodalitäten. Sofern Sie einen Platz in einem Proseminar erhalten haben, müssen Sie sich noch online zur Prüfung anmelden; der Anmeldezeitraum läuft voraussichtlich vom 1. April 2018 bis 11. April 2018.
 
Proseminar: Proofs from The Book H. Mildenberger
Mo 16-18, SR 318, Ernst-Zermelo-Straße 1
Tutorium dazu F. Guichardaz
 

3b. Seminare

Wichtig: Die Anmeldung zu den Seminaren erfolgt in der Regel am Ende der Vorlesungszeit des Wintersemesters. Bitte beachten Sie die im Kommentierten Vorlesungsverzeichnis veröffentlichten Anmeldemodalitäten. Sofern Sie einen Platz in einem Seminar erhalten haben, müssen Sie sich noch online zur Prüfung anmelden; der Anmeldezeitraum läuft voraussichtlich vom 1. April 2018 bis 11. April 2018.
 
Seminar "Einführung in die geometrische Stabilitätstheorie" A. Martín Pizarro
Mi 10-12, SR 318, Ernst-Zermelo-Straße 1
Tutorium dazu M. Lösch
 

4. Oberseminare, Projektseminare und Kolloquien

4a. Oberseminare

Oberseminar: Mathematische Logik A. Martín Pizarro, H. Mildenberger
Mi 16-18, SR 404, Ernst-Zermelo-Straße 1
 

Wintersemester 2017/2018

1. Vorlesungen

1b. Weiterführende vierstündige Vorlesungen

III
ECTS
Große Kardinalzahlen H. Mildenberger
Vorlesung: Di, Do 10-12, SR 404, Eckerstr. 1
 Übungen dazu: 2-stündig n.V. H. Mildenberger
Tutorium dazu F. Guichardaz
 
III
ECTS
Modelltheorie A. Martín Pizarro
Vorlesung: Di, Do 12-14, HS II, Albertstr. 23b
 Übungen dazu: 2-stündig n.V. A. Martín Pizarro
Tutorium dazu Z. Ghadernezhad
 

1d. Lehrexportveranstaltungen

Logik für Studierende der Informatik M. Junker
Vorlesung: Mo 10-12, HS 00-026, Geb. 101, Georges-Köhler-Allee
 Übungen dazu: 2-stündig n.V. M. Junker
Tutorium dazu G. Laguzzi
 

2. Berufsorientierte Veranstaltungen

3. Seminare

3b. Seminare

Die Anmeldung zu den Seminaren erfolgt in der Regel am Ende der Vorlesungsszeit des Sommersemesters. Bitte beachten Sie die in den Kommentaren veröffentlichten Anmeldemodalitäten. Sofern Sie einen Platz in einem Seminar erhalten haben, müssen Sie sich noch online zur Prüfung anmelden; der Anmeldezeitraum läuft vom 2. Oktober 2017 bis 11. Oktober 2017.
 
Seminar: Metriken auf den Ordinalzahlen H. Mildenberger
Di 16-18, SR 318, Eckerstr. 1
Tutorium dazu G. Laguzzi
einige Vorträge auch für Lehramtsstudierende geeignet
 
Seminar: Modelltheorie differentieller Körper A. Martín Pizarro
Mi 10-12, SR 318, Eckerstr. 1
Tutorium dazu Z. Ghadernezhad
 

4. Oberseminare, Projektseminare und Kolloquien

4a. Oberseminare

Oberseminar: Mathematische Logik A. Martín Pizarro, H. Mildenberger
Mi 16-18, SR 404, Eckerstr. 1
 

Sommersemester 2017

1. Vorlesungen

1b. Weiterführende vierstündige Vorlesungen

III
ECTS
Mathematische Logik A. Martín Pizarro
Vorlesung: Mo, Mi 12-14, HS Weismann-Haus, Albertstr. 21a
 Übungen dazu: 2-stündig n.V. A. Martín Pizarro
Tutorium dazu Z. Ghadernezhad
 
III
ECTS
Mengenlehre: Unabhängigkeitsbeweise H. Mildenberger
Vorlesung: Di, Do 10-12, SR 404, Eckerstr. 1
 Übungen dazu: 2-stündig n.V. H. Mildenberger
Tutorium dazu F. Guichardaz
 

1d. Lehrexportveranstaltungen

Mathematik II für Studierende der Informatik M. Junker
Mo, Mi 10-12, HS 00-026, Geb. 101, Georges-Köhler-Allee
 Übungen dazu: 2-stündig n.V. M. Junker
Tutorium dazu A. Korsch
 

2. Berufsorientierte Veranstaltungen

3. Seminare

3b. Seminare

Wichtig: Die Anmeldung zu den Seminaren erfolgt in der Regel am Ende der Vorlesungszeit des Wintersemesters. Bitte beachten Sie die im Kommentierten Vorlesungsverzeichnis veröffentlichten Anmeldemodalitäten. Sofern Sie einen Platz in einem Seminar erhalten haben, müssen Sie sich noch online zur Prüfung anmelden; der Anmeldezeitraum läuft voraussichtlich vom 2. April 2017 bis 19. April 2017.
 
Seminar "Spielstrategien" H. Mildenberger
Seminar: Mo 16-18, SR 318, Eckerstr. 1
Tutorium dazu G. Laguzzi
 
Seminar "Ultraprodukte und asymptotische Modelltheorie" A. Martín Pizarro
Seminar: Di 16-18, SR 403, Eckerstr. 1
Tutorium dazu Z. Ghadernezhad
 

4. Oberseminare, Projektseminare und Kolloquien

4a. Oberseminare

Oberseminar: Mathematische Logik A. Martín Pizarro, H. Mildenberger
Mi 16-18, SR 404, Eckerstr. 1
 

Wintersemester 2016/2017

1. Vorlesungen

1b. Weiterführende vierstündige Vorlesungen

III
ECTS
Mengenlehre: Das konstruktible Universum H. Mildenberger
Vorlesung: Di, Do 10-12, SR 404, Eckerstr. 1
 Übungen dazu: 2-stündig n.V. H. Mildenberger
Tutorium dazu F. Guichardaz
 
III
ECTS
Rekursionstheorie M. Ziegler
Mi 12-14, Fr 10-12, SR 403, Eckerstr. 1
 Übungen dazu M. Ziegler
Tutorium dazu Z. Ghadernezhad
 

1d. Lehrexportveranstaltungen

Logik für Studierende der Informatik M. Junker
Vorlesung: Mo 10-12, HS 00-026, Geb. 101, Georges-Köhler-Allee
 Übungen dazu: 2-stündig n.V. M. Junker
Tutorium dazu C. Claessens
 
Logik für Studierende der Philosophie M. Junker
Vorlesung: 2-stündig: Mi 14-16, HS 1015, KG I
 

2. Berufsorientierte Veranstaltungen

3. Seminare

3b. Seminare

Die Anmeldung zu den Seminaren erfolgt in der Regel am Ende der Vorlesungsszeit des Sommersemesters. Bitte beachten Sie die in den Kommentaren veröffentlichten Anmeldemodalitäten. Sofern Sie einen Platz in einem Seminar erhalten haben, müssen Sie sich noch online zur Prüfung anmelden; der Anmeldezeitraum läuft vom 2. Oktober 2016 bis 12. Oktober 2016.
 
Seminar: Maßalgebren und die Maharam-Probleme H. Mildenberger
Di 16-18, SR 318, Eckerstr. 1
Tutorium dazu G. Laguzzi
 
Seminar: Modelltheorie M. Ziegler
Do 12-14, SR 403, Eckerstr. 1
Tutorium dazu Z. Ghadernezhad
 

4. Oberseminare, Projektseminare und Kolloquien

4a. Oberseminare

Oberseminar: Mathematische Logik H. Mildenberger, M. Ziegler
Mi 16-18, SR 404, Eckerstr. 1
 

Sommersemester 2016

1. Vorlesungen

1c. vierstündige Kurs- und Spezialvorlesungen

V, W/M
ECTS
Mathematische Logik H. Mildenberger
Vorlesung: Di, Do 10-12, HS Weismann-Haus, Albertstr. 21a
 Übungen dazu: 2-stündig n.V. H. Mildenberger
Tutorium dazu F. Guichardaz
 
M
ECTS
Ausgewählte Gegenstände der Modelltheorie M. Ziegler
Vorlesung: Di, Mi 12-14, SR 404, Eckerstr. 1
 Übungen dazu: 2-stündig n.V. M. Ziegler
Tutorium dazu J. D. Caycedo
 

1e. Lehrexportveranstaltungen

Mathematik II für Studierende der Informatik M. Junker
Mo, Mi 10-12, HS 00-026, Geb. 101, Georges-Köhler-Allee
 Übungen dazu: 2-stündig n.V. M. Junker
Tutorium dazu J. D. Caycedo
 

2. Berufsorientierte Veranstaltungen

3. Seminare

3b. Seminare

Wichtig: Die Anmeldung zu den Seminaren erfolgt in der Regel am Ende der Vorlesungszeit des Wintersemesters. Bitte beachten Sie die im Kommentierten Vorlesungsverzeichnis veröffentlichten Anmeldemodalitäten. Sofern Sie einen Platz in einem Seminar erhalten haben, müssen Sie sich noch online zur Prüfung anmelden; der Anmeldezeitraum läuft voraussichtlich vom 2. April 2016 bis 13. April 2016.
 
PA
Seminar "Properes und stark properes Forcing" H. Mildenberger
Seminar: Mo 16-18, SR 125, Eckerstr. 1
Tutorium dazu G. Laguzzi
 
PA
Seminar zur Modelltheorie M. Ziegler
Mi 10-12, SR 218, Eckerstr. 1
Tutorium dazu M. Khani
 

4. Oberseminare, Projektseminare und Kolloquien

4a. Oberseminare

PA
Oberseminar: Mathematische Logik H. Mildenberger, M. Ziegler
Mi 16-18, SR 404, Eckerstr. 1
 

Wintersemester 2015/2016

1. Vorlesungen

1c. vierstündige Kurs- und Spezialvorlesungen

(V), W/M
ECTS
Mengenlehre I H. Mildenberger
Vorlesung: Mo, Mi 10-12, HS II, Albertstr. 23b
 Übungen dazu: 2-stündig n.V. H. Mildenberger
Tutorium dazu G. Laguzzi
 
(V), W/M
ECTS
Modelltheorie I M. Junker
Vorlesung: Mo, Do 8-10, HS II, Albertstr. 23b
 Übungen dazu: 2-stündig n.V. M. Junker
Tutorium dazu F. Guichardaz
 

2. Berufsorientierte Veranstaltungen

3. Seminare

3a. Proseminare

Die Anmeldung zu den Proseminaren erfolgt in der Regel am Ende der Vorlesungsszeit des Sommersemesters. Bitte beachten Sie die in den Kommentaren veröffentlichten Anmeldemodalitäten. Sofern Sie einen Platz in einem Proseminar erhalten haben, müssen Sie sich noch online zur Prüfung anmelden; der Anmeldezeitraum läuft vom 2. Oktober 2015 bis 14. Oktober 2015.
 
PA
ECTS
Proseminar: Graphentheorie H. Mildenberger
Di 16-18, SR 318, Eckerstr. 1
Tutorium dazu D. Hein
 

3b. Seminare

Die Anmeldung zu den Seminaren erfolgt in der Regel am Ende der Vorlesungsszeit des Sommersemesters. Bitte beachten Sie die in den Kommentaren veröffentlichten Anmeldemodalitäten. Sofern Sie einen Platz in einem Seminar erhalten haben, müssen Sie sich noch online zur Prüfung anmelden; der Anmeldezeitraum läuft vom 2. Oktober 2015 bis 14. Oktober 2015.
 
PA
Seminar über Modelltheorie M. Ziegler
Mi 8-10, SR 318, Eckerstr. 1
Tutorium dazu M. Khani
 

4. Oberseminare, Projektseminare und Kolloquien

4a. Oberseminare

PA
Oberseminar: Mathematische Logik H. Mildenberger, M. Ziegler
Mi 16-18, SR 404, Eckerstr. 1
 

Sommersemester 2015

1. Vorlesungen

1c. vierstündige Kurs- und Spezialvorlesungen

V, W/M
ECTS
Mathematische Logik M. Ziegler
Vorlesung: Di 16-18, Do 12-14, HS II, Albertstr. 23b
 Übungen dazu: 2-stündig n.V. M. Ziegler
Tutorium dazu G. Laguzzi
 
M
ECTS
Modelltheorie II M. Ziegler
Vorlesung: Di 12-14, SR 125, Eckerstr. 1, Do 8-10, SR 404, Eckerstr. 1
 Übungen dazu: 2-stündig n.V. M. Ziegler
Tutorium dazu M. Khani
 

2. Berufsorientierte Veranstaltungen

3. Seminare

4. Oberseminare, Projektseminare und Kolloquien

4a. Oberseminare

PA
Oberseminar: Mathematische Logik M. Ziegler
Mi 16-18, SR 404, Eckerstr. 1
 

Wintersemester 2014/2015

1. Vorlesungen

1b. Pflichtveranstaltungen

L, W
ECTS
Algebra und Zahlentheorie M. Junker
Vorlesung: Mo, Mi 14-16, HS Weismann-Haus, Albertstr. 21a
 Übungen dazu: 2-stündig n.V. M. Junker
Tutorium dazu B. Taji
 

1c. vierstündige Kurs- und Spezialvorlesungen

(V), W/M
ECTS
Modelltheorie H. Mildenberger
Vorlesung: Mo, Mi 10-12, SR 404, Eckerstr. 1
 Übungen dazu: 2-stündig n.V. H. Mildenberger
Tutorium dazu M. Khani
 

2. Berufsorientierte Veranstaltungen

3. Seminare

3b. Seminare

Die Anmeldung zu den Seminaren erfolgt in der Regel am Ende der Vorlesungsszeit des Sommersemesters. Bitte beachten Sie die in den Kommentaren veröffentlichten Anmeldemodalitäten. Sofern Sie einen Platz in einem Seminar erhalten haben, müssen Sie sich noch online zur Prüfung anmelden; der Anmeldezeitraum läuft vom 2. Oktober 2014 bis 15. Oktober 2014.
 
PA
Seminar: Mengenlehre: Forcingaxiome H. Mildenberger
Di 16-18, SR 318, Eckerstr. 1
Tutorium dazu Ch. Bier
 

4. Oberseminare, Projektseminare und Kolloquien

4a. Oberseminare

PA
Oberseminar: Mathematische Logik H. Mildenberger
Mi 16-18, SR 404, Eckerstr. 1