(а) Докажите, что декартово произведение двух перечислимых подмножеств N перечислимо. (b) Докажите, что декартово произведение двух разрешимых подмножеств N разрешимо.

задан 12 Июн 2:18

Пусть есть программа, печатающая множество A, и другая программа печатает B. Тогда для любого m, напечатанного первой программой, и любого n, напечатанного второй, печатаем пару (m,n).

Второй факт примерно так же очевиден: берём пару (m,n) и проверяем, правда ли, что m принадлежит A и при этом n принадлежит B.

(12 Июн 2:25) falcao
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

отмечен:

×3,355

задан
12 Июн 2:18

показан
74 раза

обновлен
12 Июн 2:25

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru