Гексаэдр

об открытом покрытии - см. Бореля - Лебега теорема. ..

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

- винтовая поверхность, описываемая прямой, к-рая вращается с постоянной угловой скоростью вокруг неподвижной оси, пересекает ось движения под постоянным углом и одновременно перемещается поступательно с постоянной скоростью вдоль этой оси. При Г. Наз. Прямым или минимальным (см. Рис.). При Г. Наз. Косым. Уравнение Г. В параметрич. Форме имеет вид А. Б. Иванов. ..

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