-
1 типов
-
2 типов
типовой* * *ти́пов, станда́ртен птиповой -
3 типовість
- остітипи́чность -
4 без контроля типов
Большой англо-русский и русско-английский словарь > без контроля типов
-
5 библиотека типов
Большой англо-русский и русско-английский словарь > библиотека типов
-
6 диаграмма типов колебаний
Большой англо-русский и русско-английский словарь > диаграмма типов колебаний
-
7 динамический контроль типов
Большой англо-русский и русско-английский словарь > динамический контроль типов
-
8 идентификация типов волн
Большой англо-русский и русско-английский словарь > идентификация типов волн
-
9 иерархия типов
Большой англо-русский и русско-английский словарь > иерархия типов
-
10 контроль соответствия типов
Большой англо-русский и русско-английский словарь > контроль соответствия типов
-
11 контроль типов
Большой англо-русский и русско-английский словарь > контроль типов
-
12 контроль типов данных
Большой англо-русский и русско-английский словарь > контроль типов данных
-
13 несоответствие типов
вчт type mismatchБольшой англо-русский и русско-английский словарь > несоответствие типов
-
14 переименование типов
Большой англо-русский и русско-английский словарь > переименование типов
-
15 преобразование типов
Большой англо-русский и русско-английский словарь > преобразование типов
-
16 приведение типов
Большой англо-русский и русско-английский словарь > приведение типов
-
17 проверка соответствия типов
вчт type checkБольшой англо-русский и русско-английский словарь > проверка соответствия типов
-
18 проверять соответствие типов
Большой англо-русский и русско-английский словарь > проверять соответствие типов
-
19 произведение типов
Большой англо-русский и русско-английский словарь > произведение типов
-
20 соответствие типов
Большой англо-русский и русско-английский словарь > соответствие типов
См. также в других словарях:
ТИПОВ ТЕОРИЯ — система расширенного предикатов исчисления или аксиоматич. теории множеств, включающая переменные различных типов (сортов, ступеней, порядков). Различные системы Т. т. были предложены (впервые – Б. Расселом в 1908) в качестве одной из… … Философская энциклопедия
Типов теория (в логике) — Типов теория в логике, система расширенного исчисления предикатов или аксиоматической теории множеств, включающая переменные различных «типов» (сортов, ступеней, порядков). Формальные объекты этой теории, согласно системе Рассела Уайтхеда,… … Большая советская энциклопедия
Типов теория (в химии) — Типов теория в химии, одна из ведущих химических теорий середины 19 в. В 1839 1840 Ж. Б. Дюма предложил рассматривать химические соединения как продукты замещения одних элементов или радикалов (см. Радикалов теория) другими в немногих «типичных»… … Большая советская энциклопедия
ТИПОВ ИССЛЕДОВАНИЕ — см. Тип. Философский энциклопедический словарь. 2010 … Философская энциклопедия
Типов теория — I Типов теория в химии, одна из ведущих химических теорий середины 19 в. В 1839 1840 Ж. Б. Дюма предложил рассматривать химические соединения как продукты замещения одних элементов или радикалов (см. Радикалов теория) другими в немногих… … Большая советская энциклопедия
ТИПОВ, ОТНОШЕНИЕ К ЧИСЛУ СИМВОЛОВ — В исследованиях языка – отношение числа разных типов слов к общему числу символов в системе языкА. В наиболее часто используемом смысле под числом символов понимается общее число слов в языке, а под числом типов – общее число различных типов слов … Толковый словарь по психологии
типов теория — система логики предикатов более высокого порядка, чем первый, включающая переменные различных уровней, типов (см.: Переменная) и ограничения на подстановку термов вместо переменных. В ней по меньшей мере имеются не только предметные переменные,… … Словарь терминов логики
ТИПОВ ТЕОРИЯ — формальная теория 1 го порядка (см. Формальная система), один из вариантов к рой простая теория типов описан ниже. Термин лТ. т … Математическая энциклопедия
типовість — вості, ж. 1) Властивість за знач. типовий 1), 2). Типовість обличчя. 2) Поєднання в одній особі, в одному явищі індивідуальних, своєрідних рис, ознак і властивостей, характерних для сукупності осіб, явищ … Український тлумачний словник
типов — прил. еднообразен, еднакъв, едноформен, уеднаквен, стандартизиран, по образец прил. общоприет, установен, стандартен, нормален, обикновен … Български синонимен речник
ТИПОВ ТЕОРИЯ — см. Органическая химия … Химическая энциклопедия