Розглянуто основи теорії графів, деякі класичні проблеми теорії та методи їх розв'язання, зокрема, висвітлено способи завдання графів, ізоморфізм та алгебру графів, графи та бінарні відношення, зв'язність графів, аналіз та модифікації алгоритмів пошуку, деякі важливі класи графів (дерева та двочасткові графи), плоскі, планарні, орієнтовані графи тощо.

Викладено програмний матеріал до вивчення дисципліни "Основи дискретної математики". Розглянуто основні теоретичні положення навчального курсу та розроблено відповідні практичні завдання. Наведено пояснення та приклади розв'язання навчальних вправ.

Изложен программный материал к изучению дисциплины "Основы дискретной математики". Рассмотрены основные теоретические положения учебного курса и разработаны соответствующие практические задания. Приведено объяснение и примеры решения математических задач.

Висвітлено основні тотожності алгебри логіки, канонічні форми булевих функцій, мінімальні, скорочені та тупикові диз'юнктивні нормальні форми. Розглянуто проблему повноти для алгебри булевих функцій, а також питання мінімізації формул логіки. Описано теорему про функціональну повноту, метод Квайна - Мак-Класкі побудови скороченої диз'юнктивної нормальної форми (ДНФ) булевої функції, а також методи побудови мінімальних ДНФ.

Освещены основные тождественности алгебры логики, канонические формы булевых функций, минимальные, сокращенные и тупиковые дизъюнктивные нормальные формы. Рассмотрены проблема полноты для алгебры булевых функций, а також проблема минимизации формул логики. Описана теорема о функциональной полноте, метод Квайна-Мак-Класки построения сокращенной дизъюнктивной нормальной формы (ДНФ) булевой функции, а также методы построения минимальных ДНФ.

Викладено основи дискретної (комп'ютерної) математики, складової теоретичної (математичної) кібернетики в контексті розробки та дослідження комп'ютерних і програмних систем. Описано способи задання множин і графів, алгебричні системи, особливості побудови формальних теорій, комбінаторних обчислень для основних теоретико-множинних операцій, основні тотожності алгебри логіки, методи задання автоматів та їх композицій.

Изложены основы дискретной (компьютерной) математики, составляющей теоретической (математической) кибернетики в контексте разработки и исследования компьютерных и программных систем. Описаны способы задания множеств и графов, алгебраические системы, особенности построения формальных теорий, комбинаторных вычислений для основных теоретико-множественных операций, основные тождественности алгебры логики, методы задания автоматов и их композиций.