Изменения

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

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

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

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

*[[Полные системы функций. Теорема Поста о полной системе функций]]

*[[Представление функции класса DM с помощью медианы]]

*[[Пороговая функция]]

*[[Троичная логика]]<tex>^\star</tex>

*[[Реализация булевой функции схемой из функциональных элементов]]

*[[Простейшие методы синтеза схем из функциональных элементов]]

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

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

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

*[[Триггеры]]<tex>^\star</tex>

*[[Квантовые гейты]]<tex>^\star</tex>

== Представление информации ==

== Алгоритмы сжатия ==

* [[Алгоритм Хаффмана]]

* [[Алгоритм Хаффмана за O(n)]]

* [[Алгоритм Ху-Таккера]]<tex>^\star</tex>

* [[Расстояние Хэмминга]]

* [[Избыточное кодирование, код Хэмминга]]

* [[Гамма-, дельта- и омега-код Элиаса]]<tex>^\star</tex>

== Комбинаторика ==

* [[Метод генерации случайной перестановки, алгоритм Фишера-Йетса]]

* [[Методы генерации случайного сочетания]]<tex>^\star</tex>

=== Подсчёт числа объектов ===

* [[Числа Каталана]]

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

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

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

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

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

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

* [[Разложение рациональной функции в ряд]]

* [[Производящая функция Дирихле]]

* [[Решение рекуррентных соотношений]]