График любой функции, вычислимой программой с конечным числом переменных:
Всякая функция, вычислимая программой с конечным числом переменных:
Процедура замены вычислимых функции на функции, вычислимые относительно всюду определенной функции называется:
Если функция f дает по номеру m функции другой номер s этой функции, то:
Область определения универсальной функции будет:
Вычислимые универсальные функции, не являющиеся главными:
По любой вычислимой функции можно указать:
Множество номеров нигде не определенной функции:
Частично рекурсивны функции получаемые из базисных с помощью:
Нумерация, соответствующая главной универсальной функции называется: