Дослідження та систематизація основних понять комбінаторики. Характеристика методів комбінаторного аналізу та ілюстрація їх застосування на прикладах. Розгляд сутності та результатів теорії графів. Аналіз галузей застосування дискретної математики.

Множини та операції з ними. Основний принцип комбінаторики, правило множини. Декартів добуток двох множин. Біном Ньютона та біноміальні тотожності. Мала теорема Ферма. Шпернерові сімейства та теорема Шпернера. Перестановки та комбінації з повторенням.

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

Общее описание метода ветвей и границ организации полного перебора возможностей. Решение задачи о коммивояжере методом ветвей и границ: основная схема. Постановка основной задачи теории расписаний, случай одной машины. Задача Джонсона в теории расписаний.

Нахождение пути минимального веса между вершинами в нагруженном графе с помощью алгоритма Дейкстры. Максимальный поток в транспортной сети с использованием алгоритма Форда-Фалкерсона. Проверка по теореме Форда-Фалкерсона. Пропускные способности дуг.

Изучение математических моделей объектов, процессов и зависимостей, решаемых дискретной математикой. Анализ элементов теории множеств. Понятие и применение математической логики. Определение алгебраических операций. Теория графического представления.

Операции над множествами. Понятия и определения отношений и функций. Характеристики графов, алгоритм Форда–Беллмана нахождения минимального пути. Минимальные остовные деревья нагруженных графов. Формулы логики булевых функций, преобразования формул.

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

Множества и операции над ними. Функции и формулы алгебры логики. Важнейшие замкнутые классы. Обобщение понятия равенства, отношение упорядоченности. Принцип двойственной записи вычислений. Построение совершенных нормальных форм и закон коммутативности.

Способы задания множеств и бинарных отношений. Основные логические операции. Представление булевых функций. Понятия логики предикатов. Описание теории графов, конечных автоматов, языков и элементов кодирования. Расчет максимального потока в сетях.

Разделы теории групп: конечные, абелевы, разрешимые и др. Теорема о единственности разложения в сумму примарных абелевых групп по разным простым числам. Накрывающее свойство свободной абелевой группы конечного ранга и доказательство структурной теоремы.

Теория множеств. Способы задания, операции над множествами. Основные понятия соответствия и функции. Понятие мультимножества. Основные понятия теории графов, способы их задания. Сильно связанные графы и их компоненты. Планарность и двойственность.

Рассмотрение элементов теории графов. Характеристика множеств и операций над ними. Основные законы комбинаторики. Основы построения матрицы смежности. Геометрическая реализация графов. Исследование ключевых особенностей логики высказываний и операций.

Определение булевых функций. Замкнутые классы, теорема Поста. Моделирование релейно-контактных схем и сумматоров. Основные положения математической логики. Неформальное определение алгоритма. Конечные автоматы и некоторые классические алгоритмы.

Множества и основные операции над множествами. Упорядоченные пары и прямое произведение множеств. Основные законы и формулы комбинаторики. Логика высказываний: основные понятия, формулы, логические операции, составные высказывания и законы логики.

Особенность нахождения отношения эквивалентности на множестве А. Построение таблиц истинности для высказываний. Изучение замыкания над множеством булевой функции. Проведение исследования класса линейных функций. Нахождение максимального потока в сети.

Изложение методов анализа и синтеза булевых выражений, примеров реализации комбинационных схем, построенных по словесному описанию алгоритма функционирования: булевы преобразования двоичных последовательностей и области применения этих преобразований.

Доказывание тождеств в теории множеств. Рассмотрение основных положений комбинаторики. Определение Эйлеровой цепи в неориентированном графе. Решение задач по алгебре логики. Изучение возможностей решения системы уравнений с использованием метода Гаусса.

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

Общая теория о величинах, значение которых изменяются скачками. Построение многоугольника вероятностей. Биномиальный и пуассоновский законы дискретной случайной величины. Свойства системы математического ожидания. Геометрический закон распределения.

Розробка методів аналізу на осциляції дискретно представлених кривих та методів дискретної згладжуючої апроксимації осцилюючих дискретно представлених геометричних об'єктів. Розробка геометричних моделей розрахунку освітленості і коефіцієнтів світловтрат.

Методи моделювання плоских та просторових кривих ліній. Геометричні властивості і закономірності, що виникають в процесі моделювання кривих за їх натуральними рівняннями. Проектування перехрещень міських вулиць і доріг, рекомендації щодо їх класифікації.

Алгоритм формування дискретних моделей внутрішніх та зовнішніх еквідистант до замкнутих кривих з використанням апарату числових послідовностей. Визначення обмежень на параметри еквідистант для унеможливлення утворення на них петель та самоперетинів.

Аналіз проблеми обчислення дискретного логарифма. Алгоритм великого та малого кроку, його характеристика. Алгоритм, базований на обчисленні індексів. Побудова системи рівнянь для знаходження значень логарифмів. Алгоритм Поліга–Хелмана, його аналіз.

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

Дослідження дискретно-неперервних крайових задач для векторних рівнянь Теорія граничної точки й граничного круга Вейля на випадок систем диференціальних рівнянь першого порядку та квазідиференціальних рівнянь довільного скінченного порядку з мірами.

Постановка и решение задачи дискретного адаптивного управления на основе простейшей математической модели инфекционного заболевания, которая представляет собой систему нелинейных обыкновенных дифференциальных уравнений с запаздывающим аргументом.

Изучение математического дискретного преобразования Фурье периодических последовательностей и последовательностей конечной длины. Овладение программными средствами его вычисления в MATLAB с использованием алгоритмов быстрого преобразования Фурье.

Рассмотрение простейшей математической модели инфекционного заболевания, которая представляет собой систему нелинейных обыкновенных дифференциальных уравнений с запаздывающим аргументом. Оценка обеспечения энергетически оптимального иммунного ответа.

Анализ правил дифференцирования. Производные основных элементарных функций. Правило Лопиталя и его применение к вычислению пределов. Суть свойств неопределенного интеграла. Способы непосредственного подсчета вероятности. Главные элементы комбинаторики.