Grundausbildung

Die Grundausbildung besteht in den folgenden jährlich angebotenen Vorlesungen. Sie werden in Zusammenarbeit mit dem Lehrstuhl für Reine Mathematik erbracht.

In Zusammenarbeit mit dem Lehrstuhl für Symbolic Computation wird ausserdem regelmässig  folgende Einführung in die Logik angeboten:

Vertiefungen

Es gibt zwei Vertiefungsrichtungen hin zu einer Masterarbeit. Die komplexitätstheoretische Richtung wird vom Lehrstuhl für Mathematische Logik durchgeführt. Häufig angebotene Vorlesungen:

Die geometrische Richtung wird vom Lehrstuhl für Reine Mathematik durchgeführt. Häufig angebotene Vorlesungen:

Eine regelmäassige gemeinsame Veranstaltung beider Lehrstühle ist das

ein Forschungsseminar, in dem Mitglieder und Gäste der Lehrstühle vortragen, und ausserdem Studierende über Fortschritte ihrer Masterarbeiten berichten.

Hinweise für Studierende

Es ist möglich das Mathematikstudium in enger Anbindung an den Lehrstuhl für Mathematische Logik zu absolvieren. Dies bedeutet regelmässige Treffen, eine persönliche intensive Betreuung und möglicherweise eine Anstellung als studentische Hilfskraft am Lehrstuhl, sollte dies erwünscht sein.

Interessenten ist dringend empfohlen, die Vorlesung Mathematische Logik bereits im Bachelorstudium zu hören und durch eine Bachelorarbeit zu vertiefen. Dies erlaubt das Masterstudium mit Modelltheorie und Komplexitätstheorie zu beginnen. Eine Masterarbeit in mathematischer Logik verlangt ein hohes Mass an Selbststudium von über den Vorlesungsstoff hinausgehenden Texten. Interessierte Studierende sollten sich daher bereits im ersten Jahr des Masterstudiums an den Lehrstuhl wenden.