Контрольная работа по дискретной математике

Контрольная работа будет 22 числа с 13:20 до 15:00
В контрольную войдут следующие темы:
1) многочлен жигалкина (дана булева).
2) дизъюнктивная нормальная форма и ее минимизация.
3) Предикаты (область истинности предиката).
4) Док-во с помощью кругов Эйлера.
5) бинарные отношения и их композиция.
6) Формула размещения.
7) Рекуррентные (найти общий член ряда. Дано будет скорее всего две компоненты, либо будет дана одна, кому как повезет).