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


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

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

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


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Смотреть что такое "РАЗРЕШЕНИЯ ПРОБЛЕМА" в других словарях:

  • РАЗРЕШЕНИЯ ПРОБЛЕМА —     РАЗРЕШЕНИЯ ПРОБЛЕМА возникла в связи с осознанием невозможности провести некоторые построения дозволенными методами. Первыми примерами неразрешимых задач явились решение в радикалах уравнений выше четвертой степени и невозможность провести… …   Философская энциклопедия

  • разрешения проблема —         РАЗРЕШЕНИЯ ПРОБЛЕМА задача поиска алгоритма, решающего массовую проблему, состоящую из однотипных вопросов о конструктивных объектах (словах над фиксированным конечным алфавитом), ответы на которые даются с помощью некоторого алгоритма;… …   Энциклопедия эпистемологии и философии науки

  • Разрешения Проблема — или: Разрешимости пробленма, аЧ проблема нахождения для данной дедуктивной теории общего метода, позволяющего решать, может ли отдельное утверждение, сфорнмулированное в терминах теории, быть доказано в ней или нет. Этот общий метод, являющийся… …   Словарь терминов логики

  • Разрешения проблема —         важное понятие логики. Р. п. данного множества А конструктивных объектов (См. Конструктивные объекты) (относительно некоторого объемлющего множества V конструктивных объектов) называют проблему построения алгоритма, распознающего по… …   Большая советская энциклопедия

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

  • проблема — ы; ж. [греч. problēma] 1. Сложный вопрос, задача, требующий решения, исследования. П. происхождения человека. П. внеземных цивилизаций. Научные, методологические проблемы. Экономические, политические, экологические проблемы. Проблемы преподавания …   Энциклопедический словарь

  • ПРОБЛЕМА —         (от греч. преграда, трудность, задача), объективно возникающий в ходе развития познания вопрос или целостный комплекс вопросов, решение которых представляет существенный практич. или теоретич. интерес. Весь ход развития человеч. познания… …   Философская энциклопедия

  • Проблема обедающих философов — «Проблема обедающих философов»  классический пример, используемый в информатике для иллюстрации проблем синхронизации в дизайне параллельных алгоритмов и техник решения этих проблем. Проблема была сформулирована в 1965 году Эдсгером… …   Википедия

  • Проблема алмаза — Диаграмма наследования классов в виде алмаза. В объектно ориентированных языках программирования с поддержкой множественного наследования и структуры накопления знаний (knowledge organization) Проблема алмаза (diamond problem) … …   Википедия

  • ПРОБЛЕМА — (греч.). Задача, вопрос, предложенный для решения, вопрос, нерешенный в науке; спорный пункт, загадка, трудно разрешимая задача. В фигуральном значении: вещь трудно понимаемая, трудно объясняемая. Словарь иностранных слов, вошедших в состав… …   Словарь иностранных слов русского языка

Книги

Другие книги по запросу «РАЗРЕШЕНИЯ ПРОБЛЕМА» >>