Комбинаторные методы решения логических задач

Рассмотрены методы: кругов Эйлера, с использованием графов и таблиц, перебора предположений об истинности, выбора стратегии и др.; задачи: турнирные, о взвешивании, о переливании.

Представлены примеры решений и упражнения для самостоятельного решения с ответами.

Скачать книгу можно бесплатно по данной ссылке: Скачать