Вычислимые универсальные функции, не являющиеся главными:

Процедура замены вычислимых функции на функции, вычислимые относительно всюду определенной функции называется:

Если функция f дает по номеру m функции другой номер s этой функции, то:

Множество номеров нигде не определенной функции:

Область определения универсальной функции будет:

По любой вычислимой функции можно указать:

Нумерация, соответствующая главной универсальной функции называется:

Определению главной универсальной функции адекватно утверждение:

Частично рекурсивны функции получаемые из базисных с помощью:

Частично рекурсивны функции, получаемые из базисных с помощью:

Функции, вычисляемые программой с полным ветвлением и циклом "для", но без циклов "пока":