Нумерация - вычислима, если вычислима:

вопрос

Правильный ответ:

Оставить комментарий

Отправить

• # Множество X из N разрешимо, если существует алгоритм:
• # Функция перечислима тогда и только тогда, когда
• # Если свойство R(x,y) - примитивно рекурсивно, то примитивно рекурсивно и свойство:
• # Если универсальное множество - главное, то его:
• # Отрицания свойств из класса :