prof. dr hab. Jacek Cichoń

Katedra Podstaw Informatyki WIT Politechnika Wrocławska

2026/27 (zima):

Jest to wspólna strona dla dwóch wykładów poświęconych kombinatoryce analitycznej (dla studentów I roku oraz II stopnia Informatyki Algorytmicznej). Różnice w programach realizowanych obu kursów będą wyrażnie zaznaczne na tej stronie.
Na stronie tej znajdziesz informacje o zasadach zaliczenia, literaturze, realizowanym materiale oraz listę zadań.

Literatura

P. Flajolet, R. Sagewick, Analytic Combinatorics, Cambridge University Press, 2009
F. Bergeron, G. Labelle, P. Leroux, Introduction to the Theory of Species of Structures, 2011
Lista zadań: AC-Zadania-S.pdf (uwaga: lista będzie się systematycznie rozszerzać).

Zasady zaliczania kursu

Zaliczenie kursów będzie się odbywać na podstawie aktywności na laboratoriach i ćwiczeniach (max.: 4.5). Zasady oceniania będą ustalone przez prowadzących te ćwiczenia.
Ocenę 5.0 będzie można uzyskać tylko po ustnej rozmowie zem mną.

$ \def\RR{\mathbb{R}} \def\QQ{\mathbb{Q}} \def\ZZ{\mathbb{Z}} \def\CC{\mathbb{C}} \def\NN{\mathbb{N}} \def\IFF{\leftrightarrow} \newcommand{\span}[1]{\mathrm{span}(#1)} \newcommand{\IS}[2]{\langle\,#1,#2\rangle} \newcommand{\sgn}[1]{\mathrm{sgn}(#1)} $

Zagadnienia omówione na wykładzie

W1: Zanurzanie w struktury algebraiczne

Na pierwszym wykładzie przyjrzymy się temu jaką siłę daje zanurzanie klasy interesujących nas obiektów w struktury algebraiczne o dobrych własnościach. Porozmawiamy zarówno o aspektach teoretycznych, jak i ściśle programistycznych.
Zaczniemy od trygonometrii a skończymy na monadach.