Экзаменационные вопросы по курсу дискретной математики
Понятие множества (определение, кардинальное число, булеан, способы задания множеств, диаграммы Венна). Операции над множествами. Законы теории множеств.
Бесконечные множества.
Понятие булевой функции. Элементарные функции.
Существенные и фиктивные переменные, равные функции, эквивалентные формулы.
Разложение функции по подмножеству переменных (с доказательством теоремы).
Частные случаи разложения (по одной переменной, по всем переменным, СДНФ, СКНФ).
Замыкание множества. Свойства замыкания. Все определения полной системы. Теорема о полноте системы булевых функций.
Первый замкнутый класс Т0 (с доказательством замкнутости), число всевозможных функций в нем. Второй замкнутый класс Т1 (с доказательством замкнутости), число всевозможных функций в нем.
Класс самодвойственных функций S (с доказательством замкнутости), число всевозможных функций в нем.
Класс монотонных функций.
Полином Жегалкина (определение, теорема).
Класс линейных функций, число всевозможных функций в нем.
Теорема Поста (необходимое и достаточное условие полноты системы булевых функций). Теорема о выделении подсистемы.
Геометрическое представление булевых функций. Понятие интервала.
Покрытие. Кратчайшее покрытие. Минимальное покрытие. Связь между покрытием и ДНФ заданной функции.
Понятие импликанты. Теорема Квайна. Троичные вектора. Алгоритм Квайна.
Таблица Квайна и ее покрытия. Алгоритм поиска всех безызбыточных покрытий (алгоритм Петрика). Определение минимальной и кратчайшей ДНФ.
Представление булевых функций с помощью карты Вейча. Минимизация функций по карте Вейча.
Частично определенные булевы функции. СДНФ для частично определенных булевых функций. Минимизация частично определенных функций.
Элементы дискретной математики П. А. Корнилов, Н. И. Никулина, Семенова О. Г. Элементы дискретной математики. Учебное пособие. Ярославль: Изд-во ягпу им. К. Д....