Монография представляет собой введение в теорию программирования с уклоном применения в ней понятий и методов универсальных алгебр. Первая часть посвящена основным понятиям общей алгебры. Рассматриваются интуитивная теория множеств, основные понятия теории отношений и универсальных алгебр. Значительное внимание уделено структурам, в частности структурам подалгебр универсальных алгебр, с целью установления критериев полноты — необходимых и достаточных условий, при которых произвольная система элементов порождает данную алгебру. Это и многое другое вы найдете в книге Алгебра. Языки программирования (В. М. Глушков, Г. Е. Цейтлин, Е. Л. Ющенко)