Über das Ausbildungsprogramm
Mathematische Logik, Algebra, Zahlentheorie und diskrete Mathematik sind Zweige der Mathematik, die die Eigenschaften ganzer Zahlen und ihrer Verallgemeinerungen, algebraische Strukturen, den allgemeinen Aufbau mathematischer Theorien, ihrer Modelle und algorithmischen Prozesse untersuchen. In der Algebra werden abstrakte Mengen mit darauf gegebenen Operationen und Beziehungen untersucht. In der mathematischen Logik werden die syntaktischen und semantischen Eigenschaften formalisierter mathematischer Theorien und die strukturellen Eigenschaften ihrer semantischen Modelle untersucht. In der Zahlentheorie werden die arithmetischen Eigenschaften mathematischer Objekte untersucht.