7.1. Частично рекурсивные функции

Под числовыми функциями мы понимаем функции f: Nⁿ  N, где N =  – множество всех натуральных чисел x  0, Nⁿ = {(x₁,…,x_n): x₁N,…,x_nN} – его декартова степень. Частичной (числовой) n-местной функцией называется функция f:  D  N, определенная на некотором подмножестве D  Nⁿ декартовой степени. Обозначим D через Dom(f) и будем называть её областью определения частичной функции f. Для частичной n-местной функции f будем применять обозначения f: Nⁿ  N.