-
101 enumerable type
English-Russian dictionary of terms that are used in computer games > enumerable type
-
102 enumerated type
English-Russian dictionary of terms that are used in computer games > enumerated type
-
103 ordinal type
English-Russian dictionary of terms that are used in computer games > ordinal type
-
104 enumerated type
перечислимый типEnglish-Russian dictionary of technical terms > enumerated type
-
105 denumerable
перечислимый, счётный -
106 enumeration type
-
107 enumerated type
-
108 enumerable type
English-Russian dictionary of Information technology > enumerable type
-
109 enumerated type
English-Russian dictionary of Information technology > enumerated type
-
110 ordinal type
English-Russian dictionary of Information technology > ordinal type
-
111 enumerated type
English-Russian dictionary of computer science > enumerated type
-
112 ordinal type
English-Russian dictionary of computer science > ordinal type
-
113 enumerated type
-
114 ordinal type
-
115 recursively
1) рекурсно
2) рекурсивно
3) рекуррентно ∙ completely recursively enumerable class ≈ вполне рекурсивно перечислимый класс general recursively inequal numbers ≈ общерекурсивно неравные числа general recursively irrational number ≈ общерекурсивно иррациональное число general recursively true ≈ общерекурсивно истинный general recursively true formula ≈ общерекурсивно истинная формула primitive recursively true ≈ примитивно-рекурсивно истинный recursively approximable set ≈ рекурсивно аппроксимируемое множество recursively axiomatizable theor ≈ рекурсивно аксиоматизируемая теория recursively axiomatized theor ≈ рекурсивно аксиоматизированная теория recursively bounded quantifier ≈ рекурсивно ограниченный квантор recursively calculable function ≈ рекурсивно вычислимая функция recursively complex number ≈ рекурсивно комплексное число recursively continuous function ≈ рекурсивно непрерывная функция recursively convergent function ≈ рекурсивно сходящаяся функция recursively convergent sequence ≈ рекурсивно сходящаяся последовательность recursively creative set ≈ рекурсивно креативное множество recursively defined function ≈ рекуррентно определенная функция recursively defined sequence ≈ рекурсивно определенная последовательность recursively differentiable function ≈ рекурсивно дифференцируемая функция recursively divergent function ≈ рекурсивно расходящаяся функция recursively divergent sequence ≈ рекурсивно расходящаяся последовательность recursively enumerable cylinder ≈ рекурсивно перечислимый цилиндр recursively enumerable degree ≈ рекурсивно перечислимая степень recursively enumerable index ≈ рекурсивно перечислимый индекс recursively enumerable ordinal ≈ рекурсивно перечислимое порядковое число recursively enumerable predicate ≈ рекурсивно перечислимый предикат recursively enumerable problem ≈ рекурсивно перечислимая проблема recursively enumerable relation ≈ рекурсивно перечислимое отношение recursively enumerable sequence ≈ рекурсивно перечислимая последовательность recursively enumerable set ≈ рекурсивное перечислимое множество recursively enumerable structure ≈ рекурсивно перечислимая структура recursively enumerable subclass ≈ рекурсивно перечислимый подкласс recursively enumerable subset ≈ рекурсивно перечислимое подмножество recursively enumerable theor ≈ рекурсивно перечислимая теория recursively equivalent sets ≈ рекурсивно эквивалентные множества recursively extensible function ≈ рекурсивно продолжаемая функция recursively incompletable theor ≈ рекурсивно непополнимая теория recursively indecomposable set ≈ рекурсивно неразложимое множество recursively inseparable sets ≈ рекурсивно неотделимые множества recursively invariant concept ≈ рекурсивно инвариантное понятие recursively invariant relation ≈ рекурсивно инвариантное отношение recursively isomorphic set ≈ рекурсивно изоморфное множество recursively presentable structure ≈ рекурсивно представимая структура recursively presented group ≈ рекурсивно определенная группа recursively productive set ≈ рекурсивно продуктивное множество recursively real number ≈ рекурсивно вещественное число recursively related system of notation ≈ рекурсивная по упорядочению система обозначений recursively representable operation ≈ рекурсивно представимая операция recursively representable relation ≈ рекурсивно представимое отношение recursively separable sets ≈ рекурсивно отделимые множества recursively solvable problem ≈ рекурсивно разрешимая проблема recursively undecidable theor ≈ рекурсивно неразрешимая теория recursively unequal numbers ≈ рекурсивно неравные числа - recursively axiomatized - recursively calculable - recursively closed - recursively computable - recursively conditional - recursively continuous - recursively convergent - recursively differentiable - recursively divergent - recursively enumerable - recursively equivalent - recursively expressible - recursively extensible - recursively inseparable - recursively isomorphic - recursively isotonic - recursively presentable - recursively projective - recursively realizable - recursively representable - recursively soluble - recursively true - recursively unsolvable РекурсивноБольшой англо-русский и русско-английский словарь > recursively
-
116 recursively enumerable
Универсальный англо-русский словарь > recursively enumerable
-
117 enumerable
Большой англо-русский и русско-английский словарь > enumerable
-
118 type
taɪp
1. сущ.
1) тип;
представитель, образчик Have you done this type of work before? ≈ Вы уже делали такого рода работу?
2) класс, род Syn: kind, sort
3) модель
4) полигр. литера;
шрифт to set type ≈ набирать шрифт to set type by hand ≈ набирать шрифт вручную black type, bold type, boldface type, boldfaced type, fat type ≈ жирный шрифт elite type ≈ шрифт пишущей машинки в 12 знаков на дюйм;
цицеро italic type ≈ наклонный шрифт, курсив pica type ≈ цицеро regular type ≈ нормальный, базовый шрифт Roman type ≈ шрифт с засечами font of type ≈ шрифт, комплект шрифта fount of type ≈ шрифт, комплект шрифта, гарнитура
2. прил.
1) типографский type page ≈ полоса набора
2) типичный
3. гл.
1) писать, печатать на машинке to type a letter ≈ напечатать на машинке письмо She types well. ≈ Она печатает хорошо.
2) определять;
классифицировать;
относить к определенному типу to type a blood sample ≈ определять группу крови
3) быть типичным представителем
4) служить прообразом, быть прототипом;
предвосхищать ∙ type in typeout тип, типичный образец или представитель (чего-либо) - true to * типичный, характерный разновидность - literary * литературный тип род, класс, группа - blood * группа крови - seedless * of orange бессемянный сорт апельсина символ;
эмблема - a * of what was to come символ того, что должно было произойти модель, образец( в искусстве) - a * of Italian beauty тип итальянской красоты изображение на монете или медали отличительный знак или отличительная метка;
водяной знак - to be of the same * иметь один и тот же отличительный знак штамп, оттиск (полиграфия) литера (полиграфия) шрифт - black * жирный шрифт набор - cold * холодный набор (машинописный набор для фотоофсетного размножения) типичный типографский - * composition типографский набор писать, печатать на машинке - to * a letter напечатать на машинке письмо определять - to * a blood sample (медицина) определять группу крови классифицировать;
относить к определенному типу - she *d him a hero она отнесла его к разряду героев быть типичным представителем служить прообразом, быть прототипом;
предвосхищать (театроведение) подбирать актеров на роли по принципу типажности (театроведение) занимать актера в однотипных ролях abstract data ~ вчт. абстрактный тип данных aggregate ~ вчт. составной тип average ~ тип убытков base ~ вчт. исходный тип ~ полигр. литера;
шрифт;
black( или bold, fat) type жирный шрифт blocking ~ вчт. непрозрачный тип ~ род, класс, группа;
blood type группа крови body ~ полигр. шрифт основного текста boldfaced ~ полигр. выделительный шрифт boldfaced ~ полигр. жирный шрифт built-in ~ вчт. встроенный тип cold ~ вчт. компьютерный набор текста cold ~ машинописный набор cold ~ полигр. фотонабор cold ~ фотонабор cost ~ вид издержек data ~ вчт. тип данных device ~ вчт. тип устройства encapsulated ~ вчт. скрытый тип enumerated ~ вчт. перечислимый тип field ~ вчт. тип поля file ~ вчт. тип файла floating-point ~ вчт. тип с плавающей точкой fundamental data ~ вчт. основной тип данных fundamental ~ вчт. основной тип данных handling ~ вчт. вид обработки heavy-face ~ полигр. жирный шрифт investment ~ тип инвестирования jukebox ~ вчт. с автоматической сменой дисков media ~ вчт. тип носителя member ~ вчт. тип члена mixing ~ вчт. смешанный тип operation ~ вчт. вид операции ordinal ~ вчт. перечислимый тип poison ~ третий класс predefined ~ вчт. предопределенный тип primary ~ вчт. простой тип prime ~ вчт. простой тип private ~ вчт. приватный тип procedural ~ вчт. процедурный тип proportional ~ вчт. пропорциональный шрифт record ~ вчт. тип записи restricted ~ вчт. ограниченный тип scalar ~ вчт. скалярный тип set ~ вчт. тип набора statement ~ вчт. вид оператора ~ тип;
типичный образец или представитель (чего-л.) ;
true to type типичный;
характерный type вид ~ изображение на монете или медали ~ категория ~ класс ~ вчт. класс ~ полигр. литера;
шрифт;
black (или bold, fat) type жирный шрифт ~ полигр. литера ~ модель, образец;
символ ~ напечатать ~ печатать ~ писать на машинке ~ разновидность ~ род, класс, группа;
blood type группа крови ~ род ~ тип;
типичный образец или представитель (чего-л.) ;
true to type типичный;
характерный ~ тип ~ типичный образец ~ полигр. шрифт ~ attr.: ~ page полоса набора ~ in вчт. впечатать ~ in вчт. впечатывать ~ of account разновидность счета ~ of company тип компании ~ of enterprise тип предприятия ~ of expenditure категория затрат ~ of expenditure statement форма сметной калькуляции ~ of goods категория товаров ~ of goods товарная группа ~ of income вид дохода ~ of insurance вид страхования ~ of liability форма ответственности ~ of wages форма оплаты труда ~ attr.: ~ page полоса набора user-defined ~ вчт. тип пользователя variable ~ вчт. тип переменной -
119 recursively enumerable
1) перечислимый
2) рекурсивно перечислимый -
120 enumerated type
См. также в других словарях:
перечислимый — указываемый, счетный Словарь русских синонимов. перечислимый прил., кол во синонимов: 2 • счетный (9) • … Словарь синонимов
Перечислимый тип — Перечисляемый тип (сокращённо перечисление, англ. enumeration, enumerated type) в программировании тип данных, чьё множество значений представляет собой ограниченный список идентификаторов. Содержание 1 Описание и использование 2 Реализация 3 … Википедия
перечислимый — перечисл имый … Русский орфографический словарь
Рекурсивно перечислимый язык — В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете отредактировать эту статью, добавив ссылки на авторитетные источни … Википедия
рекурсивно-перечислимый — рекурсивно перечислимый … Орфографический словарь-справочник
Целое (тип данных) — Целое, целочисленный тип данных (англ. Integer), в информатике один из простейших и самых распространённых типов данных в языках программирования. Служит для представления целых чисел. Множество чисел этого типа представляет собой… … Википедия
счетный — перечислимый, цифирный, логарифмический, исчислимый, считающий Словарь русских синонимов. счетный прил., кол во синонимов: 9 • известный числом (2) • … Словарь синонимов
порядковый тип — перечислимый тип — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом Синонимы перечислимый тип EN ordinal type … Справочник технического переводчика
ЛОГИЧЕСКАЯ СЕМАНТИКА — раздел металогики, в к ром изучаются интерпретации логических исчислений. Осн. понятия Л. с. можно разделить на 2 группы: (1) понятия, применение к рых к выражениям логич. исчисления существенно зависит от выбора интерпретации (см. также Модель)… … Философская энциклопедия
НУМЕРОВАННАЯ МОДЕЛЬ — пара , где модель нек рой фиксированной сигнатуры и нумерация основного множества модели Наиболее развитым направлением в изучении Н. м. является конструктивных моделей теория. Другим направлением в теории Н. м. является исследование проблемы… … Математическая энциклопедия
Java — Иное название этого понятия «Ява»; см. также другие значения. Не следует путать с JavaScript. Java Класс языка … Википедия