Сборник задач по математической логике и алгебре множеств

Abstract

Аннотация Предлагаемый сборник задач составлен в соответствии с программой университетского курса Элементы математической логики и алгебры множеств. Первые четыре параграфа посвящены двоичной булевой алгебре и ее применению в теории релейно-контактных схем, а также исчислению высказываний и предикатов. Большая часть задач двух последних параграфов связана с бинарными отношениями, которые получают все большее применение в различных областях математики. Задачник снабжен ответами и указаниями, каждому разделу предпослано небольшое теоретическое введение. Сборник может быть использован как пособие для учащихся Юношеских математических школ и всех самостоятельно изучающих соответствующие разделы математики. Другие книги по математической логике и алгебре множеств на сайте: Гилберт Д., Аккерман В. Основы теоретической логики Гилберт Д., Бернайс П. Основания математики Р. Грэхем, Д. Кнут, О. Паташник Конкретная математика. Основание информатики Бурбаки Н. Основные структуры анализа. Теория множеств