Производящие функции

Линейные рекуррентные соотношения с постоянными коэффициентами. Применение степенных рядов и производящих функций для доказательства комбинаторных тождеств. Производящие функции для биномиальных коэффициентов. Взаимно рекуррентные последовательности.