вычислимые - Разрешимость

-1 Разрешимо ли множество Y? [закрыт]

0 Перечислимость/неперечислимость множеств [закрыт]

-1 Докажите, что существует вычислимая в обе стороны биекция между множеством простых чисел и {0, 1}∗.

-1 Докажите, что множество K неразрешимо для универсальной ф-ции

0 Существует ли правая единица (нейтральный элемент) для операции аппликации в лямбда-исчислении?

0 Доказательство вычислимой функции [закрыт]

-1 Существуют ли такие множества X, Y ⊆ N, что X разрешимо, X ∪Y разрешимо, а Y не разрешимо? [закрыт]

0 Вычислимость

-1 Докажите, что множество рациональных чисел, меньших e, разрешимо. [закрыт]

-1 Докажите, что если A, B — перечислимые множества, то и множество A × B перечислимо.