195
правок
Изменения
м
=Метод производящих функций= ==Непомеченные комбинаторные объекты==
===Объединение комбинаторных классов===
===Пары комбинаторных классов (декартово произведение комбинаторных классов)===
===Последовательности комбинаторных классов===
UI
Каждый комбинаторный объект состоит из атомов.
}}
{{Определение
{{Определение
}}
{{Определение
'''Переход'''.
:Пусть для <tex dpi="350">k=n</tex> верно <tex dpi="350">Seq_n(A)(t)=A(t)^n</tex>. Докажем для
<tex dpi="350">k=n+1</tex> : <tex dpi="350">Seq_{n+1}(A)(t)=A(t)^{n+1}</tex>. Рассмотрим <tex dpi="350">Seq_{n+1}(A)</tex> как <tex dpi="350">Pair(Seq_n(A), A)</tex>. Тогда <tex dpi="350">Seq_{n+1}(A)(t)=A(t)^n*\cdot A(t)=A(t)^{n+1}</tex>.
}}
