Представленная книга содержит в себе начальные сведения из области теории надежности и технической диагностики устройств и систем автоматики и вычислительной техники. Книга содержит три раздела. В первом рассмотрены методы формального описания устройств и систем автоматики и вычислительной техники, основы алгебры логики, методы анализа и синтеза устройств и систем автоматики. Особое внимание уделено проблеме синтеза самопроверяемых и отказоустойчивых структур. Второй раздел посвящен теории технической диагностики, где рассмотрены математические модели устройств с позиции технической диагностики, основные методы тестового и функционального диагностирования комбинационных устройств и устройств с памятью. Третий раздел содержит начальные сведения из области теории надежности, приведены методы расчета надежности, а также даются основы синтеза надежных структур и освещены подходы к оценке показателей их надежности, отказоустойчивости и безопасности. Учебник предназначен для студентов, обучающихся по программам специалитета «Наземные транспортно-технологические средства», «Системы обеспечения движения поездов», «Подвижной состав железных дорог» и бакалавриата направлений подготовки «Технология транспортных процессов», «Наземные транспортно-технологические комплексы», «Эксплуатация транспортно-технологических машин и комплексов», «Автоматизация технологических процессов и производств», «Управление в технических системах».