Комп'ютерна дискретна математика
Критерії оцінювання | ||
|---|---|---|
| № | Тема | |
| 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 | Кон’юнктивні нормальні форми. Досконалі кон’юнктивні нормальні форми. Подання логічних функцій у ДКНФ.
|
|