-
1 типов
типов nсм. также тип -
2 типов
type (attr.); model (attr.); standard (attr.)типов хляб brown breadтипови постройки standard buildingsтипов модел a standard model/typeтипов устав a model statuteтипов договор a model agreement/contract* * *тѝпов,прил. type (attr.); model (attr.); standard (attr.); \типов договор model agreement/contract; \типов договор standard contract; \типов модел a standard model/type; \типов хляб brown bread; \типова полица фин. blanket policy; \типови жилища tract homes; \типови постройки standard buildings.* * *type ; standard: a типов agreement - типов договор; brown (за хляб)* * *1. type (attr.);model (attr.);standard (attr.) 2. ТИПОВ договор a model agreement/contract 3. ТИПОВ модел a standard model/type 4. ТИПОВ устав a model statute 5. ТИПОВ хляб brown bread 6. ТИПОВи постройки standard buildings -
3 типов
прил 1. du même type, d'un même type, standard; типови жилища des maisons d'un même type, des maisons standards; типов договор contrat type m; 2. ordinaire; типов хляб pain ordinaire, pain bis. -
4 типов
-
5 типов
type, model, standard -
6 типов
ти́пов прил. Typen-; Muster-. -
7 типов
типовой* * *ти́пов, станда́ртен птиповой -
8 типовість
жtypicalness, typical nature -
9 типовість
- остітипи́чность -
10 типовість
typowisfж. -
11 типов елемент
standard compostandard compos -
12 типов образец
representative samplerepresentative samples -
13 типов проект
standard projectstandard projects -
14 типові функціональні стани
Короткий українсько-англійський словник термінів із психології > типові функціональні стани
-
15 система типов
1) Oil: typing system2) Programming: type system (Система типов и операций над объектами этих типов. Проверка типа позволяет убедиться в том, что затребованная операция над данными типами допустима. Скажем, функцию необходимо вызывать с аргументами подходящих типов) -
16 контроль типов
контроль типов
проверка соответствия типов
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
Синонимы
EN
Русско-английский словарь нормативно-технической терминологии > контроль типов
-
17 этих типов
Русско-английский научно-технический словарь переводчика > этих типов
-
18 без контроля типов
Русско-английский словарь по информационным технологиям > без контроля типов
-
19 номенклатура типов зданий
номенклатура типов зданий
Систематизированный перечень названий типов зданий, применяемых в проектировании и строительстве
[Терминологический словарь по строительству на 12 языках (ВНИИИС Госстроя СССР)]Тематики
EN
DE
FR
Русско-немецкий словарь нормативно-технической терминологии > номенклатура типов зданий
-
20 номенклатура типов зданий
номенклатура типов зданий
Систематизированный перечень названий типов зданий, применяемых в проектировании и строительстве
[Терминологический словарь по строительству на 12 языках (ВНИИИС Госстроя СССР)]Тематики
EN
DE
FR
Русско-английский словарь нормативно-технической терминологии > номенклатура типов зданий
См. также в других словарях:
ТИПОВ ТЕОРИЯ — система расширенного предикатов исчисления или аксиоматич. теории множеств, включающая переменные различных типов (сортов, ступеней, порядков). Различные системы Т. т. были предложены (впервые – Б. Расселом в 1908) в качестве одной из… … Философская энциклопедия
Типов теория (в логике) — Типов теория в логике, система расширенного исчисления предикатов или аксиоматической теории множеств, включающая переменные различных «типов» (сортов, ступеней, порядков). Формальные объекты этой теории, согласно системе Рассела Уайтхеда,… … Большая советская энциклопедия
Типов теория (в химии) — Типов теория в химии, одна из ведущих химических теорий середины 19 в. В 1839 1840 Ж. Б. Дюма предложил рассматривать химические соединения как продукты замещения одних элементов или радикалов (см. Радикалов теория) другими в немногих «типичных»… … Большая советская энциклопедия
ТИПОВ ИССЛЕДОВАНИЕ — см. Тип. Философский энциклопедический словарь. 2010 … Философская энциклопедия
Типов теория — I Типов теория в химии, одна из ведущих химических теорий середины 19 в. В 1839 1840 Ж. Б. Дюма предложил рассматривать химические соединения как продукты замещения одних элементов или радикалов (см. Радикалов теория) другими в немногих… … Большая советская энциклопедия
ТИПОВ, ОТНОШЕНИЕ К ЧИСЛУ СИМВОЛОВ — В исследованиях языка – отношение числа разных типов слов к общему числу символов в системе языкА. В наиболее часто используемом смысле под числом символов понимается общее число слов в языке, а под числом типов – общее число различных типов слов … Толковый словарь по психологии
типов теория — система логики предикатов более высокого порядка, чем первый, включающая переменные различных уровней, типов (см.: Переменная) и ограничения на подстановку термов вместо переменных. В ней по меньшей мере имеются не только предметные переменные,… … Словарь терминов логики
ТИПОВ ТЕОРИЯ — формальная теория 1 го порядка (см. Формальная система), один из вариантов к рой простая теория типов описан ниже. Термин лТ. т … Математическая энциклопедия
типовість — вості, ж. 1) Властивість за знач. типовий 1), 2). Типовість обличчя. 2) Поєднання в одній особі, в одному явищі індивідуальних, своєрідних рис, ознак і властивостей, характерних для сукупності осіб, явищ … Український тлумачний словник
типов — прил. еднообразен, еднакъв, едноформен, уеднаквен, стандартизиран, по образец прил. общоприет, установен, стандартен, нормален, обикновен … Български синонимен речник
ТИПОВ ТЕОРИЯ — см. Органическая химия … Химическая энциклопедия