Название книги: Решение логических и игровых задач (логико-психологические этюды)

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