несобственный класс
Смотреть что такое "несобственный класс" в других словарях:
НЕКЛАССИЧЕСКАЯ ТЕОРИЯ МОДЕЛЕЙ — теория моделей, отличающаяся от классической тем, что либо формальный язык, с к рым она имеет дело, отличен от языка первого порядка либо логика, лежащая в ее основе, отлична от классической (двузначной). В дальнейшем, если не оговорено противное … Математическая энциклопедия
СИНГУЛЯРНОЕ ИНТЕГРАЛЬНОЕ УРАВНЕНИЕ — уравнение, содержащее искомую функцию под знаком несобственного интеграла в смысле главного значения по Коши. В зависимости от размерности многообразия, по к рому распространены интегралы, различают одномерные и многомерные С. и. у. По сравнению… … Математическая энциклопедия
ФАКТОРОБЪЕКТ — объекта категории понятие, частным случаем к рого являются понятия фактормножества, факторгруппы, факторпространства и т. п. Пусть нек рый класс эпиморфизмов категории содержащий все тождественные морфизмы из и выдерживающий умножение справа на… … Математическая энциклопедия
Высший тип — (top type) в теории типов, часто обозначаемый как просто вершина или «закрепленным» символом (⊤), универсальный тип, то есть такой тип, который содержит в себе каждый возможный объект в нужной системе типов. Высший тип иногда именуется… … Википедия
