Das Seminar führt die Untersuchung der Konzepte der Abzählenden Kombinatorik und diskreten Strukturen fort, die wir im Kurs Diskrete Mathematik 1 begonnen haben. Je nach Interesse werden wir einige der folgenden Themen behandeln:
- Algebraic Methods (Group theory, Symmetric Group, Group actions, Polya Theory, Holonomic sequences, Hypergeometric sequences),
- Generating Functions (Polynomials, Quasi-polynomials, Transfer-matrix method, Basics of species)
- Facial enumeration of simplicial complexes (Kruskal-Katona and Frankl-Furedi-Kalai Theorems),
- Embedding of graphs and simplicial complexes (van Kampen-Flores Theorem),
- Poset and Lattice theory (Tarski's Fixed Point Theorem, Boolean Algebras, Fundamental Theorem of Finite Distributive Lattices, Galois connection theorems),