Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов

5-е издание, исправленное. — М.: Физматлит, 2004. — 256 с. — ISBN: 5-9221-0026-2.В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов.
Книга предназначена для активного изучения математической логики и смежных с ней наук. Состоит из трех частей: «Теория множеств», «Математическая логика» и «Теория алгоритмов».
Задачи снабжены указаниями и ответами.
Все необходимые определения сформулированы в кратких теоретических введениях к каждому параграфу.
Сборник может быть использован как учебное пособие для математических факультетов университетов, педагогических институтов, а также в технических вузах при изучении кибернетики и информатики.
Для математиков-алгебраистов, логиков и кибернетиков.Предисловие к четвертому изданию.
Предисловие к первому изданию.
Теория множеств.
Операции над множествами.
Отношения и функции
Специальные бинарные отношения.
Кардинальные числа.
Ординальные числа.
Действия над кардинальными числами.
Математическая логика.
Алгебра высказываний.
Функции алгебры логики.
Исчисления высказываний.
Язык логики предикатов.
Выполнимость формул логики предикатов.
Исчисления предикатов.
Аксиоматические теории.
Фильтрованные произведения.
Аксиоматизируемые классы.
Теория алгоритмов.
Частично рекурсивные функции.
Машины Тьюринга.
Рекурсивные и рекурсивно перечислимые множества.
Нумерации Клини и Поста.
Ответы, решения, указания.
Список литературы.
Предметный указатель.