Довідка

Диз’юнктивні нормальні форми. Досконалі диз’юнктивні нормальні форми. Подання логічних функцій у ДДНФ.

Дізнаємось

Перетворення будь-якої логічної функції у канонічну форму для перевірки її властивостей.
Вивчення зв’язків між змінними через їх комбінації у ДНФ та ДДНФ.
Використання ДДНФ для представлення функцій у вигляді мінімальної або максимально розгорнутої форми.

Навчимось

Розвивати навички формалізації логічних функцій.
Аналізувати та оптимізувати логічні вирази.
Освоїти методи побудови схем і алгоритмів, базованих на логіці.

Матеріали

Доступно тільки для зареєстрованих користувачів

Проблемні питання

Доступно тільки для зареєстрованих користувачів

Д.з.

Доступно тільки для зареєстрованих користувачів

№	Тема
5 лекції
1	Поняття про системи числення. Основні означення. Позиційні та непозиційні системи числення.
2	Дії над числами в системах числення з різними основами. Основні означення. Операції додавання, віднімання та множення в двійковій, вісімковій та шіснадцятковій системі числення.
3	Поняття про алгебру висловлень. Основні логічні операції над висловленнями.
4	Поняття набору логічної функції. Таблиця істинності. Поняття про логічну функцію та її аргументи. Основні формули булевої алгебри.
5	Основні означення. Квантор загальності. Квантор існування. Рівносильність формул.
6	Множини, основні поняття. Способи подання множин. Підмножини. Операції над множинами.
7	Множини, основні поняття. Способи подання множин. Підмножини. Операції над множинами.
8	Основні поняття теорії графів. Способи задання графів. Неорієнтовані та орієнтовані графи, види графів. Операції над графами. Ступінь вершини.
9	Ейлерові графи. Гамільтонові графи. Приклади графів Ізоморфізм графів. Планарність. Плоский граф.
10	Поняття відношення. Бінарні відношення. Способи подання відношень.
11	Диз’юнктивні нормальні форми. Досконалі диз’юнктивні нормальні форми. Основні поняття та теореми.
12	Кон’юнктивні нормальні форми. Досконалі кон’юнктивні нормальні форми. Основні поняття та теореми.
5 практичні заняття
1	Переведення цілих чисел з однієї системи числення в іншу.
2	Дії над числами в системах числення з різними основами.
3	Логічні операції над висловленнями. Побудова висловлень у символьній формі.
4	Побудова таблиць істинності для логічних функцій n аргументів.
5	Числення висловлень. Залік з модуля 1.
6	Операції над множинами. Закони і тотожності алгебри множин.
7	Комп’ютерне подання множин. Розв’язування задач.
8	Операції над графами. Зображення графів.
9	Задання графа за допомогою матриці інцидентності, матриці суміжності та списку ребер. Комп’ютерне задання графів. Залік з модуля 2.
10	Види відношень. Операції над відношеннями.
11	Диз’юнктивні нормальні форми. Досконалі диз’юнктивні нормальні форми. Подання логічних функцій у ДДНФ.
12	Кон’юнктивні нормальні форми. Досконалі кон’юнктивні нормальні форми. Подання логічних функцій у ДКНФ.

Загальнонаціональна хвилина мовчання за загиблими внаслідок збройної агресії рф проти України

60