Masterstudium Computer Mathematics (E)

Inhalt und Schwerpunkt des Studiums:

Computermathematik befasst sich allgemein mit der Frage, wie man Mathematik mit dem Computer umsetzt. Im Masterprogramm wird diese Frage aus verschiedenen Perspektiven beleuchtet: Computeralgebra: Hier lernen die Studierenden Polynomarithmetik, Faktorisierung, Groebnerbasen und konstruktive Idealtheorie, Symbolische Summation und Integration sowie Algorithmen für spezielle Funktionen. Angewandte Zahlentheorie: Die Studierenden beschäftigen sich mit Kryptologie, Kodierungstheorie, Quasi-Monte-Carlo-Methoden und Pseudozufallszahlengeneratoren. Automated Reasoning: Die Studierenden bekommen die Grundlagen mathematischer Logik, automatischen Beweisens, SAT solvings, sowie mehrwertige Logiken (z.B. Fuzzy-Logic) vermittelt. Praktische Informatik und Softwareentwicklung: Hier lernen die Studierenden objekt-orientiertes Programmieren und wir zeigen ihnen Tools fürs Projekt-Management und formale Softwareverifikation.