А. В. Гохман и др. Сборник задач по математической логике и алгебре множеств. - Изд-во Саратовского университета, 1969.
Предлагаемый сборник задач составлен в соответствии с программой университетского курса «Элементы математической логики и алгебры множеств». Первые четыре параграфа посвящены двоичной булевой алгебре и ее применению в теории релейно-контактных схем, а также «счислению высказываний и предикатов. Большая часть задач двух последних параграфов связана с бинарными отношениями, которые получают все большее применение в различных областях математики.
Задачник снабжен ответами и указаниями, каждому разделу предпослано небольшое теоретическое введение.
Сборник может быть использован как пособие для учащихся Юношеских математических* школ и всех самостоятельно изучающих соответствующие разделы математики.
ОГЛАВЛЕНИЕ
Предисловие ко второму изданию ........3
§ 1. Двоичная булева алгебра ........ 5
§ 2. Приложение двоичной булевой алгебры к релейно-контактным схемам ..........11
§ 3. Исчисление высказываний ...... 18
§ 4. Исчисление предикатов........ 27
§ 5. Операции над множествами ......... 34
§ б. Бинарные отношения ........78
Ответы и указания
