Довідка

Числення висловлень. Залік з модуля 1.

Дізнаємось

Числення висловлень дозволяє вивчати логічні висловлення, правила їх перетворення і методи аналізу логічних структур. Поглиблене розуміння числення висловлень дає змогу працювати з формальними мовами та розв’язувати задачі, пов’язані з логічним мисленням.

Навчимось

Формалізувати та спрощувати висловлення.
Аналізувати істинність і еквівалентність формул.
Застосовувати логіку в програмуванні, математиці та техніці.

Матеріали

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

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

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

Д.з.

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

№	Тема
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