В книге с единых позиций рассматриваются функциональные системы с
операцией суперпозиции и «традиционными» множествами функций — функций многозначной логики, функций натурального аргумента и автоматных функций. Основное содержание книги концентрируется вокруг двух взаимосвязанных тем: построение и анализ порождающих множеств и проблема полноты. Излагаются ставшие классическими результаты А.В. Кузнецова, СВ. Яблонского и И. Розенберга по проблеме полноты в системе Pk. Приводится целая серия наиболее значимых результатов по другим функциональным системам, которые получены отечественными и зарубежными математиками в последние годы. Многие теоремы даются с не публиковавшимися ранее доказательствами. Для научных сотрудников и преподавателей высшей школы, работающих в области дискретной математики.