Настоящая книга посвящена важным проблемам современной вычислительной техники. Излагаются вопросы логического проектирования каскадных схем (в частности, программируемых логических матриц) — широкого класса дискретных устройств, порожденного технологией больших интегральных схем. Описываются эффективные методы решения разнообразных задач анализа и синтеза этих устройств. В их основе лежат матричное представление структуры устройств и векторно-матричная интерпретация некоторых разделов булевой алгебры. Особое внимание уделяется реализации предлагаемых алгоритмов на компьютерах.Книга предназначена для специалистов в области вычислительной техники, дискретной математики и лиц, интересующихся использованием компьютеров для решения логических задач.