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

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

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

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

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

-1 Верно ли, что D перечислимо? [закрыт]

0 Главные вычислимые функции

-1 Докажите, что найдется бесконечно много таких p, что Uˆ(p, x) = 2018 для любого x. [закрыт]

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

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

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