-
1 типов
типов nсм. также тип -
2 система типов
1) Oil: typing system2) Programming: type system (Система типов и операций над объектами этих типов. Проверка типа позволяет убедиться в том, что затребованная операция над данными типами допустима. Скажем, функцию необходимо вызывать с аргументами подходящих типов) -
3 контроль типов
контроль типов
проверка соответствия типов
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
Синонимы
EN
Русско-английский словарь нормативно-технической терминологии > контроль типов
-
4 этих типов
Русско-английский научно-технический словарь переводчика > этих типов
-
5 без контроля типов
Русско-английский словарь по информационным технологиям > без контроля типов
-
6 номенклатура типов зданий
номенклатура типов зданий
Систематизированный перечень названий типов зданий, применяемых в проектировании и строительстве
[Терминологический словарь по строительству на 12 языках (ВНИИИС Госстроя СССР)]Тематики
EN
DE
FR
Русско-немецкий словарь нормативно-технической терминологии > номенклатура типов зданий
-
7 номенклатура типов зданий
номенклатура типов зданий
Систематизированный перечень названий типов зданий, применяемых в проектировании и строительстве
[Терминологический словарь по строительству на 12 языках (ВНИИИС Госстроя СССР)]Тематики
EN
DE
FR
Русско-английский словарь нормативно-технической терминологии > номенклатура типов зданий
-
8 преобразование типов
преобразование типов
Преобразование значений некоторого типа данных к значениям другого типа.
[ ГОСТ 28397-89]Тематики
EN
Conversion
Преобразование значений некоторого типа данных к значениям другого типа
Источник: ГОСТ 28397-89: Языки программирования. Термины и определения оригинал документа
Русско-английский словарь нормативно-технической терминологии > преобразование типов
-
9 тормозные системы различных типов
тормозные системы различных типов
Системы, различающиеся между собой по таким существенным признакам, как:
1) характеристики элементов тормозной системы;
2) характеристики материалов, из которых изготовлен хотя бы один элемент, или форма или размеры такого элемента;
3) комбинации элементов в тормозных системах в сборе.
[ ГОСТ Р 41.13-2007]Тематики
EN
2.7 тормозные системы различных типов (different types of braking system): Системы, различающиеся между собой по таким существенным признакам, как:
2.7.1 характеристики элементов тормозной системы;
2.7.2 характеристики материалов, из которых изготовлен хотя бы один элемент, или форма или размеры такого элемента;
2.7.3 комбинации элементов в тормозных системах в сборе.
Источник: ГОСТ Р 41.13-2007: Единообразные предписания, касающиеся транспортных средств категорий М, N и О в отношении торможения оригинал документа
Русско-английский словарь нормативно-технической терминологии > тормозные системы различных типов
-
10 эволюция типов (данных)
эволюция типов (данных)
Эволюция типов - это механизм, который позволяет пользователю изменять тип и распространять эти изменения на другие объекты схемы, которые ссылаются на модифицированный тип.
[ http://www.morepc.ru/dict/]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > эволюция типов (данных)
-
11 номенклатура типов зданий
номенклатура типов зданий
Систематизированный перечень названий типов зданий, применяемых в проектировании и строительстве
[Терминологический словарь по строительству на 12 языках (ВНИИИС Госстроя СССР)]Тематики
EN
DE
FR
Русско-французский словарь нормативно-технической терминологии > номенклатура типов зданий
-
12 автоматическое контекстно-зависимое преобразование типов
Programming: coercion (приведение типов)Универсальный русско-английский словарь > автоматическое контекстно-зависимое преобразование типов
-
13 безопасность типов
Programming: type safety (система типов)Универсальный русско-английский словарь > безопасность типов
-
14 статическая проверка типов
Универсальный русско-английский словарь > статическая проверка типов
-
15 классификация типов личности Хеймана и Вирсма
nDictionnaire russe-français universel > классификация типов личности Хеймана и Вирсма
-
16 всё разнообразие типов
Всё разнообразие типов-- When you consider the many types of components utilized, it becomes obvious that practically no attention has been placed on wear by this industry.Русско-английский научно-технический словарь переводчика > всё разнообразие типов
-
17 разных типов
Разных типовThe readings obtained at different types of outlet by different methods of measurement can be compared.The methods of measurement to be employed on the various types of terminal are given in Section A3.Русско-английский научно-технический словарь переводчика > разных типов
-
18 библиотека типов
(в COM-технологиях - содержит стандартизированное описание интерфейсов объектов; может распространяться в виде файла или потока внутри файла структурированного хранилища) type library, (составной документ OLE, содержащий стандартные описания типов данных, модулей и интерфейсов объектов OLE, используемый другими приложениями для получения информации об OLE-сервере (OLE server), имеет обычно расширение.TLB) type library fileРусско-английский словарь по вычислительной технике и программированию > библиотека типов
-
19 преобразование типов волн взаимное
преобразование типов волн взаимноепераўтварэнне тыпаў хваль узаемнаеРусско-белорусский словарь математических, физических и технических терминов > преобразование типов волн взаимное
-
20 распознавание типов почв
распознавание типов почвраспазнаванне тыпаў глебРусско-белорусский словарь математических, физических и технических терминов > распознавание типов почв
См. также в других словарях:
ТИПОВ ТЕОРИЯ — система расширенного предикатов исчисления или аксиоматич. теории множеств, включающая переменные различных типов (сортов, ступеней, порядков). Различные системы Т. т. были предложены (впервые – Б. Расселом в 1908) в качестве одной из… … Философская энциклопедия
Типов теория (в логике) — Типов теория в логике, система расширенного исчисления предикатов или аксиоматической теории множеств, включающая переменные различных «типов» (сортов, ступеней, порядков). Формальные объекты этой теории, согласно системе Рассела Уайтхеда,… … Большая советская энциклопедия
Типов теория (в химии) — Типов теория в химии, одна из ведущих химических теорий середины 19 в. В 1839 1840 Ж. Б. Дюма предложил рассматривать химические соединения как продукты замещения одних элементов или радикалов (см. Радикалов теория) другими в немногих «типичных»… … Большая советская энциклопедия
ТИПОВ ИССЛЕДОВАНИЕ — см. Тип. Философский энциклопедический словарь. 2010 … Философская энциклопедия
Типов теория — I Типов теория в химии, одна из ведущих химических теорий середины 19 в. В 1839 1840 Ж. Б. Дюма предложил рассматривать химические соединения как продукты замещения одних элементов или радикалов (см. Радикалов теория) другими в немногих… … Большая советская энциклопедия
ТИПОВ, ОТНОШЕНИЕ К ЧИСЛУ СИМВОЛОВ — В исследованиях языка – отношение числа разных типов слов к общему числу символов в системе языкА. В наиболее часто используемом смысле под числом символов понимается общее число слов в языке, а под числом типов – общее число различных типов слов … Толковый словарь по психологии
типов теория — система логики предикатов более высокого порядка, чем первый, включающая переменные различных уровней, типов (см.: Переменная) и ограничения на подстановку термов вместо переменных. В ней по меньшей мере имеются не только предметные переменные,… … Словарь терминов логики
ТИПОВ ТЕОРИЯ — формальная теория 1 го порядка (см. Формальная система), один из вариантов к рой простая теория типов описан ниже. Термин лТ. т … Математическая энциклопедия
типовість — вості, ж. 1) Властивість за знач. типовий 1), 2). Типовість обличчя. 2) Поєднання в одній особі, в одному явищі індивідуальних, своєрідних рис, ознак і властивостей, характерних для сукупності осіб, явищ … Український тлумачний словник
типов — прил. еднообразен, еднакъв, едноформен, уеднаквен, стандартизиран, по образец прил. общоприет, установен, стандартен, нормален, обикновен … Български синонимен речник
ТИПОВ ТЕОРИЯ — см. Органическая химия … Химическая энциклопедия