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