(*) Leider ist diese Information in Deutsch nicht verfügbar.
Workload
Form der Prüfung
Ausbildungslevel
Studienfachbereich
VerantwortlicheR
Anbietende Uni
0-13,5 ECTS
Gliederung
B3 - Bachelor 3. Jahr
Mathematik
Manuel Kauers
Johannes Kepler Universität Linz
Detailinformationen
Quellcurriculum
Bachelorstudium Technische Mathematik 2023W
Ziele
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
Die Lehrinhalte ergeben sich aus den Lehrinhalten der einzelnen Lehrveranstaltungen.
Untergeordnete Studienfächer, Module und Lehrveranstaltungen