Шапиро С.И. Решение логических и игровых задач

М.: Радио и связь. 1984 г. – 152 с.
Показана возможность построения алгоритмов решения широкого класса логических задач с использованием алгебры высказываний. Рассмотрены вопросы диагностики, анализа и синтеза релейно-контактных схем, задачи о расписании, задачи о счетчиках, автоматах и др.Методы дискретной математики. Развитие математического и комбинаторного мышления у учащихся средних и высших учебных заведений.
Учителя средней школы и преподаватели математики вузов могут использовать материал книги для внеклассных и внеаудиторных занятий со школьниками и студентами.
Всем специалистам, которые по долгу своей службы должны сталкиваться с нестандартными ситуациями и нетиповыми решениями.Содержание:
Алгебра высказывании и предикатов.
Высказывание, предикат.
Равносильные формулы алгебры высказываний.
Импликация.
Нормальные формы. Тождественные формулы. Логические следствия.
Совершенные нормальные формы.
Контактные схемы (КС).
Кванторные предикаты.
Задачи второй части.
Методы решения логических задач.
Решение задач на приведение множеств в соответствие.
Решение логических задач методом характеристических уравнений.
Арифметические методы решения логических задач.
Задачи разных типов.
Логические и игровые задачи, алгоритмы, решения.
Список литературы.
Предметный указатель.