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

'''Опера́ція приміти́вної реку́рсії'''&nbsp;— двомісна [[операція]], широко вживана в теорії [[рекурсивна функція|рекурсивних функцій]]. Кожній такій парі рекурсивних функцій, в якій одна функція&nbsp;— функція від <math>\!n+2</math> змінних <math>\! h(x_1, ..., x_{n+1}, x\ x_{n+2})</math>, а інша&nbsp;— функція від <math>\!n</math> [[змінна|змінних]] <math>\!g(x_1, ..., x_{n})</math> ,вона складає [[функція (математика)|функцію]] від <math>\!n+1</math> змінних <math>\!f(x_1, ..., x_{n+1})</math> за такою схемою:

<math>\!f(x_1, ..., x_n, \ 0)= g(x_1, ..., x_{n})</math>

<math>\!f(x_1, ..., x_n, \ n+1)=h(x_1, ..., x_n, nf\ n, \ f(x_1, ..., x_n, \ n))</math>