Учебное пособие представляет собой введение в теорию надежности, контроля исправности и диагностики неисправностей двух фундаментальных классов управляющих систем: контактных схем и схем из функциональных элементов. Здесь в доступной форме изложены основные подходы к синтезу надежных схем из ненадежных элементов, обоснованы содержательность и возможность использования принципа самокорректирования схем, представлены логические способы контроля исправности и диагностики неисправностей схем, а также некоторые методы синтеза легкотестируемых схем и оценки длины тестов. Вводная первая глава, содержащая необходимые элементы алгебры логики, и различные иллюстративные примеры освобождают читателя от какой-либо предварительной подготовки.

Для студентов, аспирантов, а также для научных работников и инженеров, интересующихся дискретной математикой и математической кибернетикой.