Геликоид

Гейтипга исчисление,- название трех формальных систем конструктивной логики, предложенных А. Рейтингом [1]. Первая из них - гейтинговское, или интуиционистское, исчисление высказываний- формализация принципов конструктивной логики высказываний. Вторая - гейтинговское, или интуиционистское, исчисление предикатов- формализация конструктивной логики предикатов. Третья - гейтинговская, или интуиционистская, арифметика - формализация принципов элементарной конструктивной теории чисел. Задуманные пер..

- шестигранник. Напр., пятиугольная пирамида. Правильный Г. Есть куб. ..

- краевая задача для уравнения типа Чаплыгина вида в к-ром функция возрастает, при . Искомая функция задается на границе, состоящей из достаточно гладкого контура и кусков характеристик. Рассматриваемое уравнение эллиптично в полуплоскости , параболично на линии у=0 и гиперболично при . Гиперболич. Полуплоскость покрывается двумя семействами характеристик, удовлетворяющих уравнениям . На линии характеристики одного семейства переходят в характеристики другого семейства. Пусть Е..

совокупность методов суммирования числовых рядов. Введены О. Гёльдером [1] как обобщение средних арифметических метода суммирования. Ряд суммируется методом Гёльдера ( Н, k) к сумме s, если где В частности, -суммируемость ряда означает его обычную сходимость. есть метод средних арифметических. Методы - вполне регулярные методы, суммирования при любом kи совместны для всех k(см. Совместность методов суммирования). С увеличением kсила метода возрастает. Если ряд суммируем мет..