Онлайн-калькулятор призвания

Математическая энциклопедия » Что такое «Разрешения Проблема»?

Значение слова, определение и толкование термина

Разрешения Проблема

Razresheniya Problema

алгоритмическая проблема, в к-рой для заданного множества Атребуется построить алгоритм, разрешающий Аотносительно другого множества В, включающего [Разрешения Проблема. Фото 1] , т. е. такой алгоритм [Разрешения Проблема. Фото 2], к-рый применим ко всякому элементу из В, причем [Разрешения Проблема. Фото 3], если [Разрешения Проблема. Фото 4] , и [Разрешения Проблема. Фото 5], если [Разрешения Проблема. Фото 6]. Важным классом алгоритмич. проблем являются Р. п. для формальных теорий, то есть Р. п. множества всех доказуемых в теории формул (множество А).относительно множества всех формул теории (множество В).

Термин "Р. п." следует отличать от термина "проблема разрешимости", означающего вопрос о разрешимости той или иной математической (напр., алгоритмической) проблемы. В. Е. Плиско.

  • ВКонтакте

  • Facebook

  • Мой мир@mail.ru

  • Twitter

  • Одноклассники

  • Google+

См. также

  • соединения, содержащие S и используемые как удобрения. Сера, присутствующая в растениях в минер. или орг. форме (особенно богаты ею крестоцв

  • (антихолинергические, холиноблокирующие, холинолитики), лек. в-ва, предупреждающие, ослабляющие и прекращающие взаимод. нейромедиатора ац

  • лат. Sculptorсозвездие Южного полушария.