Поняття графа, неорієнтовані та орієнтовані графи, види графів. Операції над графами. Матриці, асоційовані з графами. Дерева.

Вступ. Основні означення теорії множин. Способи задання множин. Підмножини.

Поняття графа, неорієнтовані та орієнтовані графи, види графів. Операції над графами. Матриці, асоційовані з графами. Дерева.

Ейлерові графи. Гамільтонові графи. Приклади графів. Планарність. Плоский граф.

Поняття про системи числення. Основні означення. Позиційні та непозиційні системи числення.

Дії над числами в системах числення з різними основами. Основні означення. Операції додавання, віднімання та множення в двійковій, вісімковій та шіснадцятковій системі числення.

Поняття про алгебру висловлень. Основні логічні операції над висловленнями.

Поняття набору логічної функції. Таблиця істинності. Поняття про логічну функцію та її аргументи. Основні формули булевої алгебри.

Диз’юнктивні нормальні форми. Досконалі диз’юнктивні нормальні форми. Основні поняття та теореми.

Основні означення. Квантор загальності. Квантор існування. Рівносильність формул.

Основні означення та теореми. Скінченні автомати з виходом. Скінченні автомати без виходу.

Операції над множинами. Закони і тотожності алгебри множин.

Види відношень. Операції над відношеннями.

Операції над графами. Зображення графів.

Задання графа за допомогою матриці інцидентності, матриці суміжності та списку ребер.

Ейлєрові та Гамільтонові графи. Залік з модуля 1.

Переведення цілих чисел з однієї системи числення в іншу.

Дії над числами в системах числення з різними основами.

Логічні операції над висловленнями. Побудова висловлень у символьній формі.

Побудова таблиць істинності для логічних функцій n аргументів. Залік з модуля 2.

Диз’юнктивні нормальні форми. Досконалі диз’юнктивні нормальні форми.

Кон’юнктивні нормальні форми. Досконалі кон’юнктивні нормальні форми.

Числення висловлень

Розв’язування вправ по темі « Теорія автоматів».

Підсумкове заняття по темах модуля (розв’язування поглиблених задач). Залік з модуля 3.