Изменения

Символом <tex> \star </tex> помечены дополнительные темы (возможно, сложные), которые не были подробно рассмотрены (или вообще рассмотрены) в рамках курса.

== Отношения ==

*[[Определение отношения]]

*[[Композиция отношений|Композиция отношений, степень отношения, обратное отношение]]

*[[Метод Лупанова синтеза схем]]

*[[Представление булевых функций линейными программами]]

*[[Cумматор]]

*[[Каскадный сумматор]]

* [[Конструирование комбинаторных объектов и их подсчет]]

* [[Подсчет деревьев]]

=== Свойства комбинаторных объектов ===

* [[Задача о монотонных подпоследовательностях, теорема о связи длины НВП и НУП]]

* [[Арифметические действия с формальными степенными рядами]]

* [[Теорема о связи между рациональностью производящей функции и линейной рекуррентностью задаваемой ей последовательности]]

* [[Использование производящих функций для доказательства тождеств]]

* [[Производящие функции нескольких переменных]]

* [[Уравнение Лагранжа и теорема Лагранжа]]

*[[Асимптотика коэффициентов функций, связанных между собой уравнением Лагранжа]]