311.260 (14S) Symbolic Computation
Überblick
- Lehrende/r
- LV-Titel englisch Symbolic Computation
- LV-Art Vorlesung
- Semesterstunde/n 2.0
- ECTS-Anrechnungspunkte 3.0
- Anmeldungen 0
- Organisationseinheit
- Unterrichtssprache Deutsch
- LV-Beginn 01.03.2014
Zeit und Ort
Liste der Termine wird geladen...
LV-Beschreibung
Lehrmethodik inkl. Einsatz von eLearning-Tools
Vortrag mit ComputervorführungenInhalt/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.Themen
- Groebner Basen (zum Lösen algebraischer Gleichungssysteme u.v.m.)
- Summieren hypergeometrischer Reihen (Zeilberger-Algorithmus)
- Faktorisieren von Polynomen
Lehrziel
Die Studierenden sollen in die Lage versetzt werden, mathematische Probleme durch Einsatz moderner Hilfsmittel in Form von Computeralgebrasystemen zu lösen. Durch die Untersuchung von zugrundeliegenden Verfahren sollen die Möglichkeiten und Grenzen von Symbolic Computation aufgezeigt werden.Erwartete Vorkenntnisse
Algebraische StrukturenSonstige Studienbehelfe
vgl. MoodleLiteratur
vgl. MoodlePrüfungsinformationen
Im Fall von online durchgeführten Prüfungen sind die Standards zu beachten, die die technischen Geräte der Studierenden erfüllen müssen, um an diesen Prüfungen teilnehmen zu können.
Prüfungsinhalt/e
Gesamter Stoff der VorlesungBeurteilungskriterien/-maßstäbe
Mündliche PrüfungBeurteilungsschema
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: 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)
- Bachelorstudium Technische Mathematik und Datenanalyse
(SKZ: 201, Version: 03W.3)
-
Fach: Datensicherheit und Kryptologie
(Wahlfach)
-
Angewandte Kryptologie (
2.0h VO / 3.0 ECTS)
- 311.260 Symbolic Computation (2.0h VO / 3.0 ECTS)
-
Angewandte Kryptologie (
2.0h VO / 3.0 ECTS)
-
Fach: Datensicherheit und Kryptologie
(Wahlfach)