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

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

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

Смотреть что такое "Разрешения проблема" в других словарях:

  • РАЗРЕШЕНИЯ ПРОБЛЕМА —     РАЗРЕШЕНИЯ ПРОБЛЕМА возникла в связи с осознанием невозможности провести некоторые построения дозволенными методами. Первыми примерами неразрешимых задач явились решение в радикалах уравнений выше четвертой степени и невозможность провести… …   Философская энциклопедия

  • разрешения проблема —         РАЗРЕШЕНИЯ ПРОБЛЕМА задача поиска алгоритма, решающего массовую проблему, состоящую из однотипных вопросов о конструктивных объектах (словах над фиксированным конечным алфавитом), ответы на которые даются с помощью некоторого алгоритма;… …   Энциклопедия эпистемологии и философии науки

  • Разрешения Проблема — или: Разрешимости пробленма, аЧ проблема нахождения для данной дедуктивной теории общего метода, позволяющего решать, может ли отдельное утверждение, сфорнмулированное в терминах теории, быть доказано в ней или нет. Этот общий метод, являющийся… …   Словарь терминов логики

  • РАЗРЕШЕНИЯ ПРОБЛЕМА — алгоритмическая проблема, в к рой для заданного множества Атребуется построить алгоритм, разрешающий Аотносительно другого множества В, включающего , т. е. такой алгоритм , к рый применим ко всякому элементу из В, причем , если , и , если .… …   Математическая энциклопедия

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

  • проблема — ы; ж. [греч. problēma] 1. Сложный вопрос, задача, требующий решения, исследования. П. происхождения человека. П. внеземных цивилизаций. Научные, методологические проблемы. Экономические, политические, экологические проблемы. Проблемы преподавания …   Энциклопедический словарь

  • ПРОБЛЕМА —         (от греч. преграда, трудность, задача), объективно возникающий в ходе развития познания вопрос или целостный комплекс вопросов, решение которых представляет существенный практич. или теоретич. интерес. Весь ход развития человеч. познания… …   Философская энциклопедия

  • Проблема обедающих философов — «Проблема обедающих философов»  классический пример, используемый в информатике для иллюстрации проблем синхронизации в дизайне параллельных алгоритмов и техник решения этих проблем. Проблема была сформулирована в 1965 году Эдсгером… …   Википедия

  • Проблема алмаза — Диаграмма наследования классов в виде алмаза. В объектно ориентированных языках программирования с поддержкой множественного наследования и структуры накопления знаний (knowledge organization) Проблема алмаза (diamond problem) … …   Википедия

  • ПРОБЛЕМА — (греч.). Задача, вопрос, предложенный для решения, вопрос, нерешенный в науке; спорный пункт, загадка, трудно разрешимая задача. В фигуральном значении: вещь трудно понимаемая, трудно объясняемая. Словарь иностранных слов, вошедших в состав… …   Словарь иностранных слов русского языка

Книги

  • Проблема, Джесси Рассел. Эта книга будет изготовлена в соответствии с Вашим заказом по технологии Print-on-Demand. High Quality Content by WIKIPEDIA articles! Пробле?ма (др.-греч. ????????) — в широком смысле сложный… Подробнее  Купить за 950 руб
  • Демократия и авторитаризм, Медушевский А. Н.. В книге на большом фактическом материале новых источников и интернациональной литературы раскрывается проблема конституционализма как явления мирового и российского исторического процесса. В… Подробнее  Купить за 459.2 руб
  • Проекты аграрных реформ в России, Медушевский А. Н.. В книге рассмотрена проблема легитимности земельной собственности в России в длительной исторической перспективе – от становления аграрного вопроса во второй половине XVIII в. до современных… Подробнее  Купить за 448 руб
Другие книги по запросу «Разрешения проблема» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»