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