311.260 (23S) Selected Topics in Discrete Mathematics (Symbolic Computation)
Überblick
- Lehrende/r
- LV-Titel englisch Selected Topics in Discrete Mathematics (Symbolic Computation)
- LV-Art Vorlesung
- LV-Modell Präsenzlehrveranstaltung
- Semesterstunde/n 2.0
- ECTS-Anrechnungspunkte 3.0
- Anmeldungen 14
- Organisationseinheit
- Unterrichtssprache Englisch
- LV-Beginn 07.03.2023
- eLearning zum Moodle-Kurs
-
Anmerkungen
Lehrveranstaltung wird sowohl als Symbolic Computation für das Bachelorstudium als auch als Selected Topics in Discrete Mathematics (Symbolic Computation) fürs Masterstudium angerechnet. Die Unterrichtssprache hängt vom Bedarf ab.
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
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 (ca. 30 minutes)
Prüfungsinhalt/e
Inhalt der Vorlesung
Beurteilungskriterien/-maßstäbe
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.
Prüfungsmethode/n
Oral exam (approx. 30 minutes).
Prüfungsinhalt/e
Contents of the lecture.
Beurteilungskriterien/-maßstäbe
Emphasis is laid on reasonable knowledge of the definitions and facts and thorough understanding of the material of the course including the proofs. In case of partial fulfillment, the grade will be awarded freely depending on the knowledge shown.
For the oral exam, you may bring copies of the slides of the lecture (containing formulae) and additional cheat-sheets containing formulae. How much and what you look up influences the grade.
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 Selected Topics in Discrete Mathematics (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 Selected Topics in Discrete Mathematics (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: 22W.1)
-
Fach: Diskrete Mathematik
(Wahlfach)
-
10.7 Symbolic Computation (
2.0h VO / 3.0 ECTS)
- 311.260 Selected Topics in Discrete Mathematics (Symbolic Computation) (2.0h VO / 3.0 ECTS)
-
10.7 Symbolic Computation (
2.0h VO / 3.0 ECTS)
-
Fach: Diskrete Mathematik
(Wahlfach)
- Bachelorstudium Technische Mathematik
(SKZ: 201, Version: 22W.1)
-
Fach: Angewandte Mathematik
(Wahlfach)
-
11.1 Wahl von weiteren Lehrveranstaltungen aus den Vertiefungsfächern (
0.0h XX / 12.0 ECTS)
- 311.260 Selected Topics in Discrete Mathematics (Symbolic Computation) (2.0h VO / 3.0 ECTS)
-
11.1 Wahl von weiteren Lehrveranstaltungen aus den Vertiefungsfächern (
0.0h XX / 12.0 ECTS)
-
Fach: Angewandte Mathematik
(Wahlfach)
- Masterstudium Mathematics
(SKZ: 401, Version: 18W.1)
-
Fach: Discrete Mathematics
(Wahlfach)
-
6.7 Selected Topics in Discrete Mathematics (
2.0h VO / 3.0 ECTS)
- 311.260 Selected Topics in Discrete Mathematics (Symbolic Computation) (2.0h VO / 3.0 ECTS)
-
6.7 Selected Topics in Discrete Mathematics (
2.0h VO / 3.0 ECTS)
-
Fach: Discrete Mathematics
(Wahlfach)
- Masterstudium Mathematics
(SKZ: 401, Version: 18W.1)
-
Fach: Applied Mathematics
(Wahlfach)
-
Lehrveranstaltungen aus den Vertiefungsfächern (
0.0h XX / 12.0 ECTS)
- 311.260 Selected Topics in Discrete Mathematics (Symbolic Computation) (2.0h VO / 3.0 ECTS)
-
Lehrveranstaltungen aus den Vertiefungsfächern (
0.0h XX / 12.0 ECTS)
-
Fach: Applied Mathematics
(Wahlfach)
- Masterstudium Mathematics
(SKZ: 401, Version: 22W.1)
-
Fach: Discrete Mathematics
(Wahlfach)
-
5.7 Selected Topics in Discrete Mathematics (
2.0h VO / 3.0 ECTS)
- 311.260 Selected Topics in Discrete Mathematics (Symbolic Computation) (2.0h VO / 3.0 ECTS) Absolvierung im 1., 2., 3. Semester empfohlen
-
5.7 Selected Topics in Discrete Mathematics (
2.0h VO / 3.0 ECTS)
-
Fach: Discrete Mathematics
(Wahlfach)
- Masterstudium Mathematics
(SKZ: 401, Version: 22W.1)
-
Fach: Applied Mathematics
(Wahlfach)
-
7.1 Wahl von weiteren Lehrveranstaltungen aus den Vertiefungsfächern (
0.0h XX / 12.0 ECTS)
- 311.260 Selected Topics in Discrete Mathematics (Symbolic Computation) (2.0h VO / 3.0 ECTS) Absolvierung im 2., 3. Semester empfohlen
-
7.1 Wahl von weiteren Lehrveranstaltungen aus den Vertiefungsfächern (
0.0h XX / 12.0 ECTS)
-
Fach: Applied Mathematics
(Wahlfach)