Logo der Universität Passau
Fim Gebäude Fim Gebäude

Lehrstuhl für Mathematische Logik

Lehrstuhl für Mathematische Logik

Forschung

Das P versus NP Problem ist eines der Millenium Probleme, und Stephen Smale zufolge "eines der drei grössten offenen Probleme de Mathematik" und ein "Geschenk der Informatik für die Mathematik". Es wurde erstmals 1967 von Stephen Cook formuliert.  Die Forschung des Lehrstuhls nähert sich diesem und verwandten Problemen mit Mitteln der mathematischen Logik. Ein Schwerpunkt liegt in der Beweiskomplexität und der beschränkten Arithmetik.

Lehre

Der Lehrstuhl bietet in Zusammenarbeit mit dem Lehrstuhl für Reine Mathematik eine Ausbildung in mathematischer Logik an, die die gesamte Breite des Gebiets aufzeigt, und in den mit den Interessen der Lehrstühle verbundenen Teilgebieten an Fragen aktueller Forschung heranführt.

Aktuelles

06.25 Gast  Mykyta Narusevych (Prag)

05.25 Vortrag (online) Complexity Network, UK

02.25 Gast  Yijia Chen (Shanghai)

12.24 Gast Jan Pich (Uni Oxford)

11.24 Gast Isolde Adler (Uni Bamberg)

10.24 Keynote talk  Colloquium Logicum, TU Wien

09.24 Vortrag JAF in Passau

09.24 Vortrag bei Proof Complexity, Uni Oxford

06.24 Vortrag Prague Logic Seminar

06.24 Forschungsbesuch Neil Thapen (Prag)

07.24 Gast  Yijia Chen (Shanghai)

05.24 Gast Mykyta Narusevych (Prag)

05.24 Gast  Ondreij Jezil (Prag) 

05.24 Gast  Manuel Bodirsky (Dresden)

04.24 Teilnahme (online) MFO workshop

03.24 Vortrag  AlMoTh, Ilmenau

03.24 Forschungsbesuch, Bonacina, Barcelona

02.24 Gast  Albert Atserias (Barcelona)

01.24 Gast  Anton Freund (Würzburg)

01.24 Gast  Yijia Chen (Shanghai)

Kontakt

Professor

Moritz Müller
Raum: HK30 102
Tel.: +49(0)851 509 4660
Email: VORNAME.mueller@uni-passau.de

Sekretariat

Anke Berger
Raum: HK30 229
Tel.: +49(0)851 509 5025
Email: VORNAME.berger@uni-passau.de

Postadresse

Universität Passau
Lehrstuhl Mathematische Logik
Dr.-Hans-Kapfinger Straße 30
94032 Passau

 

Ich bin damit einverstanden, dass beim Abspielen des Videos eine Verbindung zum Server von Vimeo hergestellt wird und dabei personenbezogenen Daten (z.B. Ihre IP-Adresse) übermittelt werden.
Ich bin damit einverstanden, dass beim Abspielen des Videos eine Verbindung zum Server von YouTube hergestellt wird und dabei personenbezogenen Daten (z.B. Ihre IP-Adresse) übermittelt werden.
Video anzeigen