(*) Unfortunately this information is not available in english.
Workload
Mode of examination
Education level
Study areas
Responsible person
Coordinating university
0-13,5 ECTS
Structure
B3 - Bachelor's programme 3. year
Mathematics
Manuel Kauers
Johannes Kepler University Linz
Detailed information
Original study plan
Bachelor's programme Technical Mathematics 2023W
Objectives
(*)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.
Subject
(*)Die Lehrinhalte ergeben sich aus den Lehrinhalten der einzelnen Lehrveranstaltungen.
