Множество А - разрешимо, а B - перечислимое. Верно, что B \ A - тоже перечислимое? задан 16 Мар '16 3:40 raksus_praim |
Множество А - разрешимо, а B - перечислимое. Верно, что B \ A - тоже перечислимое? задан 16 Мар '16 3:40 raksus_praim |
Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.
Присоединяйтесь!
отмечен:
задан
16 Мар '16 3:40
показан
153 раза
обновлен
16 Мар '16 3:59
Верно. Если есть процедура, печатающая все элементы B, то попросим её перед тем, как напечатать число, проверить алгоритмом, принадлежит ли оно А. Если принадлежит, то попросим его не печатать. Тогда будет напечатано в точности B \ A.