Я сделал эту штуку за 10 часов не судите строго

Дискретная математика

А.С. Станкевич

Множества, функции, отношения

Композиция и транзитивное замыкание отношений, булевы функции, СДНФ

Булевы функции, полиномы Жегалкина, критерий Поста

Преобразование Мёбиуса, схемы из функциональных элементов

Сумматор, двоичный каскадный сумматор, умножитель, дерево Уоллеса

Нижняя и верхняя оценка на размер схемы булевой функции

Коды, префиксные коды, алгоритм Хаффмана, неравенство Крафта-МакМиллана

Т. Крафта-МакМиллана, арифметическое кодирование, RLE, MTF, BWT, LZ, LZW

Коды, исправляющие ошибки, границы Хэмминга и Гильберта, код Хэмминга

Вектора, перестановки, сочетания, код Грея, формула включений-исключений

Алгоритм генерации, объект по номеру, номер по объекту, следующий объект

ПСП, пути Дика, числа Каталана, разбиения, числа Белла, числа Стирлинга

Действие группы на множестве, лемма Бернсайда, подсчет ожерелий

Дискретная теория вероятностей, введение, основные определения

Дискретные случайные величины, распределение, мат. ожидание, дисперсия

Линейная алгебра

Р.А. Попков

«Полуаксиоматическая» теория множеств. Числовые множества

Алгебраические операции. Полугруппа моноид группа

Группы. Гомоморфизмы групп. Группа перестановок. Сравнимость по подгруппе

Кольца и поля. Гомоморфизмы колец и полей. Кольцо вычетов. Кольцо многочленов

Евклидовы кольца

Кольцо квадратных матриц. Поле комплексных чисел

Определитель квадратной матрицы и его приложения

Cистемы линейных алгебраических уравнений

Векторные пространства и подпространства в них

Факторпространство. Базис и размерность

Гомоморфизмы векторных пространств

Геометрия подпространств. Сопряжённое пространство

Аффинное пространство.

Нормальные подгруппы и факторгруппы.