Питання до іспиту з дискретної математики

1. Поняття множини; способи задання множин; підмножина; включення та рівність множин.

Основні операції на множинах. Закони алгебри множин. Покриття і розбиття множини.
Булеан множини.
2. Декартів добуток множин. Поняття відношення; способи їх задання; теоретико-множинні
операції на відношеннях; добуток відношень; відношення, обернене до даного; основні
властивості відношень (рефлексивне, …).
3. Відношення еквівалентності та його властивості; теорема про розбиття множини та
відношення еквівалентності на цій множині. Відношення часткового порядку та його
властивості. Мінімальний (максимальний), найменший (найбільший) елемент відносно ЧП.
Лінійний порядок.
4. Відображення. Відображення множини на інші множини; Сюр’єкція та ін’єкція, взаємно
однозначне відображення (бієкція). Операції.
5. Поняття висловлювання, формули; інтерпретації. Операції над висловлюваннями.
Властивості операцій (закони). Тавтологія, суперечність. Еквівалентні формули. Нормальні
форми (КНФ, ДНФ), алгоритм нормалізації. Сумісність висловлювань. Логічне слідування;
способи їх встановлення.
6. Булеві функції, способи їх задання, інтерпретації. Унарні, бінарні функції. Вироджені, не
вироджені функції (фіктивні змінні). Формули, еквівалентні формули. Основні
рівносильності (закони). Булева алгебра. Теорема про диз’юнктивний розклад БФ. Досконалі
нормальні форми ( ДДНФ, ДКНФ), способи їх побудови.
7. Алгебра Жегалкіна. Поліном Жегалкіна, способи побудови. Лінійна булева функція.
Функції, що зберігають 0 та 1. Двоїсті функції. Принцип двоїстості. Повнота системи
булевих функцій. Монотонність БФ. Критерій Поста.
8. Мінімізація булевих функцій. Аналітичний метод, карти Карно, метод Квайна.