Докажите, что для каждого рекурсивно перечислимого отношения R существует рекурсивно перечислимое отношение S со следующми свойствами:
задан 1 Дек '19 0:38 logic |
Докажите, что для каждого рекурсивно перечислимого отношения R существует рекурсивно перечислимое отношение S со следующми свойствами:
задан 1 Дек '19 0:38 logic |
Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.
Присоединяйтесь!
отмечен:
задан
1 Дек '19 0:38
показан
104 раза
обновлен
1 Дек '19 0:38