Большая советская энциклопедия

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

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




  1. разрешения проблема—важное понятие логики. Р. п. данного множества А emконструктивных объектов См. Конструктивные объекты относительно некоторого объемлющего множества V конструктивных объек...Большая Советская энциклопедия II
  2. разрешения проблема—алгоритмическая проблемаi в крой для заданного множества Атребуется построить алгоритм разрешающий Аотносительно другого множества Вi включающего т. е. такой алгоритм к...Математическая энциклопедия
  3. разрешения проблема—или Разрешимости пробленма аЧ проблема нахождения для данной дедуктивной теории общего метода позволяющего решать может ли отдельное утверждение сфорнмулированное в терми...Словарь логики
  4. разрешения проблема—РАЗРЕШЕНИЯ ПРОБЛЕМА или Разрешимости проблема проблема нахождения для данной дедуктивной теории общего метода позволяющего решать может ли отдельное утверждение сформули...Словарь по логике
  5. разрешения проблема—РАЗРЕШЕНИЯ ПРОБЛЕМА РАЗРЕШЕНИЯ ПРОБЛЕМА возникла в связи с осознанием невозможности провести некоторые построения дозволенными методами. Первыми примерами неразрешимых з...Философская энциклопедия
  6. разрешения проблема—один из наиболее важных видов массовых проблем. Р. п. данного множества А конструктивных объектов относительно некрого объемлющего множества V конструктивных объектов наз...Философская Энциклопедия (в 5 томах)
  7. разрешения проблема—одна из осн. проблем встающих в связи с построением формализованных дедуктивных теорий. Ее положительное или отрицательное решение для каждой конкретной формальной теории...Философский энциклопедический словарь
  8. разрешения проблема—РАЗРЕШЕНИЯ ПРОБЛЕМА задача поиска алгоритма emрешающего массовую проблему состоящую из однотипных вопросов о конструктивных объектах словах над фиксированным конечным ал...Энциклопедия эпистемологии и философии науки