Вопросы к экзаменам по ДМ (ПИ)
I МНОЖЕСТВА
- Понятие множества. Операции над множествами
- Диаграммы Эйлера-Венна. Степень-множество
- Понятие алгебры, полугруппы, группы. Алгебра множеств
- Тождества алгебры множеств. Теоремы 1, 2, 3. Метод математической индукции
- Кортеж. Декартово произведение. Свойства декартовых произведений.
- Отношение. Область определения, область значения отношения. Общие свойства отношений
- Матрица отношения. Граф отношения. Табличное представление отношений
- Симметризация отношений. Сечения отношения. Композиция отношений
- Отношение эквивалентности. Классы эквивалентности. Свойства классов эквивалентности
- Отношения порядка. Отношение частичного и строгого порядка. Отношение предпорядка.
- Отношение толерантности. Функции
- Эквивалентные множества. Мощность множества. Счетные множества
II МАТЕМАТИЧЕСКАЯ ЛОГИКА
- Предмет математической логики. Высказывания. Операции над высказываниями
- Формулы алгебры высказываний. Таблицы истинности.
- Равносильности алгебры высказываний и их доказательства
- Схемы логически правильных рассуждений
- Предикаты. Кванторы. Связанные и свободные переменные
- Формулы алгебры предикатов. Связь кванторов и логических операций
- Равносильности алгебры предикатов. Способы их доказательства
- Функции алгебры логики (ФАЛ). Аналитическое и табличное представление.
- Основные функции одной и двух переменных
- Равносильные ФАЛ. Доказательства равносильных представлений ФАЛ.
- ДНФ, КНФ, ДСНФ, КСНФ
- Перевод ФАЛ, заданных таблично в ДСНФ, КСНФ
- Перевод ФАЛ, заданных аналитически в ДСНФ, КСНФ
- Минимизация ДСНФ, КСНФ методом карт
- Минимизация ДСНФ, КСНФ методом неопределенных коэффициентов
III ГРАФЫ
- Понятие графа, отношение Гn(х), Г-n(х).
- Пути и маршруты, циклы, петли.
- Подграфы.
- Типы графов.
- Матричные представления графов
- Связность и компоненты графа
- Нахождения сильных компонент
- Базы и антибазы графа.
- Независимые множества.
- Клики в графе.
- Операции над графами
- Доминирующие множества и их применение
- Задача о наименьшем покрытии. Упрощения ЗНП.
- Приложения ЗНП
- Задача о раскраске-теоремы и гипотезы. Первый способ раскраски графа
- Второй и третий способ раскраски графа
- Приложения задачи о раскраске
IV Теория автоматов
- Понятие автомата. Функционирование автомата.
- Графический способ задания автомата. Применение автомата
V Комбинаторика
47. Предмет комбинаторики. Постановка комбинаторных задач
48. Размещения.
49. Перестановки.
50. Сочетания
|