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