primitive recursive
Of a function, capable of being constructed from the zero function, successor…Of a function, capable of being constructed from the zero function, successor function, and projection functions, by a finite number of applications of composition and recursion.
Значення
значень: 1(без ступенів порівняння)Of a function, capable of being constructed from the zero function, successor function, and projection functions, by a finite number of applications of composition and recursion.