TYPE INFERENCE

Англо-русский перевод TYPE INFERENCE

Модель типизации Хиндли — Милнера

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

TYPE INFERENCE — < programming > An algorithm for ascribing types to expressions in some language, based on the types of the constants …
FOLDOC Computer English Dictionary
TYPE — I. ˈtīp noun ( -s ) Usage: often attributive Etymology: Late Latin typus, from Latin & Greek; Latin typus image, …
Webster's New International English Dictionary
INFERENCE — ˈinf(ə)rən(t)s also -fərn- noun ( -s ) Etymology: Medieval Latin inferentia, from Latin inferent-, inferens (present participle of inferre ) …
Webster's New International English Dictionary
TYPE — /tuyp/ , n. , v. , typed, typing . n. 1. a number of things or persons sharing a particular …
Random House Webster's Unabridged English Dictionary
INFERENCE — /in"feuhr euhns, -freuhns/ , n. 1. the act or process of inferring. 2. something that is inferred: to make rash …
Random House Webster's Unabridged English Dictionary
TYPE — I. ˈtīp noun Usage: often attributive Etymology: Middle English, from Late Latin typus, from Latin & Greek; Latin typus image, …
Merriam-Webster's Collegiate English vocabulary
INFERENCE — noun Date: 1594 1. : the act or process of inferring: as a. : the act of passing from one …
Merriam-Webster's Collegiate English vocabulary
TYPE — noun form or character impressed; style; semblance. 2. type ·noun the mark or impression of something; stamp; impressed sign; emblem. …
Webster English vocab
INFERENCE — noun the act or process of inferring by deduction or induction. 2. inference ·noun that which inferred; a truth or …
Webster English vocab
TYPE — [type] n, often attrib [ME, fr. LL typus, fr. L & Gk; L typus image, fr. Gk typos blow, impression, …
Merriam-Webster English vocab
INFERENCE — [in.fer.ence] n (1594) 1: the act or process of inferring: as a: the act of passing from one proposition, statement, …
Merriam-Webster English vocab
INFERENCE — in statistics, the process of drawing conclusions about a particular parameter of a statistical distribution. One principal approach of statistical …
Britannica English vocabulary
TYPE — / taɪp; NAmE / noun , verb ■ noun 1. [ C ] type (of sth) a class or group …
Oxford Advanced Learner's English Dictionary
INFERENCE — / ˈɪnfərəns; NAmE / noun 1. [ C ] something that you can find out indirectly from what you already …
Oxford Advanced Learner's English Dictionary
TYPE — I. type 1 S1 W1 /taɪp/ BrE AmE noun [ Word Family: noun : ↑ type , ↑ typology ; …
Longman Dictionary of Contemporary English
INFERENCE — in ‧ fer ‧ ence AC /ˈɪnf ə rəns/ BrE AmE noun [ Word Family: verb : ↑ infer ; …
Longman Dictionary of Contemporary English
TYPE — n. & v. --n. 1 a a class of things or persons having common characteristics. b a kind or sort …
Английский основной разговорный словарь
TYPE — n. & v. n. 1 a a class of things or persons having common characteristics. b a kind or sort …
Concise Oxford English Dictionary
TYPE — n. & v. --n. 1. a a class of things or persons having common characteristics. b a kind or sort …
Oxford English vocab
TYPE — I. SORT OR KIND /taɪp/ ( types) Frequency: The word is one of the 1500 most common words in English. …
Collins COBUILD Advanced Learner's English Dictionary
INFERENCE — ( inferences) 1. An inference is a conclusion that you draw about something by using information that you already have …
Collins COBUILD Advanced Learner's English Dictionary
INFERENCE — (~s) 1. An ~ is a conclusion that you draw about something by using information that you already have about …
Collins COBUILD - Толковый словарь английского языка для изучающих язык
TYPE — I. noun COLLOCATIONS FROM OTHER ENTRIES a grammatical/spelling/typing error ▪ You lose marks if your paper contains spelling errors. a …
Longman DOCE5 Extras English vocabulary
INFERENCE — noun COLLOCATIONS FROM CORPUS ■ ADJECTIVE large ▪ In each study, contextual description is used in an effort to make …
Longman DOCE5 Extras English vocabulary
INFERENCE — [noun] [formal]They were warned to expect a heavy air attack and by inference many casualties. [U]His change of mind was …
Cambridge English vocab
INFERENCE — n. Function: noun 1 the deriving of a conclusion by reasoning FF1C; the answer was obtainable by inference FF1E; Synonyms: …
Collegiate Thesaurus English vocab
INFERENCE — noun 1. the deriving of a conclusion by reasoning the answer was obtainable by inference Synonyms: deduction, illation, judgment, ratiocination …
Collegiate Thesaurus English vocabulary
INFERENCE — noun ADJECTIVE ▪ fair , logical , reasonable , valid ▪ obvious VERB + INFERENCE ▪ draw , make ▪ …
Oxford Collocations English Dictionary
TYPE
Longman Activator English vocab
TYPE — < theory , programming > (Or "data type") A set of values from which a variable , constant , function …
FOLDOC Computer English Dictionary
INFERENCE — < logic > The logical process by which new facts are derived from known facts by the application of inference …
FOLDOC Computer English Dictionary
TYPE — 1. сущ. 1) тип; представитель, образчик Have you done this type of work before? ≈ Вы уже делали такого рода …
Большой Англо-Русский словарь
INFERENCE — сущ. 1) выведение, вывод, заключение, умозаключение to draw, make an inference from ≈ сделать вывод из invalid inference ≈ неправильный …
Большой Англо-Русский словарь
TYPE — type.ogg 1. taıp n 1. тип, типичный образец или представитель ( чего-л. ) true to type - типичный, характерный 2. …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
INFERENCE — inference.ogg ʹınf(ə)rəns n 1. 1> вывод, заключение; умозаключение unfounded inferences - необоснованные выводы /заключения/ to draw an inference from smth. …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
TYPE — 1) тип; род; класс; вид; метал. тж сорт 2) литера; буква; знак 3) шрифт 4) писать [печатать] на пишущей машине …
Большой Англо-Русский политехнический словарь
INFERENCE — (логический) вывод; умозаключение; рассуждение - analogical inference - analogic inference - formal inference
Большой Англо-Русский политехнический словарь
TYPE — 1) тип; род; класс; вид; метал. тж сорт 2) литера; буква; знак 3) шрифт 4) писать [печатать] на пишущей машине 5) вчт. вводить (с …
Большой Англо-Русский политехнический словарь - РУССО
INFERENCE — (логический) вывод; умозаключение; рассуждение - analogical inference - analogic inference - formal inference
Большой Англо-Русский политехнический словарь - РУССО
TYPE — 1) вид 2) литера 3) марка 4) печатать на машинке 5) род 6) тип 7) типичный образец 8) шрифт • abstract data type — матем. объект информационный абстрактный boxing of …
Англо-Русский научно-технический словарь
INFERENCE — 1) вывод 2) суждение 3) матем. умозаключение • method of inductive inference — метод индуктивного вывода method of statistical inference — метод статистического вывода theory of …
Англо-Русский научно-технический словарь
TYPE — type сущ.1) тип; представитель, образчик Have you done this type of work before? — Вы уже делали такого рода работу? …
Англо-Русский словарь Tiger
INFERENCE — inference сущ.1) выведение, вывод, заключение, умозаключение to draw, make an inference from — сделать вывод из invalid inference — неправильный …
Англо-Русский словарь Tiger
TYPE — 1. taıp n 1. тип, типичный образец или представитель ( чего-л. ) true to type - типичный, характерный 2. разновидность …
Большой новый Англо-Русский словарь
INFERENCE — n 1. 1> вывод, заключение; умозаключение unfounded inferences - необоснованные выводы /заключения/ to draw an inference from smth. - сделать …
Большой новый Англо-Русский словарь
TYPE — 1. сущ. 1) тип; представитель, образчик Have you done this type of work before? — Вы уже делали такого рода …
Англо-Русский словарь по общей лексике
INFERENCE — сущ. 1) выведение, вывод, заключение, умозаключение to draw, make an inference from — сделать вывод из invalid inference — неправильный …
Англо-Русский словарь по общей лексике
TYPE — 1. сущ. 1) тип; представитель, образчик Have you done this type of work before? — Вы уже делали такого рода работу? It is …
Англо-Русский словарь общей лексики
INFERENCE — сущ. 1) выведение, вывод, заключение, умозаключение to draw, make an inference from — сделать вывод из invalid inference — неправильный вывод valid inference — …
Англо-Русский словарь общей лексики
INFERENCE — 1) заключение, умозаключение ( напр. в экспертной системе ) , вывод 2) процесс умозаключения, процесс логического умозаключения • - data-directed …
Англо-Русский словарь по машиностроению и автоматизации производства 2
INFERENCE — 1) заключение, умозаключение (напр. в экспертной системе), вывод 2) процесс умозаключения, процесс логического умозаключения • - data-directed inference - diagnostic inference - dynamic inference - goal-directed …
Англо-Русский словарь по машиностроению и автоматизации производства
TYPE — 1) тип, типичный экземпляр, типичный представитель 2) разновидность 3) сист. тип • - community type - complementary mating type - mating type - name-bearing type - reaction type - …
Новый Англо-Русский словарь по биологии
TYPE — 1) тип, типичный экземпляр, типичный представитель 2) разновидность 3) сист. тип • - community type - complementary mating type - …
Новый Англо-Русский биологический словарь
TYPE — тип; вид; род; категория - accumulation type - cement type - chemical type of oil - drilling bit cutting structure type - drilling bit type - …
Большой Англо-Русский словарь по нефти и газу
INFERENCE — сущ., юр. 1) вывод, заключение adverse inference — вывод в пользу противной стороны impermissible inference — недопустимый вывод necessary inference — неизбежный вывод, с …
Англо-Русский словарь по экономике
TYPE — 1) тип; род; класс; вид 2) ЯП тип (данных, объекта, функции и т.п. ), см. тж data type - abstract data type - …
Англо-Русский словарь по вычислительной технике и программированию
INFERENCE — (логический) вывод, умозаключение; следствие - analogical inference - chain inference - deductive inference - formal inference - grammatical inference - immediate inference - inductive inference - mediate inference - …
Англо-Русский словарь по вычислительной технике и программированию
TYPE — тип; класс - access type - data type - field motion type - frame-motion type - macroblock type - picture coding type - radio transmission type - servicing …
Англо-Русский словарь по телекоммуникациям
INFERENCE — 1) вывод, заключение 2) предположение • - adverse inference - impermissible inference - permissible inference
Англо-Русский юридический словарь
TYPE
Англо-Русский словарь по полиграфии и издательскому делу
TYPE — 1) тип, вид; группа 2) шрифт; литера 3) символ 4) модель, образец 5) штамп, оттиск • - arabic type - art type - body type - bold type face - …
Англо-Русский словарь по патентам и товарным знакам
TYPE — 1. сущ. 1) тип; представитель, образчик Have you done this type of work before? ≈ Вы уже делали такого рода …
Новый большой Англо-Русский словарь
INFERENCE — сущ. 1) выведение, вывод, заключение, умозаключение to draw, make an inference from ≈ сделать вывод из invalid inference ≈ неправильный …
Новый большой Англо-Русский словарь

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

← TYPE CONVERSION TYPE OF TREE→