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

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

Див. такожРедагувати

ДжерелаРедагувати