алгоритмический аппарат различного уровня строгости и общности (от простых соотношений до операторов, функторов, категорий, алгебр)
математический аппарат различного уровня строгости и общности (от простых соотношений до операторов, функторов, категорий, алгебр)
формальный математический аппарат различного уровня сложности (от простых соотношений до операторов, функторов, категорий, алгебр)
формальный математический аппарат различного уровня строгости и общности (от простых соотношений до операторов, функторов, категорий, алгебр)