Inhalt

[ 201SYMRCACV12 ] VL Computer Algebra for Concrete Mathematics

Versionsauswahl
Es ist eine neuere Version 2019W dieser LV im Curriculum Masterstudium Bioinformatics (auslaufend) 2019W vorhanden.
Workload Ausbildungslevel Studienfachbereich VerantwortlicheR Semesterstunden Anbietende Uni
3 ECTS B3 - Bachelor 3. Jahr Mathematik Carsten Schneider 2 SSt Johannes Kepler Universität Linz
Detailinformationen
Quellcurriculum Bachelorstudium Technische Mathematik 2017W
Ziele The lecture can be viewed as an algorithmic supplement to the classical book "Concrete Mathematics" by Graham, Knuth, and Patashnik. Namely, it presents computer algebra tools for dealing with four mathematical concepts which play a fundamental role in many different areas of mathematics and computer science: symbolic sums, recurrence (difference) equations, generating functions, and asymptotic estimates. Their key features, in isolation or in combination, their mastery by paper and pencil or by computer programs, and their applications, also to "real world problems" like e.g. the analysis of algorithms, are studied.
Lehrinhalte Manipulation of formal power series, polynomials, c-finite sequences, hypergeometric series, holonomic sequences and series, and symbolic sums; application of the toolbox to concrete examples in computer science and combinatorics.
Beurteilungskriterien oral exam
Lehrmethoden symbolic computation and in particular computer algebra, basic linear algebra, asymptotics
Abhaltungssprache Englisch
Literatur "The Concrete Tetrahedron" (Springer) by Manuel Kauers and Peter Paule
Lehrinhalte wechselnd? Nein
Äquivalenzen TM1WHVOANKO: VO Analytische Kombinatorik (3 ECTS)
Präsenzlehrveranstaltung
Teilungsziffer -
Zuteilungsverfahren Direktzuteilung