РАЗРЕШЕНИЯ ПРОБЛЕМА
важное понятие
логики. Р. п. данного множества А конструктивных объектов (относительно
нек-рого объемлющего множества V конструктивных объектов) наз. проблему
построения алгоритма, распознающего по всякому объекту из множества V,
принадлежит ли он множеству А или нет. Р. п. (более подробно - Р.
п. для доказуемости) формальной системы (или исчисления) наз. Р.
п. множества всех доказуемых формул этой системы относительно множества
всех её формул. Семантич. Р. п. (или Р. п. для истинности) интерпретированной
формальной системы (формализованного языка) называется Р. п. множества
всех истинных формул системы относительно множества всех её формул.
А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я