Гохман А.В., Спивак М.А., Житомирский Г.И. и др. Сборник задач по математической логике и алгебре множеств

Саратов: Изд-во Сарат. ун-та, 1969. — 87 с.Первые четыре параграфа посвящены двоичной булевой алгебре и ее применению в теории релейно-контактных схем, а также исчислению высказываний и предикатов. Большая часть задач двух последних параграфов связана с бинарными отношениями, которые получают все большее применение в различных областях математики. Задачник снабжен ответами и указаниями, каждому разделу предпослано небольшое теоретическое введение.
Сборник может быть использован как пособие для учащихся Юношеских математических школ и всех самостоятельно изучающих соответствующие разделы математики.
Двоичная булева алгебра.
Приложение двоичной булевой алгебры к релейно-контактным схемам.
Исчисление высказываний.
Исчисление предикатов.
Операции над множествами.
Бинарные отношения.