Операція примітивної рекурсії

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку

Опера́ція приміти́вної реку́рсії — двомісна операція, широко вживана в теорії рекурсивних функцій. Пара рекурсивних функцій: перша функція від змінних , а інша функція від змінних , утворює функцію від змінних за такою схемою:

Див. також[ред. | ред. код]

Джерела[ред. | ред. код]