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

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

  Предлагаемый сборник задач составлен в соответствии с программой университетского курса «Элементы математической логики и алгебры множеств».
Первые четыре параграфа посвящены двоичной булевой алгебре и ее применению в теории релейно-контактных схем, а также «счислению высказываний и предикатов. Большая часть задач двух последних параграфов связана с бинарными отношениями, которые получают все большее применение в различных областях математики.
Задачник снабжен ответами и указаниями, каждому разделу предпослано небольшое теоретическое введение.
Сборник может быть использован как пособие для учащихся Юношеских математических школ и всех самостоятельно изучающих соответствующие разделы математики,

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


Примеры.
По установленному сигналу каждый игрок замыкает или размыкает выключатель, находящийся под его управлением. Если оба делают одно и то же, то выигрывает игрок А, в противном случае — игрок В. Построить такую схему, чтобы при выигрыше А зажигалась лампочка.

Комитет из трех человек решил применить электрическую схему для регистрации тайного голосования простым большинством голосов. Построить такую схему, при использовании которой голосующий нажимал бы на кнопку, причем в случае принятия решения загоралась бы сигнальная лампочка.

Комитет состоит из пяти человек. Решение выносится большинством голосов. Если председатель голосует против, то решение не принимается. Построить такую схему, чтобы, голосуя, каждый из пяти человек нажимал бы на кнопку и в случае принятия решения зажигалась бы сигнальная лампочка.

Группа студентов держит экзамен: отвечая на три вопроса, каждый из них должен установить, какие из трех утверждений истинны и какие ложны. Построить такую схему, чтобы при утвердительном ответе экзаменующийся нажимал бы на кнопку и чтобы схема показывала число правильных ответов.

ОГЛАВЛЕНИЕ.
Предисловие ко второму изданию.
§1. Двоичная булева алгебра.
§2. Приложение двоичной булевой алгебры к релейно-контактным схемам.
§3. Исчисление высказываний.
§4. Исчисление предикатов.
§5. Операции над множествами.
§6. Бинарные отношения.
Ответы и указания.



Бесплатно скачать электронную книгу в удобном формате, смотреть и читать:
Скачать книгу Сборник задач по математической логике и алгебре множеств, Гохман А.В., Спивак М.А., Розен В.В., 1969 - fileskachat.com, быстрое и бесплатное скачивание.

Скачать djvu
Ниже можно купить эту книгу по лучшей цене со скидкой с доставкой по всей России.Купить эту книгу



Скачать - djvu - Яндекс.Диск.
Дата публикации:





Хештеги: :: :: :: ::


Следующие учебники и книги:
Предыдущие статьи: