множество, для которого существует алгоритм, распознающий принадлежность любого элемента к этому множеству
Этим решениям посвящают множество научных работ....
Разрешимость начально-краевых нестационарных задач доказана для всех моментов времени только в случае...
В общем трехмерном случае разрешимость доказана для гладких начальных данных на малом временном интервале...
Вопрос об однозначности разрешимости трехмерной задачи в «целом» для любого времени, любых гладких данных
Исследуется фредгольмова разрешимость задачи Дирихле на двумерном стратифицированном множестве методом сведения исходной задачи к нелокальной задаче Римана.
Каждый язык обязан удовлетворять свойствам разрешимости и однозначности....
Язык считается разрешимым, если за определённое время возможно определить, что фраза или предложение...
Алфавитом является, не бесконечное множество символов, которое используется в языке....
Грамматикой языка является множество объектов:
G = (VT, VN, R, S)
Здесь:
VT обозначает множество терминальных...
VN обозначает множество нетерминальных символов (понятий).
R является множеством правил грамматики.
В работе приводится еще один итерационный способ построения разрешающего множества в игровой задаче удержания движений абстрактной динамической системы в заданных фазовых ограничениях. В итерационной процедуре вместо оператора программного поглощения предлагается использовать семейство операторов поглощения для отдельных программных помех. Такой подход к построению множества разрешимости опирается на теоремы о существовании и представлении общих неподвижных точках семейства отображений.
1. если функция непрерывна в ограниченной замкнутой области, то она равномерно непрерывна в этой области; 2. множество, состоящее из всех подмножеств данного непустого множества M (булеан), не эквивалентно ни самому M, ни его подмножеству
идеал, состоящий только из нулевого элемента
раздел дифференциальной геометрии, изучающий свойства поверхностей и фигур на них
