Книга представляет собой введение в теорию логического проектирования дискретных устройств В ней последовательно вводятся базисные понятия теории множеств и отношений, излагаются основы теории графов, исчислеанбяяния высказываний, логики предикатов, абстрактной булевой алгебры с различными интерпретациями Особое внимание уделяется задачам комбинаторной оптимизации и разделам логики, важным с точки зрения технических приложений Предназначается для специалистов в области проекаямябтирования дискретных устройств и может быть полезна для студентов и аспирантов, специализирующихся в данном направлении Авторы Аркадий Закревский Юрий Поттосин Людмила Черемисинова.