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

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

:<math>\!f(x_1, ..., x_m, \ 0)= g(x_1, ..., x_{m})</math>

* [[Енциклопедія кібернетики]],{{ЕК}} т. '''2''', ст. 129.