Операція найменшого кореня
Матеріал з Вікіпедії — вільної енциклопедії.
Операція найменшого кореня — операція, що зіставляє кожній рекурсивній функції від n змінних рекурсивну функцію
від n − 1 змінних.
Значення дорівнює такому найменшому числу k, що
і для всіх z < k функція
визначена і не дорівнює нулю. Якщо для деякого фіксованого значення
такого k не існує, то
вважається невизначеною при заданих фіксованих значеннях.
[ред.] Джерела інформації
- Енциклопедія кібернетики, т. 2, с. 129.
[ред.] Дивіться також
![]() |
Це незавершена стаття з математики. Ви можете допомогти проекту, виправивши або дописавши її. |