База ответов ИНТУИТ

Основы теории вычислимых функций

<<- Назад к вопросам

Если свойство R(x, y) - примитивно рекурсивно, то примитивно рекурсивно и свойство:

(Отметьте один правильный вариант ответа.)

Варианты ответа
 (\forall y > z) \neg R(x, y)
 (\forall y \le z) R(x, y) (Верный ответ)
 (\neg \forall y \le z) R(x, y)
Похожие вопросы
Если свойство R(x,y) - примитивно рекурсивно, то примитивно рекурсивно и свойство:
Примитивно рекурсивно свойство:
Примитивно рекурсивно свойство:
Примитивно рекурсивно для примитивно рекурсивных операндов:
Примитивно рекурсивно для примитивно рекурсивных операндов:
Множество является примитивно рекурсивной, если его характеристическая функция:
Свойство A принадлежит классу \Pi_n, если для некоторого разрешимого свойства В:
Свойство A принадлежит классу \Sigma_n, если для некоторого разрешимого свойства В:
Выводящие из класса примитивно рекурсивных функций схемы рекурсии:
Если B(x,y) - некоторое разрешимое свойство, то свойства вида A(x) \Leftrightarrow \forall y : B(x,y) определяют свойства: