Ш 23 |
Шапиро, С. И. Решение логических и игровых задач (логико-психологические этюды) [Текст] / С. И. Шапиро. – М. : Радио и связь, 1984. – 152с. – 15000.
Показана возможность построения алгоритмов решения широкого класса логических задач с использованием алгебры высказываний. Рассмотрены вопросы диагностики, анализа и синтеза релейно-контактных схем, задачи о расписании, задачи о счетчиках, автоматах и др. Для интересующихся проблемами кибернетики и вычислительной техники. |