Математическая энциклопедия

РАЗРЕШЕНИЯ ПРОБЛЕМА

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

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


  1. разрешения проблема—РАЗРЕШЕНИЯ ПРОБЛЕМА важное понятие логики. Р. п. данного множества А конструктивных объектов iотносительно некрого объемлющего множества V iконструктивных объектов наз. п...Большая советская энциклопедия
  2. разрешения проблема—важное понятие логики. Р. п. данного множества А emконструктивных объектов См. Конструктивные объекты относительно некоторого объемлющего множества V конструктивных объек...Большая Советская энциклопедия II
  3. разрешения проблема—или Разрешимости пробленма аЧ проблема нахождения для данной дедуктивной теории общего метода позволяющего решать может ли отдельное утверждение сфорнмулированное в терми...Словарь логики
  4. разрешения проблема—РАЗРЕШЕНИЯ ПРОБЛЕМА или Разрешимости проблема проблема нахождения для данной дедуктивной теории общего метода позволяющего решать может ли отдельное утверждение сформули...Словарь по логике
  5. разрешения проблема—РАЗРЕШЕНИЯ ПРОБЛЕМА РАЗРЕШЕНИЯ ПРОБЛЕМА возникла в связи с осознанием невозможности провести некоторые построения дозволенными методами. Первыми примерами неразрешимых з...Философская энциклопедия
  6. разрешения проблема—один из наиболее важных видов массовых проблем. Р. п. данного множества А конструктивных объектов относительно некрого объемлющего множества V конструктивных объектов наз...Философская Энциклопедия (в 5 томах)
  7. разрешения проблема—одна из осн. проблем встающих в связи с построением формализованных дедуктивных теорий. Ее положительное или отрицательное решение для каждой конкретной формальной теории...Философский энциклопедический словарь
  8. разрешения проблема—РАЗРЕШЕНИЯ ПРОБЛЕМА задача поиска алгоритма emрешающего массовую проблему состоящую из однотипных вопросов о конструктивных объектах словах над фиксированным конечным ал...Энциклопедия эпистемологии и философии науки