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