Определение: всякое разрешимое множество перечислимо, обратное не верно
вопрос заключается в том почему это так, особенно почему обратное не верно
заранее спасибо.
Мат. логика
Мат. логика
Последний раз редактировалось gepa1 30 ноя 2019, 09:12, всего редактировалось 1 раз.
Причина: test
Причина: test
Мат. логика
gepa1 писал(а):Source of the post
Определение: всякое разрешимое множество перечислимо, обратное не верно
Обратное на мой взгляд утверждение следующее: Если множество перечислимо, оно не обязательно будет разрешимым. He знаю, что такое разрешимое множество, напомните.
Последний раз редактировалось Таланов 30 ноя 2019, 09:12, всего редактировалось 1 раз.
Причина: test
Причина: test
Мат. логика
Таланов писал(а):Source of the postgepa1 писал(а):Source of the post
Определение: всякое разрешимое множество перечислимо, обратное не верно
Обратное на мой взгляд утверждение следующее: Если множество перечислимо, оно не обязательно будет разрешимым. He знаю, что такое разрешимое множество, напомните.
вопрос в том как это пояснить...
мн-во разрешимо, если его характеристическая ф-ция вычислима, a
мн-во перечислимо, если его арактеристическая ф-ция вычислима
Последний раз редактировалось gepa1 30 ноя 2019, 09:12, всего редактировалось 1 раз.
Причина: test
Причина: test
Мат. логика
gepa1 писал(а):Source of the post
вопрос в том как это пояснить...
мн-во разрешимо, если его характеристическая ф-ция вычислима, a
мн-во перечислимо, если его арактеристическая ф-ция вычислима
Из этого следуют одинаковые определения для разрешимых и перечислимых множеств, так-ли это на самом деле? Сомневаюсь.
Последний раз редактировалось Таланов 30 ноя 2019, 09:12, всего редактировалось 1 раз.
Причина: test
Причина: test
Мат. логика
Таланов писал(а):Source of the postgepa1 писал(а):Source of the post
вопрос в том как это пояснить...
мн-во разрешимо, если его характеристическая ф-ция вычислима, a
мн-во перечислимо, если его арактеристическая ф-ция вычислима
Из этого следуют одинаковые определения для разрешимых и перечеслимых множеств, так-ли это на самом деле? Сомневаюсь.
это я ошибся
мн-во разрешимо, если его характеристическая ф-ция вычислима, a
мн-во перечислимо, если его полухарактеристическая ф-ция вычислима
Последний раз редактировалось gepa1 30 ноя 2019, 09:12, всего редактировалось 1 раз.
Причина: test
Причина: test
Мат. логика
Последний раз редактировалось gepa1 30 ноя 2019, 09:12, всего редактировалось 1 раз.
Причина: test
Причина: test
Вернуться в «Дискретная математика»
Кто сейчас на форуме
Количество пользователей, которые сейчас просматривают этот форум: нет зарегистрированных пользователей и 80 гостей