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

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

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

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

- дизъюнктивное (от лат. Disjunctio — разобщаю) сложное суждение, образованное из двух или большего числа суждений с помощью логической связки «или». Общая форма Р. С. Имеет вид А1 v A2 v, ..., v An, где Аn — суждение (член дизъюнкции, альтернатива), a v — знак дизъюнкции. Суще­ствуют два вида Р. С. Строго разделительные и нестрого раздели­тельные. В строго разделительных суждениях связка «или», «либо» употребляется в строго разделительном смысле (см. Дизъюнкция), т. Е. Когда члены дизъюнкции (а..

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

— теория, для которой существует эф­фективная процедура (алгоритм), позволяющая о каждом утвержде­нии, сформулированном в терминах этой теории, решить, выводимо оно в теории или нет (см. Разрешения проблема). Р. Т. Являются, напр., элементарная алгебра Буля, теория сложения целых чисел и некоторые иные простые математические теории. Не­разрешима арифметика целых чисел (т. Е. Теория четырех главных арифметических действий над целыми числами) и каждая дедук­тивная теория, содержащая арифметику.. ..

(от лат. Ratio - разум) - относящееся к ра­зуму, обоснованность разумом, доступное разумному пониманию, в  . Противоположность иррациональности как чему-то неразум­ному, недоступному разумному пониманию. В методологии научного познания Р. Понимается двояко. Чаще всего Р. Истолковывается как соответствие законам разума — законам логики, методологическим нормам и правилам. То, что соот­ветствует логико-методологическим стандартам, — Р., то, что наруша­ет эти стандарты, — нерационально или даже..