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