Рекурсивні функції: відмінності між версіями

 

=== Операція мінімізації ===

Позначимо через <math>\mu y(f(x_1, \dots, x_{n-1}, y) = x_n)</math> найменше значення <math>\alpha</math>, для якого <math>f(x_1, \dots, x_{n-1}, \alpha) = x_n</math>. Будемо вважати, що <math>\mu y(f(x_1, \dots, x_{n-1}, y) = x_n)</math> не визначено, якщо:

# значення <math>f(x_1, \dots, x_{n-1}, \alpha)</math> визначено для всіх <math>y < \alpha</math>, але відмінні від <math>x_n</math>, а значення <math>f(x_1, \dots, x_{n-1}, \alpha)</math> не визначено (&alpha; = 0, 1, 2, &hellip;) або