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