Изложены основные понятия теории множеств, общей алгебры, логики, теории графов, теории алгоритмов и формальных систем.

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