Основні поняття теорії множин.
Поняття множини, її елементів. Способи задання множин. Підмножини. Потужність множин. Булеан
Геометрична інтерпретація множин. Алгебра множин.
Операції над множинами та їх властивості. Геометричне зображення множин та операцій над ними
Відношення. Операції над відношеннями.
Поняття відношення, способи його задання. Обернене відношення. Композиція відношень
Властивості відношень. Відношення порядку і еквівалентності.
Визначення типу відношення
Математична логіка. Математична індукція.
Істинність висловлень. Побудова ДНФ та КНФ формул. Доведення тотожностей та кратності виразів заданим числам методом математичної індукції
Формули включення-виключення. Комбінаторика.
Застосування формули включення-виключення до розв'язування задач. Основні правила комбінаторики. Біном Ньютона
Булева алгебра. Логіка предикатів.
Булеві функції. Побудова ДДНФ та ДКНФ. Мінімізація булевої функції. Предикати та їх види
Основи теорії графів.
Основні поняття теорії графів. Способи задання графів
Поняття множини. Способи задання множин. Підмножини та булеани. Потужність множин
Означення дій над множинами. Позначення та геометрична інтерпретація операцій над множинами, їх властивості
Визначення типу відношення за означенням та по матриці. Функціональні відношення та їх види. Означення та приклади відношення порядку та еквівалентності.
Правила комбінаторики. Кількість розміщень, та перестановок з повтореннями та без. Біном Ньютона. Формула включення-виключення.
Використання алгебри Буля для опису та проектування логічних елементів та систем.
Номер варіанта відповідає номеру студента за списком академічної групи.