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

167

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

Значения в других словарях
Разрешения проблема

важное понятие логики. Р. П. Данного множества А конструктивных объектов (См. Конструктивные объекты) (относительно некоторого объемлющего множества V конструктивных объектов) называют проблему построения алгоритма, распознающего по всякому объекту из множества V, принадлежит ли он множеству А или нет. Р. П. (более подробно — Р. П. Для доказуемости) формальной системы (или исчисления (См. Исчисление)) называется Р. П. Множества всех доказуемых формул этой системы относительно множества всех её ..

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

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

Разделение Социально-гуманитарных Наук На Социальные и Гуманитарные Науки

РАЗДЕЛЕНИЕ СОЦИАЛЬНО-ГУМАНИТАРНЫХ НАУК НА СОЦИАЛЬНЫЕ И ГУМАНИТАРНЫЕ НАУКИ. ..

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

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

Дополнительный поиск Разрешения Проблема Разрешения Проблема

Добавить комментарий
Комментарии
Комментариев пока нет

На нашем сайте Вы найдете значение "Разрешения Проблема" в словаре Энциклопедия эпистемологии и философии науки, подробное описание, примеры использования, словосочетания с выражением Разрешения Проблема, различные варианты толкований, скрытый смысл.

Первая буква "Р". Общая длина 19 символа