Вы находитесь на странице: 1из 2

ПРОГРАММА КУРСА «ДИСКРЕТНАЯ МАТЕМАТИКА»-2 (экзамен)

I. Булевы функции.
1)Основные понятия (остаточная, единичная, нулевая, существенные и фиктивные переменные, k-
значный n-мерный куб, отображения k-значной логики, k-значная логика).. КНФ, ДНФ.
2) Минимизация булевых ф-ий в классе ДНФ. Разложение Шеннона. Предельное разложение
Шеннона. Двойственное предельное разложение Шеннона.
3). Понятия суперпозиции системы. Полная система. 5 классов булевых функций. Критерий
полноты (Поста-Яблонского). Возможные базисы в P2 с нуль-, одно- и двуместными операциями.
Булевы алгебры.
4) Логические уравнения. Тривиальные методы решения логических уравнений.

II. Теория графов.


1) Основные понятия (мультиграф, псевдограф, орграф, подграф, смежность и т.д.). изоморфизм
графов. Удаление и добавление вершин (ребер). Матричные представления графов.
2) Маршруты и связность. Понятия: цепь, простая цепь, цикл, простой цикл, компонента связности,
обхват, окружение. Фактор. Степень вершины. Двудольный граф. Точка сочленения. Блок. Разрез.
Деревья. Сеть. Т. Менгера-Уитни.
3) Потоки в сетях. Алгоритм Л.Форда-Д.Фалкерсона.
4) Обходы графов. Эйлеровы графы. Алгоритм Флери. Гамильтоновы графы. Эйлеровы цепи в
бесконечных графах.
5) Покрытия и независимость. Критические вершины и ребра.
6) Планарность. Основные понятия. Т. Понтрягина-Куратовского.
7) Раскраски. Основные понятия. Хроматическое число. Т. о пяти красках. Гипотеза четырех красок.
8) Критические графы.
9) Орграфы. Орграфы и соединимость. Ориентированная двойственность и бесконтурные орграфы.
Принцип ориентированной двойственности. Орграфы и матрицы.

III. Элементы теории чисел.


1) Делимость в кольце целых чисел.
2) Метод бесконечного спуска.
3) Сравнения и классы вычетов.

IV. Коды и кодирование.


1) Основные понятия. Проблема кодирования. Неравномерное кодирование.
2) оптимальный код и его свойства.
3) Схема алфавитного кодирования. Свойство префиксности. Однозначность декодирования.
префиксные коды.
4) коды Хемминга. Структура кода Хемминга.

V. Абстрактные автоматы и формальные языки.


1) абстрактные автоматы и автоматные соответствия.
2) анализ конечных автоматов.
3) абстрактный синтез конечных автоматов.
4) структурный синтез конечных автоматов.
5) минимизация конечных автоматов.
6) языки и грамматики. Формальные грамматики. Основные понятия. Иерархия Хомского.
7) Особенности КС-грамматик. Автоматы с магазинной памятью.
8) эксперименты с автоматом; основные понятия. Классификация экспериментов с автоматом.
9) Машины Тьюринга и рекурсивные функции. Тезис Черча.
10) конечный объект, конструктивный объект. Локальные свойства и действия. Нормальные
алгорифмы Маркова.