311.260 (19S) symbolic computation
Overview
- Lecturer
- Course title german Symbolic Computation
- Type Lecture
- Hours per Week 2.0
- ECTS credits 3.0
- Registrations 8
- Organisational unit
- Language of instruction German
- possible language(s) of the assessment German , English
- Course begins on 05.03.2019
- eLearning Go to Moodle course
Time and place
Course Information
Intended learning outcomes
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.
Teaching methodology including the use of eLearning tools
Vortrag mit Computervorführungen
Course content
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
Prior knowledge expected
Grundzüge der Algebra (Polynome, Ideale, an einer Stelle endliche Körper), wie sie in der LV Algebraische Strukturen vermittelt werden.
Literature
vgl. Moodle.
Examination information
Examination methodology
Mündliche Prüfung
Examination topic(s)
Gesamter Stoff der Vorlesung
Assessment criteria / Standards of assessment for examinations
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.
Grading scheme
Grade / Grade grading schemePosition in the curriculum
- Master's degree programme Applied Informatics
(SKZ: 911, Version: 13W.1)
-
Subject: Information and System Security
(Compulsory elective)
-
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)
-
Subject: Information and System Security
(Compulsory elective)
- Bachelorstudium Technische Mathematik
(SKZ: 201, Version: 17W.1)
-
Subject: Diskrete Mathematik
(Compulsory elective)
-
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)
-
Subject: Diskrete Mathematik
(Compulsory elective)
- Bachelor's degree programme Technical Mathematics
(SKZ: 201, Version: 12W.2)
-
Subject: Diskrete Mathematik
(Compulsory elective)
-
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)
-
Subject: Diskrete Mathematik
(Compulsory elective)
- Masterstudium Mathematics
(SKZ: 401, Version: 18W.1)
-
Subject: Discrete Mathematics
(Compulsory elective)
-
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)
-
Subject: Discrete Mathematics
(Compulsory elective)