РАЗРЕШЕНИЯ ПРОБЛЕМА — РАЗРЕШЕНИЯ ПРОБЛЕМА возникла в связи с осознанием невозможности провести некоторые построения дозволенными методами. Первыми примерами неразрешимых задач явились решение в радикалах уравнений выше четвертой степени и невозможность провести… … Философская энциклопедия
разрешения проблема — РАЗРЕШЕНИЯ ПРОБЛЕМА задача поиска алгоритма, решающего массовую проблему, состоящую из однотипных вопросов о конструктивных объектах (словах над фиксированным конечным алфавитом), ответы на которые даются с помощью некоторого алгоритма;… … Энциклопедия эпистемологии и философии науки
Разрешения Проблема — или: Разрешимости пробленма, аЧ проблема нахождения для данной дедуктивной теории общего метода, позволяющего решать, может ли отдельное утверждение, сфорнмулированное в терминах теории, быть доказано в ней или нет. Этот общий метод, являющийся… … Словарь терминов логики
разрешения проблема (разрешимости проблема) — проблема нахождения для данной дедуктивной теории общего метода, позволяющего решать, может ли отдельное утверждение, сформулированное в терминах теории, быть доказано в ней или нет. Этот общий метод, являющийся эффективной процедурой… … Словарь терминов логики
Разрешения проблема — важное понятие логики. Р. п. данного множества А конструктивных объектов (См. Конструктивные объекты) (относительно некоторого объемлющего множества V конструктивных объектов) называют проблему построения алгоритма, распознающего по… … Большая советская энциклопедия
проблема — ы; ж. [греч. problēma] 1. Сложный вопрос, задача, требующий решения, исследования. П. происхождения человека. П. внеземных цивилизаций. Научные, методологические проблемы. Экономические, политические, экологические проблемы. Проблемы преподавания … Энциклопедический словарь
ПРОБЛЕМА — (от греч. преграда, трудность, задача), объективно возникающий в ходе развития познания вопрос или целостный комплекс вопросов, решение которых представляет существенный практич. или теоретич. интерес. Весь ход развития человеч. познания… … Философская энциклопедия
Проблема обедающих философов — «Проблема обедающих философов» классический пример, используемый в информатике для иллюстрации проблем синхронизации в дизайне параллельных алгоритмов и техник решения этих проблем. Проблема была сформулирована в 1965 году Эдсгером… … Википедия
Проблема алмаза — Диаграмма наследования классов в виде алмаза. В объектно ориентированных языках программирования с поддержкой множественного наследования и структуры накопления знаний (knowledge organization) Проблема алмаза (diamond problem) … … Википедия
ПРОБЛЕМА — (греч.). Задача, вопрос, предложенный для решения, вопрос, нерешенный в науке; спорный пункт, загадка, трудно разрешимая задача. В фигуральном значении: вещь трудно понимаемая, трудно объясняемая. Словарь иностранных слов, вошедших в состав… … Словарь иностранных слов русского языка
, т. е. такой алгоритм 
, к-рый применим ко всякому элементу из В, причем 
, если 
, и 
, если 
. Важным классом алгоритмич. проблем являются Р. п. для формальных теорий, то есть Р. п. множества всех доказуемых в теории формул (множество А).относительно множества всех формул теории (множество В).