Дисципліна «Дискретна математика»

1. Множини. Операції над множинами.

2. Властивості відношень. Рефлексивність, симетричність, транзитивність. Відношення еквівалентності.

3. Розбиття на класи. Класи еквівалентності.

4. Відношення порядку.

5. Основний принцип комбінаторики.

6. Скінчені множини. Правила додавання та добутку. З’єднання з повторами та без повторів.

7. Перестановки. Принцип включення та виключення. Формула включень та виключень. Окремі випадки.

8. Функції алгебри логіки. Формули. Реалізація функцій формулами.

9. Принцип двоїстості.

10. Розкладання булевих функцій за змінними. Досконала диз’юнктивна нормальна форма.

11. Приведення до досконалої диз’юнктивної нормальної форми.

12. Повнота та замкненість. Найважливіші замкнені класи.