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