Главная  Энциклопедии  Словари  Добавить в Избранное



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

Значение слова "Разрешения проблема"

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

 

Большая Советская Энциклопедия М.: "Советская энциклопедия", 1969-1978

Читайте также в БСЭ :

Разрыв дипломатических отношений
Разрыв дипломатических отношений, прекращение нормальных дипломатических отношений между двумя государствами; влечёт за собой отозвание дипломатических представителей и ликвидацию диплом...

Разрыва точка
Разрыва точка, значение аргумента, при котором нарушается непрерывность функции (см. Непрерывная функция). В простейших случаях нарушение непрерывности в некоторой точке а происходит так...

Разрывная машина
Разрывная машина испытательная, служит для определения механических свойств материалов, а также для испытаний деталей, сборочных единиц и изделий путём повреждения или разрушения. Р. м. ...





Энциклопедии и словари на ALCALA.RU 2005-2011 год. - Значение слова в Бесплатных онлайн словарях - справочниках
Все тексты выложены на сайте для не коммерческого использования и взяты из открытых источников.
При использовании материалов сайта активная ссылка на ALCALA.RU обязательна!!
Все права на тексты принадлежат только их правообладателям!!