Шапиро С. И. Решение логических и игровых задач (логико-психологические этюды). — М.: Радио и связь, 1984.— 152 с, ил.— (Кибернетика)
Показана возможность построения алгоритмов решения широкого класса логических задач с использованием алгебры высказываний. Рассмотрены вопросы диагностики, анализа и синтеза релейно-контактных схем, задачи о расписании, задачи о счетчиках, автоматах и др.
Для интересующихся проблемами кибернетики и вычислительной техники.
ОГЛАВЛЕНИЕ
К читателю........................................................3
От автора............................................................5
I. АЛГЕБРА ВЫСКАЗЫВАНИЙ И ПРЕДИКАТОВ......................7
1 . Высказывание, предикат..............................7
2. Равносильные формулы алгебры высказываний.....18
3. Импликация.....................23
4. Нормальные формы. Тождественные формулы. Логические следствия.........34
5. Совершенные нормальные формы...........40
6. Контактные схемы (КС)................47
7. Кванторные предикаты................55
Задачи второй части ................................61
I. МЕТОДЫ РЕШЕНИЯ ЛОГИЧЕСКИХ ЗАДАЧ...........63
1. Решение задач на приведение множеств в соответствие 63
2. Решение логических задач методом характеристических уравнений......72
3. Арифметические методы решения логических задач ....... 99
4. Задачи разных типов................104
5. Логические и игровые задачи, алгоритмы, решения ... 132
Список литературы....................................151
Предметный указатель...................152
