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

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

Источник: Математическая энциклопедия на Gufo.me


Значения в других словарях

  1. Разрешения проблема — Важное понятие логики. Р. п. данного множества А конструктивных объектов (См. Конструктивные объекты) (относительно некоторого объемлющего множества V конструктивных объектов) называют проблему построения алгоритма... Большая советская энциклопедия
  2. РАЗРЕШЕНИЯ ПРОБЛЕМА — РАЗРЕШЕНИЯ ПРОБЛЕМА – возникла в связи с осознанием невозможности провести некоторые построения дозволенными методами... Новая философская энциклопедия
  3. разрешения проблема — РАЗРЕШЕНИЯ ПРОБЛЕМА — задача поиска алгоритма, решающего массовую проблему, состоящую из однотипных вопросов о конструктивных объектах (словах над фиксированным конечным алфавитом), ответы на которые даются с помощью некоторого алгоритма... Энциклопедия эпистемологии и философии науки