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


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

Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия. . 1960—1970.


Просмотров: 1039
Категория: Словари и энциклопедии » Философия » Философская энциклопедия





Другие новости по теме:

  • “РАЗУМНЫЕ МЫСЛИ О БОГЕ, МИРЕ И ДУШЕ ЧЕЛОВЕКА, А ТАКЖЕ О ВСЕХ ВЕЩАХ ВООБЩЕ”
  • Голова всех голов
  • ДЕМАРКАЦИИ ПРОБЛЕМА
  • демаркации проблема
  • ДЕЯТЕЛЬНОСТЬ (как методологическая проблема психологии)
  • ЗАДАЧА (проблема)
  • История как проблема логики
  • ЛОЖНАЯ ПРОБЛЕМА
  • МАССОВАЯ ПРОБЛЕМА
  • ПЕРЕОЦЕНКА ВСЕХ ЦЕННОСТЕЙ
  • Порог распознавания слов
  • Пороговая Проблема
  • Постоянство объектов
  • проблема
  • ПРОБЛЕМА
  • ПРОБЛЕМА
  • Проблема
  • ПРОБЛЕМА
  • проблема
  • Проблема социальной физики в XVII столетии
  • психодиагностическая проблема
  • ПСИХОФИЗИЧЕСКАЯ ПРОБЛЕМА
  • психофизическая проблема
  • разрешения проблема
  • Разрешения Проблема
  • РАЗРЕШЕНИЯ ПРОБЛЕМА
  • разрешения проблема (разрешимости проблема)
  • РАЗРЕШИМОЕ И ПЕРЕЧИСЛИМОЕ МНОЖЕСТВА
  • ТРИЕДИНСТВА ПРОБЛЕМА
  • ЭКОЛОГИЧЕСКАЯ ПРОБЛЕМА



  • ---
    Разместите, пожалуйста, ссылку на эту страницу на своём веб-сайте:

    Код для вставки на сайт или в блог:       
    Код для вставки в форум (BBCode):       
    Прямая ссылка на эту публикацию:       






    Данный материал НЕ НАРУШАЕТ авторские права никаких физических или юридических лиц.
    Если это не так - свяжитесь с администрацией сайта.
    Материал будет немедленно удален.
    Электронная версия этой публикации предоставляется только в ознакомительных целях.
    Для дальнейшего её использования Вам необходимо будет
    приобрести бумажный (электронный, аудио) вариант у правообладателей.

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







    Locations of visitors to this page



          <НА ГЛАВНУЮ>      Обратная связь