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