Mathematical Logic

Teaching - past semesters

WiSe 23/24
Veranstaltung
5867OS Oberseminar für Logik und Geometrie Di. 14:00 - 16:00 (wöchentlich), Ort: (IM) SR 033, Termine am Mittwoch. 13.12.23 09:00 - 10:00, Ort: (IM) SR 034 Prof. Dr. Moritz Müller Prof. Dr. Tobias Kaiser
6141U Komplexitätstheorie Do. 14:00 - 16:00 (wöchentlich), Ort: (IM) SR 007, Do. 16:00 - 18:00 (wöchentlich), Ort: (IM) SR 007 Azza Gaysin Prof. Dr. Moritz Müller
6141V Komplexitätstheorie Di. 10:00 - 12:00 (wöchentlich), Ort: (IM) SR 030, Do. 10:00 - 12:00 (wöchentlich), Ort: (IM) SR 030 Prof. Dr. Moritz Müller
6144U Modelltheorie Mi. 16:00 - 18:00 (wöchentlich), Ort: (IM) HS 12 Azza Gaysin Prof. Dr. Moritz Müller
6144V Modelltheorie Di. 12:00 - 14:00 (wöchentlich), Ort: (IM) HS 11, Do. 12:00 - 14:00 (wöchentlich), Ort: (IM) HS 12 Prof. Dr. Moritz Müller

SoSe 23
Veranstaltung
4998 Antrittsvorlesungen an der Fakultät für Informatik und Mathematik Termine am Mittwoch. 10.05.23, Mittwoch. 31.05.23, Mittwoch. 28.06.23, Mittwoch. 19.07.23 14:00 - 16:00, Ort: (PHIL) HS 4 Prof. Dr. Annette Hautli-Janisz Prof. Dr. Christian Hammer Prof. Dr. Christoph Heinzl Prof. Dr. Daniel Rudolf Prof. Dr. Elif Bilge Kavun Prof. Dr. Joscha Prochno Prof. Dr. Moritz Müller Prof. Dr. Stefan Glock Prof. Dr. Steffen Herbold Prof. Dr. Tobias Harks
5867OS Oberseminar für Reine Mathematik Di. 14:00 - 16:00 (wöchentlich), Ort: (IM) SR 033 Prof. Dr. Lydia Außenhofer Prof. Dr. Moritz Müller Prof. Dr. Tobias Kaiser
6020U Mathematische Logik Do. 12:00 - 14:00 (wöchentlich), Ort: (IM) SR 034, Do. 14:00 - 16:00 (wöchentlich), Ort: (IM) SR 034 Azza Gaysin Prof. Dr. Moritz Müller
6020V Mathematische Logik Di. 10:00 - 12:00 (wöchentlich), Ort: (IM) HS 12, Do. 10:00 - 12:00 (wöchentlich), Ort: (IM) SR 007, (NK) SR 412c Prof. Dr. Moritz Müller
6142U Fortgeschrittene Komplexitätstheorie Do. 14:00 - 16:00 (wöchentlich), Ort: (N 12) SR 006 Prof. Dr. Moritz Müller
6142V Fortgeschrittene Komplexitätstheorie Mi. 16:00 - 18:00 (wöchentlich), Ort: (N 12) SR 006 Prof. Dr. Moritz Müller
6143U Constraint Satisfaction Problems Do. 16:00 - 18:00 (wöchentlich), Ort: (N 12) SR 006 Azza Gaysin Prof. Dr. Moritz Müller
6143V Constraint Satisfaction Problems Di. 16:00 - 18:00 (wöchentlich), Ort: (IM) SR 010 Azza Gaysin Prof. Dr. Moritz Müller

WiSe 22/23
Veranstaltung
6141U Komplexitätstheorie Do. 12:00 - 14:00 (wöchentlich), Ort: (IM) SR 034, Do. 14:00 - 16:00 (wöchentlich), Ort: (AM) SR 101 Daniel Yoon Prof. Dr. Moritz Müller
6141V Komplexitätstheorie Di. 10:00 - 12:00 (wöchentlich), Ort: (AM) SR 101, Do. 10:00 - 12:00 (wöchentlich), Ort: (IM) SR 004 Prof. Dr. Moritz Müller
6148S Seminar Der Resolutionskalkül Mi. 14:00 - 16:00 (wöchentlich), Ort: (WIWI) SR 027 Prof. Dr. Moritz Müller
6149PS Proseminar: Der Resolutionskalkül Mi. 14:00 - 16:00 (wöchentlich), Ort: ((WIWI) SR 027 (mit 6148S)) Prof. Dr. Moritz Müller

SoSe 22
Veranstaltung
6020V Mathematische Logik Mo. 10:00 - 12:00 (wöchentlich), Ort: (IM) SR 010, Do. 10:00 - 12:00 (wöchentlich), Ort: (JUR) SR 059, Termine am Freitag. 29.07.22, Dienstag. 27.09.22 08:00 - 12:00, Ort: (PHIL) HS 3, (IM) HS 11 Dr. John Abbott Prof. Dr. Martin Kreuzer
6140V Exemplary and Effective Programming Di. 10:00 - 12:00 (wöchentlich), Ort: (IM) R 028, Do. 14:00 - 16:00 (wöchentlich), Ort: (IM) R 028 Dr. John Abbott
6149S Topics in Computer Algebra Mo. 16:00 - 18:00 (wöchentlich), Ort: (IM) SR 007, Termine am Mittwoch. 03.08.22 14:00 - 16:00, Samstag. 06.08.22 14:00 - 18:00, Ort: (IM) SR 004, (IM) R 028 Dr. John Abbott

Share this page

Beim Anzeigen des Videos wird Ihre IP-Adresse an einen externen Server (Vimeo.com) gesendet.

Video anzeigen