Если и Y - разрешимо, то:

вопрос

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

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

Отправить

• # Множество является примитивно рекурсивной, если его характеристическая функция:
• # Последовательность вычислима, если существует:
• # Термину "k - местная" удовлетворяет функция:
• # Образцом не является (n - натуральное, x - вещественное число):
• # Тезис Тьюринга: