Inhalt

[ 201SYMR18 ] Subject h. Symbolic computation

Versionsauswahl
(*) 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 Aicke Hinrichs Johannes Kepler University Linz
Detailed information
Original study plan Bachelor's programme Technical Mathematics 2018W
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.
Subordinated subjects, modules and lectures