-1
голосов
0
ответов
130 показов

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

Множество двоичных слов X разрешимо. Множество Y состоит из двоичных слов, некоторый пре-фикс каждого из которых принадлежит множеству X. Разрешимо ли ...
-1
голосов
0
ответов
112 показов

Пусть множество X ⊆ N × N перечислимо. Перечислимо ли множество Y ⊆ X таких пар (a, b) ∈ X,что произведение a × b делится на 15?
-1
голосов
0
ответов
106 показов

Пусть множество X двоичных слов перечислимо. Докажите, что тогда перечислимо и множество Pпрефиксов слов из X.
-1
голосов
0
ответов
102 показа

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

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

Пусть S — разрешимое множество натуральных чисел. Множество D состоит из всех простых де-лителей множества S. Верно ли, что D перечислимо?
-1
голосов
0
ответов
83 показа

Докажите, что множество рациональных чисел, меньших e, разрешимо.
0
голосов
0
ответов
38 показов

$%f(x): \mathbb{N}\to\mathbb{N}$% ограничена сверху и не убывает. Верно ли, что $%f$% вычислима?
0
голосов
0
ответов
111 показов

Здравствуйте. Помогите пожалуйста с задачкой:Пусть задана некоторая главная универсальная нумерация вычислимых функций. Докажите, что множествопар (n, ...
0
голосов
0
ответов
142 показа

Пусть U(p, x) - главная универсальная вычислимая функция. Докажите, что найдется бесконечно много таких р, что U(p, x) = x для любых х
0
голосов
0
ответов
131 показ

Пусть U - универсальная. Пусть V(n, x) = U(n - 1, x), если n > 0 и V(n, x) = 0 иначе. Будет ли V универсальной?
0
голосов
0
ответов
98 показов

Множество А - разрешимо, а B - перечислимое. Верно, что B \ A - тоже перечислимое?
1
голос
1
ответ
204 показа

Постройте вычислимую биекцию между N и N \ {p^2 | p - натуральное}
0
голосов
0
ответов
175 показов

Как найти разрешимое подмножество A натурального ряда и вычислимую функцию f: N --> N, такие, что полный прообраз А при функции f неразрешим.
на странице153050
Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru