Die Studierenden sind in der Lage, mathematische Probleme durch Einsatz moderner Hilfsmittel in Form von Computeralgebrasystemen zu lösen sowie die dahinterliegenden mathematischen Theorien erklären zu können. Sie kennen die Möglichkeiten und Grenzen von Symbolic Computation.

Vortrag mit Computervorführungen

Symbolic Computation umfasst jene Bereiche der Computermathematik, die exakte (im Gegensatz zu numerischen) Resultate liefern. Das umfasst nicht nur die Erledigung von "Routine-Aufgaben" wie das Ausmultiplizieren von Polynomen, differenzieren von Funktionen u.v.m., sondern auch gänzlich neue Verfahren, die viele Probleme, die bisher nur durch geschickte Manipulationen mit Papier und Bleistift zu lösen waren, attackieren können.Summieren hypergeometrischer Reihen (Zeilberger-Algorithmus)Gröbner-Basen (Lösung algebraischer Gleichungssysteme)Faktorisierung von Polynomen

Grundzüge der Algebra (Polynome, Ideale, an einer Stelle endliche Körper), wie sie in der LV Algebraische Strukturen vermittelt werden.

vgl. Moodle.

Mündliche Prüfung (ca. 30 minutes)

Inhalt der Vorlesung

Es wird auf einen vernünftige Kenntnis der Definitionen und Aussagen sowie auf eine eingehendes Verständnis des Stoffes der Vorlesung inklusive Beweise Wert gelegt. Freie Würdigung der erbrachten Leistungen.Es können bei der mündlichen Prüfung mitgebrachte Folien der Vorlesung (mit Formeln und Algorithmen) sowie zusätzliche Unterlagen mit Formeln konsultiert werden; Art und Umfang der Konsultation gehen die Beurteilung mit ein.