Книга представляет собой введение в теорию программирования с уклоном применения в ней понятий и методов универсальной алгебры. Первая часть посвящена основным понятиям общей алгебры. Рассматриваются интуитивная теория множеств, основные понятия теории отношений универсальных алгебр. Значительное внимание уделено структурам, в частности структурам подалгебр, универсальных алгебр, с целью установления критериев полноты — необходимых и достаточных условий, при которых произвольная система элементов порождает данную алгебру.