311.260 (19S) Symbolic Computation
Überblick
- Lehrende/r
- LV-Titel englisch symbolic computation
- LV-Art Vorlesung
- Semesterstunde/n 2.0
- ECTS-Anrechnungspunkte 3.0
- Anmeldungen 8
- Organisationseinheit
- Unterrichtssprache Deutsch
- mögliche Sprache/n der Leistungserbringung Deutsch , Englisch
- LV-Beginn 05.03.2019
- eLearning zum Moodle-Kurs
-
Anmerkungen
Prinzipiell 15:00-16:30 VO, 16:45-18:00 UE; Ausnahmen (geplant): 5.3., 12.3., 21.5. VO 15:00-16:30 und 16:45-18:00.
Zeit und Ort
LV-Beschreibung
Intendierte Lernergebnisse
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.
Lehrmethodik inkl. Einsatz von eLearning-Tools
Vortrag mit Computervorführungen
Inhalt/e
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
Erwartete Vorkenntnisse
Grundzüge der Algebra (Polynome, Ideale, an einer Stelle endliche Körper), wie sie in der LV Algebraische Strukturen vermittelt werden.
Literatur
vgl. Moodle.
Prüfungsinformationen
Prüfungsmethode/n
Mündliche Prüfung
Prüfungsinhalt/e
Gesamter Stoff der Vorlesung
Beurteilungskriterien/-maßstäbe
Freie Würdigung der erbrachten Leistungen.
Es können bei der mündlichen Prüfung mitgebrachte Unterlagen konsultiert werden; Art und Umfang der Konsultation gehen die Beurteilung mit ein.
Beurteilungsschema
Note BenotungsschemaPosition im Curriculum
- Masterstudium Angewandte Informatik
(SKZ: 911, Version: 13W.1)
-
Fach: Information and System Security
(Wahlfach)
-
Symbolic Computation (
2.0h VK / 4.0 ECTS)
- 311.260 Symbolic Computation (2.0h VO / 3.0 ECTS)
-
Symbolic Computation (
2.0h VK / 4.0 ECTS)
-
Fach: Information and System Security
(Wahlfach)
- Bachelorstudium Technische Mathematik
(SKZ: 201, Version: 17W.1)
-
Fach: Diskrete Mathematik
(Wahlfach)
-
10.7 Symbolic Computation (
2.0h VO / 3.0 ECTS)
- 311.260 Symbolic Computation (2.0h VO / 3.0 ECTS) Absolvierung im 4., 5., 6. Semester empfohlen
-
10.7 Symbolic Computation (
2.0h VO / 3.0 ECTS)
-
Fach: Diskrete Mathematik
(Wahlfach)
- Bachelorstudium Technische Mathematik
(SKZ: 201, Version: 12W.2)
-
Fach: Diskrete Mathematik
(Wahlfach)
-
Symbolic Computation (
2.0h VO / 3.0 ECTS)
- 311.260 Symbolic Computation (2.0h VO / 3.0 ECTS)
-
Symbolic Computation (
2.0h VO / 3.0 ECTS)
-
Fach: Diskrete Mathematik
(Wahlfach)
- Masterstudium Mathematics
(SKZ: 401, Version: 18W.1)
-
Fach: Discrete Mathematics
(Wahlfach)
-
6.6 Selected Topics in Algebra and Number Theory (
2.0h VO / 3.0 ECTS)
- 311.260 Symbolic Computation (2.0h VO / 3.0 ECTS)
-
6.6 Selected Topics in Algebra and Number Theory (
2.0h VO / 3.0 ECTS)
-
Fach: Discrete Mathematics
(Wahlfach)