https://www.uni-passau.de/webservice/mnav/145648/mnav.webservice
Bewerbung und Einschreibung Studienangebot Studienberatung Vorlesungsverzeichnis Auslandsamt Karriere und Kompetenzen Prüfungssekretariat Graduiertenzentrum Studierendenwerk Universitätsbibliothek
English
Hauptnavigation öffnen
Suche einschränken Gesamte Universität Hilfe- und Supportportal

Mathematische Logik

Lehre - vergangene Semester

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
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
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
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
Diese Webseite verwendet Cookies, um Ihnen einen nutzer­freundlichen Service zu bieten sowie Nutzer­verhalten in pseudonymer Form zu analy­sieren. Weitere Informationen sowie die Möglichkeit zum Widerruf finden Sie in unserer Daten­schutz­er­klä­rung.
Alle akzeptieren
Speichern