ТЕОРИЯ ТИПОВ

Русско-английский перевод ТЕОРИЯ ТИПОВ

Type theory

Русско-Американский Английский словарь. Russian-American English dictionary . 2012

ТЕОРИЯ ТИПОВ — мат. theor of types
Большой Русско-Английский словарь
ТЕОРИЯ — f. theory
Russian-English Dictionary of the Mathematical Sciences
ТЕОРИЯ — Theory
Русско-Американский Английский словарь
ТЕОРИЯ — theory теория и практика — theory and practice теория относительности физ. — (theory of) relativity теория вероятностей мат. — theory …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
ТЕОРИЯ — theory; в ~и theory, theoretically
Русско-Английский словарь общей тематики
ТЕОРИЯ — theory
Новый Русско-Английский биологический словарь
ТИПОВ — Phylums
Russian Learner's Dictionary
ТЕОРИЯ — The theory
Russian Learner's Dictionary
ТЕОРИЯ — theory
Russian Learner's Dictionary
ТЕОРИЯ — ж. theory теория и практика — theory and practice теория относительности физ. — (theory of) relativity теория вероятностей мат. — …
Русско-Английский словарь
ТЕОРИЯ — ж. theory теория и практика — theory and practice теория относительности физ. — (theory of) relativity теория вероятностей мат. — …
Russian-English Smirnitsky abbreviations dictionary
ТЕОРИЯ — жен. theory единая теория — a unified theory атомистическая теория — atomism законченная теория — full-blown theory защищать теорию — …
Русско-Английский краткий словарь по общей лексике
ТЕОРИЯ — science, theory
Русско-Английский словарь по строительству и новым строительным технологиям
ТЕОРИЯ — Theory
Британский Русско-Английский словарь
ТЕОРИЯ — analysis, theory
Русско-Английский экономический словарь
ТЕОРИЯ — theory; в ~и theory, theoretically
Русско-Английский словарь - QD
ТЕОРИЯ — doctrine, theory
Русско-Английский юридический словарь
ТЕОРИЯ — theory
Русско-Английский биологический словарь
ТЕОРИЯ — ТЕОРИЯ, ГИПОТЕЗА см.также ФАКТЫ , ЭКСПЕРИМЕНТ Нет ничего практичнее хорошей теории. Роберт Кирхгоф Теории первого класса предсказывают, теории второго класса …
English-Russian aphorisms, русские афоризмы
ТИПОВ — n см. тип
Большой Русско-Английский словарь
ТЕОРИЯ — жен. theory теория поля – field theory атомистическая теория – atomism теория и практика – theory and practice теория относительности …
Большой Русско-Английский словарь
ТИПОВ — типов nсм. также тип
Русско-Английский словарь Сократ
ТЕОРИЯ — теория theory
Русско-Английский словарь Сократ
THEORY — сущ. 1) теория to advance, present, propose, suggest a theory ≈ предлагать, отстаивать теорию to advocate theory ≈ отстаивать теорию …
Большой Англо-Русский словарь
RAW — I необработанные данные (один из типов данных, устанавливаемых для заданий на печать, указывает спулеру на то, что он не должен …
Большой Англо-Русский словарь
CHECK — 1. сущ. 1) шахм. шах (употр. тж. как межд.) the king is in check ≈ королю объявлен шах to produce …
Большой Англо-Русский словарь
THEORY — theory.ogg ʹθı(ə)rı n 1. 1> теория coherent theory - последовательная /непротиворечивая/ теория social-science theories - социологические теории general relativity theory …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
THEORY — 1) теория 2) толкование; трактовка 3) учение • advance theory — выдвигать теорию additive ideal theory — матем. теория идеалов аддитивная antinomy of set theory — …
Англо-Русский научно-технический словарь
TYPE CHECKING — контроль (соответствия) типов; проверка (соответствия) типов. проверка соответствия между операциями и комбинациями типов операндов, между формальными и фактическими параметрами и …
Англо-Русский словарь Tiger
THEORY — n 1. 1) теория coherent ~ - последовательная /непротиворечивая/ теория social-science theories - социологические теории general relativity ~ - общая …
Новый большой Англо-Русский словарь - Апресян, Медникова
THEORY — n 1. 1> теория coherent theory - последовательная /непротиворечивая/ теория social-science theories - социологические теории general relativity theory - общая …
Большой новый Англо-Русский словарь
TYPE CHECKING — контроль (соответствия) типов; проверка (соответствия) типов. Проверка соответствия между операциями и комбинациями типов операндов, между формальными и фактическими параметрами и …
Англо-Русский словарь по компьютерам
RAW — необработанные данные (один из типов данных, устанавливаемых для заданий на печать, указывает спулеру на то, что он не должен вносить …
Англо-Русский словарь по компьютерам
RAW — I необработанные данные (один из типов данных, устанавливаемых для заданий на печать, указывает спулеру на то, что он не должен вносить …
Англо-Русский словарь по вычислительной технике и программированию
RAW — I необработанные данные ( один из типов данных, устанавливаемых для заданий на печать, указывает спулеру на то, что он не …
Англо-Русский словарь компьютерных терминов
ХИМИЯ — раздел химии, в котором изучаются химические свойства веществ на основе физических свойств составляющих их атомов и молекул. Современная физическая химия …
Русский словарь Colier
ФИЗИКА — ФИЗИКА И.Ньютон (1643-1727) родился в протестантской Англии менее чем через год после смерти Галилея. Научная деятельность Ньютона протекала в основном …
Русский словарь Colier
ФЕРМЕНТЫ — органические вещества белковой природы, которые синтезируются в клетках и во много раз ускоряют протекающие в них реакции, не подвергаясь при …
Русский словарь Colier
ТРАНЗИСТОР — ТРАНЗИСТОР Выше мы рассматривали транзисторы главным образом в теоретическом плане. Рассмотрим теперь некоторые основные технологии. Точечные транзисторы. Первым прибором, позволившим …
Русский словарь Colier
СТАНКИ — машины для изготовления частей других машин в основном путем снятия с заготовки стружки режущим инструментом. Многое из того, что производится …
Русский словарь Colier
СИСТЕМАТИКА — СИСТЕМАТИКА РАСТЕНИЙ Те немногие виды растений, которые были известны составителям травников, получали названия примерно таким же образом, как в античные …
Русский словарь Colier
ПОЖАРНАЯ — ПОЖАРНАЯ ПРОФИЛАКТИКА И ПРОТИВОПОЖАРНАЯ ЗАЩИТА Мероприятия по противопожарной защите включают: 1) контроль материалов, продуктов и оборудования; 2) активное ограничение распространения …
Русский словарь Colier
НАСЛЕДСТВЕННОСТЬ — НАСЛЕДСТВЕННОСТЬ Рассмотрим такой признак, как группа крови. Имеется целый ряд типов, или систем, групп крови. Наиболее известна система AB0, по …
Русский словарь Colier
КРЕМНИЙОРГАНИЧЕСКИЕ — КРЕМНИЙОРГАНИЧЕСКИЕ ПОЛИМЕРЫ Силоксаны содержат два или более атомов кремния, связанных посредством одного или нескольких атомов кислорода: Два атома кремния, связанные …
Русский словарь Colier
КВАНТОВАЯ — фундаментальная физическая теория динамического поведения всех элементарных форм вещества и излучения, а также их взаимодействий. Квантовая механика представляет собой теоретическую …
Русский словарь Colier
ИНТЕГРАЛЬНАЯ — микроэлектронная схема, сформированная на крошечной пластинке (кристаллике, или "чипе") полупроводникового материала, обычно кремния, которая используется для управления электрическим током и …
Русский словарь Colier
ДЕТЕКТОРЫ — ДЕТЕКТОРЫ ЧАСТИЦ Ионизационные приборы. Действие ионизационной камеры основано на сборе (в форме электрического тока) ионов, образующихся при прохождении через камеру …
Русский словарь Colier
ВЕРОЯТНОСТЕЙ — ВЕРОЯТНОСТЕЙ ТЕОРИЯ Современная теория вероятностей, подобно другим разделам математики, например геометрии, состоит из результатов, выводимых логическим путем из некоторых основных …
Русский словарь Colier
АРХЕОЛОГИЯ
Русский словарь Colier
ЭВОЛЮЦИЯ — ЭВОЛЮЦИЯ ЧЕЛОВЕКА В идеале использование характерных структурных признаков (маркеров) дифференциации гоминид должно обеспечить распознавание той или иной ступени развития человека. …
Русский словарь Colier
ЭЛЕКТРОННЫЕ — ЭЛЕКТРОННЫЕ СХЕМЫ Хотя в аналоговых и цифровых электронных схемах используются одни и те же основные схемные элементы, такие, как резисторы, …
Русский словарь Colier
ХИМИИ — ХИМИИ ИСТОРИЯ Состав веществ и их классификация. Успехи Лавуазье показали, что применение количественных методов может помочь в определении химического состава …
Русский словарь Colier
ФИЗИКА — ФИЗИКА Для Ньютона и его современников было вполне естественным спрашивать себя, откуда берется сила гравитации и как она действует. Он …
Русский словарь Colier
ТАНЕЦ — ТАНЕЦ Индия. В соответствии с индуистской легендой, мир был создан танцующим богом Шивой. Своим божественным танцем Шива уничтожил враждебных ему …
Русский словарь Colier
СИСТЕМАТИКА — СИСТЕМАТИКА РАСТЕНИЙ Ниже приводятся краткие характеристики групп, традиционно считавшихся растениями и до сих пор часто (но ошибочно) относимых к этому …
Русский словарь Colier
СИСТЕМАТИКА
Русский словарь Colier
ПАЛЕОНТОЛОГИЯ — ПАЛЕОНТОЛОГИЯ ПАЛЕОНТОЛОГИЯ|ПАЛЕОНТОЛОГИЯ|БЕСПОЗВОНОЧНЫХ ПАЛЕОНТОЛОГИЯ На долю беспозвоночных приходится более 90% видов животного царства. Их палеонтологическая летопись начинается более 650 млн. лет …
Русский словарь Colier
МУЗЫКИ — наука, формулирующая правила и принципы, лежащие в основе сочинения музыки. Теория музыки имеет дело с анализом музыкального произведения, со "строительными …
Русский словарь Colier
ИНТЕГРАЛЬНАЯ — микроэлектронная схема, сформированная на крошечной пластинке (кристаллике, или "чипе") полупроводникового материала, обычно кремния, которая используется для управления электрическим током и …
Русский словарь Colier
ДАНИЛЕВСКИЙ — (1822-1885), русский ученый-естествоиспытатель, мыслитель, публицист. Родился 28 ноября 1822 в с. Оберец Ливенского уезда Орловской губернии. Окончил в 1842 Царскосельский …
Русский словарь Colier
ГИСТОЛОГИЯ — наука, занимающаяся изучением тканей животных. Тканью называют группу клеток, сходных по форме, размерам и функциям и по продуктам своей жизнедеятельности. …
Русский словарь Colier
АТОМ — (от греч. ?????? - неделимый), наименьшая возможная частица любого из простейших химических веществ, называемых элементами. Понятие атома, как и само …
Русский словарь Colier
АТОМНОГО — Ядро представляет собой центральную часть атома (см. также АТОМА СТРОЕНИЕ). В нем сосредоточены положительный электрический заряд и основная часть массы …
Русский словарь Colier
THEORY — сущ. 1) теория to advance, present, propose, suggest a theory ≈ предлагать, отстаивать теорию to advocate theory ≈ отстаивать теорию …
Новый большой Англо-Русский словарь

Русско-Американский Английский словарь

← ТЕОРИЯ СУПЕРСТРУН ТЕОРИЯ ТОПОСОВ→