Зуев Ю.А., Садыкова А.Р. Дискретная математика

Учебное – практическое пособие для студентов специальностей 2202 и 2713 всех форм обучения

Содержание.
Множества.
Определения и обозначения.
Операции над множествами.
Свойства операций.
Мощность множества.
Прямое произведение множеств.
Вопросы для самоконтроля по теме.
Тест по теме.
Отношения, функции, алгебраические.
структуры, морфизмы.
Бинарные отношения.
Функции.
Алгебраические структуры и морфизмы.
Вопросы для самоконтроля по теме.
Тест по теме.
Булевы функции.
Определение и основные свойства.
Дизъюнктивная и конъюнктивная нормальные формы.
Упрощение д. н. ф.
Вопросы для самоконтроля по теме.
Тест по теме.
Элементы математической логики.
Исчисление высказываний.
Логическое следствие.
Предикаты и кванторы.
Вопросы для самоконтроля по теме.
Тест по теме.
Алгоритмы и машина Тьюринга.
Понятие алгоритма.
Алгоритм Евклида.
Машина Тьюринга.
Алгоритмически неразрешимые проблемы.
Вопросы для самоконтроля по теме.
Тест по теме.
Задачи для самостоятельного решения.
Итоговый тест.
Рекомендуемая литература.
Словарь.
Ответы к тестам.