Изложены основные понятия теории множеств, общей алгебры, логики, теории графов, теории алгоритмов и формальных систем. По сравнению с изданием 1980 г. существенно переработана и расширена глава по сложности вычислений, добавлен раздел о раскраске графов, включены новые главы по теории формальных языков и линейному программированию. Для инженеров, специализирующихся в области автоматизированного управления и проектирования, вычислительной техники, системного программирования, передачи информации, а также студентов и аспирантов соответствующих специальностей.