произведение типов

произведение типов
мат. product of types

Большой англо-русский и русско-английский словарь. 2001.

Игры ⚽ Нужен реферат?

Смотреть что такое "произведение типов" в других словарях:

  • Концерт (произведение) —         (нем. Konzert, от итал. concerto концерт, букв. состязание (голосов), от лат. concerto состязаюсь). Произведение для многих исполнителей, в к ром меньшая часть участвующих инструментов или голосов противостоит большей их части или всему… …   Музыкальная энциклопедия

  • Алгебраический тип данных — в теории программирования любой тип, значения которого являются значениями некоторых иных типов, «обёрнутыми» конструкторами алгебраического типа. Другими словами, алгебраический тип данных имеет набор конструкторов типа, каждый из которых… …   Википедия

  • Япония* — Содержание: I. Физический очерк. 1. Состав, пространство, береговая линия. 2. Орография. 3. Гидрография. 4. Климат. 5. Растительность. 6. Фауна. II. Население. 1. Статистика. 2. Антропология. III. Экономический очерк. 1. Земледелие. 2.… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

  • Япония — I КАРТА ЯПОНСКОЙ ИМПЕРИИ. Содержание: I. Физический очерк. 1. Состав, пространство, береговая линия. 2. Орография. 3. Гидрография. 4. Климат. 5. Растительность. 6. Фауна. II. Население. 1. Статистика. 2. Антропология. III. Экономический очерк. 1 …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

  • ВИЗАНТИЙСКАЯ ИМПЕРИЯ. ЧАСТЬ III — Литература Визант. лит ра, словесность и книжность в целом составляют труднообозримый массив духовного наследия христ. империи. Его освещение предполагает обращение ко мн. видам и жанрам лит ры, в первую очередь к святоотеческой, богословской лит …   Православная энциклопедия

  • Российская Советская Федеративная Социалистическая Республика —         РСФСР.          I. Общие сведения РСФСР образована 25 октября (7 ноября) 1917. Граничит на С. З. с Норвегией и Финляндией, на З. с Польшей, на Ю. В. с Китаем, МНР и КНДР, а также с союзными республиками, входящими в состав СССР: на З. с… …   Большая советская энциклопедия

  • Драма — Д. как поэтический род Происхождение Д. Восточная Д. Античная Д. Средневековая Д. Д. Ренессанса От Возрождения к классицизму Елизаветинская Д. Испанская Д. Классическая Д. Буржуазная Д. Ро …   Литературная энциклопедия

  • Достоевский, Федор Михайлови — писатель, родился 30 октября 1821 г. в Москве, умер 29 января 1881 г., в Петербурге. Отец его, Михаил Андреевич, женатый на дочери купца, Марье Федоровне Нечаевой, занимал место штаб лекаря в Мариинской больнице для бедных. Занятый в больнице и… …   Большая биографическая энциклопедия

  • Украинская литература — Устная народная поэзия. Библиография. У. л. до конца XVIII в. Библиография. У. л. первой половины XIX ст. У. л. 60 90 х гг. У. л. конца XIX и начала XX ст. Библиография. Укр. советская литература. Устная народная поэзия. &nbs …   Литературная энциклопедия

  • Коэффициент корреляции — (Correlation coefficient) Коэффициент корреляции это статистический показатель зависимости двух случайных величин Определение коэффициента корреляции, виды коэффициентов корреляции, свойства коэффициента корреляции, вычисление и применение… …   Энциклопедия инвестора

  • Островский, Александр Николаевич — драматический писатель, начальник репертуара Императорского Московского театра и директор Московского театрального училища. А. Н. Островский родился в Москве 31 го января 1823 г. Отец его, Николай Федорович, происходил из духовного звания, и по… …   Большая биографическая энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»