Образец является:

Образец - это:

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

Образец - это функция из N в N, определенная:

Образцом является:

Образцом является:

Композиция двух вычислимых функций является:

Множество является примитивно рекурсивной, если его характеристическая функция:

Бесконечное множество, не содержащее бесконечных разрешимых подмножеств является:

Множество всех программ, останавливающихся хотя бы на одном входе является:

Отношение "" является: