Inhalt

[ 201COMAAKOV18 ] VL Algorithmic Combinatorics

Versionsauswahl
Es ist eine neuere Version 2023W dieser LV im Curriculum Master's programme Artificial Intelligence 2024W vorhanden.
(*) Unfortunately this information is not available in english.
Workload Education level Study areas Responsible person Hours per week Coordinating university
3 ECTS B2 - Bachelor's programme 2. year Mathematics Peter Paule 2 hpw Johannes Kepler University Linz
Detailed information
Original study plan Bachelor's programme Technical Mathematics 2022W
Objectives Applications of methods of enumerative combinatorics range from pure mathematical areas (how many objects of a certain type are there?) to areas like computer science (how many steps does my algorithm need?) and natural sciences (e.g., statistical mechanics or chemistry). Often answers to such problems are given in the form of complicated mathematical expressions (multiple-sums or integral, as solutions to difference or differential equations). The simplification of such representation of solutions is of fundamental importance. The lecture introduces to relevant methods, with emphasis on techniques from computer algebra.
Subject A huge class of enumeration problems are covered by the theory of holonomic functions. The lecture introduces to fundamental notions and ideas: e.g., generating functions and related recurrences and differential equations. Special emphasis is put on algorithmic aspects, in particular, on the usage of methods from computer algebra.
Criteria for evaluation Oral or written exam at the end of the semester.
Methods Blackboard- or Zoom-presentation (depending on pandemic situation); usage of computer algebra tools.
Language (*)Deutsch - but could be English, provided there is general agreement.
Study material "The Concrete Tetrahedron" by M. Kauers and P. Paule, also other books.
Changing subject? No
Corresponding lecture (*)ist gemeinsam mit 201UCMAAKOU18: UE Algorithmische Kombinatorik (1,5 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) ]
On-site course
Maximum number of participants -
Assignment procedure Direct assignment