Константа

- Каталана поверхность, все прямолинейные образующие к-рой пересекают фиксированную прямую - ось К. Напр., гиперболич. Параболоид есть К. С двумя осями. Радиус-вектор К. где {a, b, g} - единичный вектор, имеющий направление оси К., f(и)- некоторая функция. Для прямого К. A=b=0, g=1, и тогда его ось является стрикционной линией. Прямой К. С f(v)=av есть геликоид. И. X. Сабитов.. ..

- термин, употребляемый в теории краевых задач для дифференциальных уравнений с частными производными. Пусть v=(v1, . , vn )-внешняя нормаль в точке хк гладкой поверхности S, расположенной в евклидовом пространстве Е n с координатами х 1, . .., х n, gij - контравариантный невырожденный тензор, обычно представляющий коэффициенты нек-рого дифференциального оператора второго порядка D=Тогда конормалью (относительно D)наз. Вектор где vi=gikvk. Другими словами, К.-контравариантная запись (в пр..

..

- раздел математической логики, изучающий рассуждения о конструктивных объектах и конструкциях. При таком понимании К. Л. Шире, чем логика конструктивной математики. Самое заметное отличие от традиционной (классической) логики состоит в отсутствии исключенного третьего закона и двойного отрицания закона При обозначении систем чистой логики (исчисление высказываний, предикатов) термины "конструктивное", "интуиционистское", "гейтинговское" часто считаются синонимами (см. Рейтинга формальн..