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

В теории функциональных систем рассматриваются следующие классы функций:

• булевы функции
• функции k -значной логики
• вычислимые функции

С каждым из этих классов естественным образом связываются операции, позволяющие из одних функций данного класса строить другие функции того же класса. Такими операциями являются операция суперпозиции (подстановка) , операция обратной связи, операция примитивной рекурсии и ${\displaystyle \mu }$ -операция (минимизация) . В результате получаются функциональные системы с операциями.

Литература

Яблонский С.В. Введение в дискретную математику: Учеб. пособие для вузов. — 2-е изд., перераб. и доп. — М. : Наука. Гл. ред. физ.-мат. лит., 1986. — 384 с.