Начальный символ
порождающая грамматика
множество, в котором не существует связного подмножества, содержащего более одной точки
Можно сделать следующие выводы:
положительные и отрицательные целые и дробные числа относятся к множеству...
не равны друг другу, можно расположить хотя бы одно рациональное число (следовательно, и бесконечное множество...
В то же время, множество рациональных чисел характеризуется счетной мощностью (т. е. все элементы множества...
Множество рациональных чисел, в отличие от вещественных чисел, является нульмерным.
В статье описывается алгоритм построения расширенного универсального базиса Гребнера (EUGB) полиномиального идеала, основанный на связи между многомерными диаграммами Юнга и базисами Гребнера полиномиальных идеалов. Представленный алгоритм предназначен для нульмерных идеалов и включает в себя построение максимальных линейно-независимых множеств мономов (MLIMS) в факторалгебре по идеалу.
В статье доказывается теорема об устранимой особенности для гармонической функции на двумерном стратифицированном множестве. Показывается, что гармоническая и ограниченная функция, определенная на двумерном стратифицированном множестве, за исключением нульмерных стратов, может быть продолжена на все стратифицированное множество с сохранением гармоничности. Эта теорема играет важную роль при доказательстве разрешимости задачи Дирихле для уравнения Лапласа на стратифицированном множестве и реализации метода Пуанкаре-Перрона на стратифицированном множестве. Для доказательства используются аналоги теоремы о дивергенции и неравенства Харнака на стратифицированном множестве. В статье приведены основные сведения из теории дифференциальных уравнений на стратифицированных множествах, которые необходимы для формулировки и доказательства результата.
порождающая грамматика
аксиальный вектор
коническая поверхность, направляющая которой — многоугольник
Наведи камеру телефона на QR-код — бот Автор24 откроется на вашем телефоне