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

Разрешения Проблема
или: Разрешимости пробленма, аЧ проблема нахождения для данной дедуктивной теории общего метода, позволяющего решать, может ли отдельное утверждение, сфорнмулированное в терминах теории, быть доказано в ней или нет. Этот общий метод, являющийся эффективной процедурой (алгоритмом), называется процедурой разрешения или разрешающей процедурой, а теория, для которой такая процедура существует, — разрешимой теорией. Р. п. решается в классической логике высказываний с помощью таблиц истинности. Разрешающий алгоритм существует и для логинки одноместных предикатов, для силлогизма категорического и друнгих простых дедуктивных теорий. Но уже для логики предикатов общего решения Р. п. не существует. В математике также невозможно установить общий метод, который дал бы возможность провести различие между утверждениями, которые могут быть доказаны в ней, и теми, которые в ней недоказуемы. Невозможность найти для теории общий разрешающий метод не исключает поиска процедуры разрешения для отдельных классов ее утверждений.

Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. . 1997.

Игры ⚽ Нужен реферат?

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

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

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

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

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

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

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

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

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

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

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


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

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