несобственный тип
Смотреть что такое "несобственный тип" в других словарях:
Высший тип — (top type) в теории типов, часто обозначаемый как просто вершина или «закрепленным» символом (⊤), универсальный тип, то есть такой тип, который содержит в себе каждый возможный объект в нужной системе типов. Высший тип иногда именуется… … Википедия
ЖИЗНЬ — понятие многозначное, меняет свое содержание в зависимости от области применения. В биол. науках понимается как одна из форм существования материи, осуществляющая обмен веществ, регуляцию своего состава и функций, обладающая способностью… … Энциклопедия культурологии
Важнейшие открытия в физике — История технологий По периодам и регионам: Неолитическая революция Древние технологии Египта Наука и технологии древней Индии Наука и технологии древнего Китая Технологии Древней Греции Технологии Древнего Рима Технологии исламского мира… … Википедия
ИОАНН ДАМАСКИН — (?) (?. ок. 675, Дамаск, ум. до 753), визант. богослов, философ и поэт, завершитель и систематизатор греч. патристики. Ведущий идейный противник иконоборчества. К новизне идей и оригинальности теорий не стремился, верный своему девизу: «Я … Философская энциклопедия
ПРОИЗВОДЯЩИЙ ОПЕРАТОР — полугруппы производная в нуле от полугруппы линейных ограниченных операторов , действующих в комплексном банаховом пространстве X. Если T(t).непрерывна по норме операторов, то она имеет вид T(t)= е tA0, где А 0 ограниченный оператор, (1) при… … Математическая энциклопедия
