Inhalt
[ 201UCMAAKOU18 ] UE Algorithmische Kombinatorik
|
|
|
|
(*) Leider ist diese Information in Deutsch nicht verfügbar. |
 |
Workload |
Ausbildungslevel |
Studienfachbereich |
VerantwortlicheR |
Semesterstunden |
Anbietende Uni |
1,5 ECTS |
B2 - Bachelor 2. Jahr |
Mathematik |
Carsten Schneider |
1 SSt |
Johannes Kepler Universität Linz |
|
|
 |
Detailinformationen |
Quellcurriculum |
Bachelorstudium Technische Mathematik 2025W |
Lernergebnisse |
Kompetenzen |
(*)The students are familiar with basic skills and techniques that are relevant to simplify formulas related, e.g., to enumeration problems and the analysis of algorithms. In particular, the participant gets acquainted to computer algebra algorithms and to apply them to non-trivial examples.
|
|
Fertigkeiten |
Kenntnisse |
(*)- Manipulating formal power series with classical and algorithmic tools [K2,K5];
- Algorithmic treatment of hypergeometric sequences and the understanding of the basic algorithms [K2,K4,K5] (summation, recurrence solving);
- Understanding of the basic properties of C-finite sequences [K2] and the most relevant algorithms (rational representation, closure properties, recurrence solving) [K3,K4,K5];
- Applying closure properties to holonomic functions/sequences and understanding of the underlying algorithmic toolbox [K2,K3,K5];
- Understanding of basic aspects in asymptotics [K2,K3];
|
(*)Formal power series and Laurent series with operations such as inversion, composition and formal limits, poynomial summation, Gosper's algorithm, Petkovsek's algorithm, asymptotics.
|
|
Beurteilungskriterien |
(*)active participation
|
Lehrmethoden |
(*)written and oral presentation
|
Literatur |
(*)See the description given in the separate entry for the lecture.
|
Lehrinhalte wechselnd? |
Nein |
Äquivalenzen |
ist gemeinsam mit 201COMAAKOV18: VL Algorithmische Kombinatorik (3 ECTS) äquivalent zu TM1PEKVINFO: KV Informationssysteme (3 ECTS) + [ Lehrveranstaltung aus dem Wahlfach h. Symbolisches Rechnen (1,5 ECTS) oder Lehrveranstaltung aus dem Wahlfach i. Logik (1,5 ECTS) oder Lehrveranstaltung aus dem Wahlfach j. Algebra und Diskrete Mathematik (1,5 ECTS) ]
|
|
|
 |
Präsenzlehrveranstaltung |
Teilungsziffer |
25 |
Zuteilungsverfahren |
Direktzuteilung |
|
|
|