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