Beim Symbolischen Rechnen geht es um die Algorithmisierung und Automatisierung des mathematischen Analyse- und Lösungsprozesses. Ziel ist die Entwicklung exakter logischer Schlussverfahren und algebraischer Berechnungsverfahren, die schließlich in computer-gestützte mathematische Supportsysteme münden können.
Lehrinhalte
Seminar Symbolisches Rechnen:
Spezielle Themen und aktuelle wissenschaftliche Arbeiten aus dem Fach Symbolisches Rechnen.
Untergeordnete Studienfächer, Module und Lehrveranstaltungen
