Mathematische Logik

Lehre - vergangene Semester

WiSe 24/25
Veranstaltung
5867OS Oberseminar für Logik und Geometrie Di. 14:00 - 16:00 (wöchentlich), Ort: (IM) SR 034 Prof. Dr. Tobias Kaiser Prof. Dr. Moritz Müller Franziska Jungwirth
6141U Komplexitätstheorie Do. 12:00 - 14:00 (wöchentlich), Ort: (JUR) SR 059 Azza Gaysin Prof. Dr. Moritz Müller
6141V Komplexitätstheorie Di. 12:00 - 14:00 (wöchentlich), Ort: (IM) HS 12, Mi. 12:00 - 14:00 (wöchentlich), Ort: (JUR) SR 147a (HA), (NK) VR 401 Prof. Dr. Moritz Müller
6143U Constraint Satisfaction Problems Do. 14:00 - 16:00 (wöchentlich), Ort: (ITZ) SR 002 Azza Gaysin Prof. Dr. Moritz Müller
6143V Constraint Satisfaction Problems Di. 16:00 - 18:00 (wöchentlich), Ort: (IM) SR 004 Azza Gaysin Prof. Dr. Moritz Müller
6148S Seminar Der Resolutionskalkül Mi. 10:00 - 12:00 (wöchentlich), Ort: (IM) SR 010 Prof. Dr. Moritz Müller
6149PS Proseminar: Der Resolutionskalkül Mi. 10:00 - 12:00 (wöchentlich), Ort: (IM) SR 010 mit 6148S) Prof. Dr. Moritz Müller

SoSe 24
Veranstaltung
5670Ü Computational Logic Do. 14:00 - 16:00 (wöchentlich), Ort: (ITZ) SR 001 (HA), (PHIL) HS 4, Do. 16:00 - 18:00 (wöchentlich), Ort: (ITZ) SR 001 (HA), (WIWI) SR 034 Prof. Dr. Moritz Müller Azza Gaysin
5670V Computational Logic Di. 10:00 - 12:00 (wöchentlich), Ort: (IM) HS 12, Mi. 10:00 - 12:00 (wöchentlich), Ort: (IM) HS 12 Prof. Dr. Moritz Müller
5867OS Oberseminar für Logik und Geometrie Di. 14:00 - 16:00 (wöchentlich), Ort: (IM) SR 034 Prof. Dr. Tobias Kaiser Prof. Dr. Moritz Müller
6145Ü Fortgeschrittene Modelltheorie Mi. 14:00 - 16:00 (wöchentlich), Ort: (IM) HS 12 Prof. Dr. Moritz Müller Azza Gaysin
6145V Fortgeschrittene Modelltheorie Mi. 12:00 - 14:00 (wöchentlich), Ort: (IM) HS 12 Prof. Dr. Moritz Müller

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.2023 09:00 - 10:00, Ort: (IM) SR 034 Prof. Dr. Tobias Kaiser Prof. Dr. Moritz Müller
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 Prof. Dr. Moritz Müller Azza Gaysin
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 Prof. Dr. Moritz Müller Azza Gaysin
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.2023, Mittwoch, 31.05.2023, Mittwoch, 28.06.2023, Mittwoch, 19.07.2023 14:00 - 16:00, Ort: (PHIL) HS 4 Prof. Dr. Moritz Müller Prof. Dr. Christian Hammer Prof. Dr. Stefan Glock Prof. Dr. Daniel Rudolf Prof. Dr. Christoph Heinzl Prof. Dr. Elif Bilge Kavun Prof. Dr. Annette Hautli-Janisz Prof. Dr. Steffen Herbold Prof. Dr. Joscha Prochno Prof. Dr. Tobias Harks
5867OS Oberseminar für Reine Mathematik Di. 14:00 - 16:00 (wöchentlich), Ort: (IM) SR 033 Prof. Dr. Tobias Kaiser Prof. Dr. Lydia Außenhofer Prof. Dr. Moritz Müller
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 Prof. Dr. Moritz Müller Azza Gaysin
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 (U) 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 Prof. Dr. Moritz Müller Azza Gaysin
6143V Constraint Satisfaction Problems Di. 16:00 - 18:00 (wöchentlich), Ort: (IM) SR 010 Prof. Dr. Moritz Müller Azza Gaysin

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 Prof. Dr. Moritz Müller Daniel Yoon
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.2022, Dienstag, 27.09.2022 08:00 - 12:00, Ort: (PHIL) HS 3, (IM) HS 11 Prof. Dr. Martin Kreuzer Dr. John Abbott
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.2022 14:00 - 16:00, Samstag, 06.08.2022 14:00 - 18:00, Ort: (IM) SR 004, (IM) R 028 Dr. John Abbott

Diese Seite teilen

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

Video anzeigen