AXIOMATIZABLE TYPE

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

матем. аксиоматизируемый тип

English-Russian scientific and technological dictionary . Англо-Русский научно-технический словарь. 2005

AXIOMATIZABLE TYPE — мат. аксиоматизируемый тип
Большой Англо-Русский словарь
AXIOMATIZABLE TYPE — мат. аксиоматизируемый тип
Новый большой Англо-Русский словарь
TYPE — 1) вид 2) литера 3) марка 4) печатать на машинке 5) род 6) тип 7) типичный образец 8) шрифт • abstract data type — матем. объект информационный абстрактный boxing of …
Англо-Русский научно-технический словарь
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
TYPE — /tuyp/ , n. , v. , typed, typing . n. 1. a number of things or persons sharing a particular …
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
TYPE — noun form or character impressed; style; semblance. 2. type ·noun the mark or impression of something; stamp; impressed sign; emblem. …
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
TYPE — / taɪp; NAmE / noun , verb ■ noun 1. [ C ] type (of sth) a class or group …
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
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
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
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
TYPE — 1. сущ. 1) тип; представитель, образчик Have you done this type of work before? ≈ Вы уже делали такого рода …
Большой Англо-Русский словарь
AXIOMATIZABLE — аксиоматизируемый finitely axiomatizable class ≈ конечно аксиоматизируемый класс finitely axiomatizable quasivariety ≈ конечно аксиоматизируемое квазимногообразие finitely axiomatizable system ≈ конечно …
Большой Англо-Русский словарь
TYPE — type.ogg 1. taıp n 1. тип, типичный образец или представитель ( чего-л. ) true to type - типичный, характерный 2. …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
TYPE — 1) тип; род; класс; вид; метал. тж сорт 2) литера; буква; знак 3) шрифт 4) писать [печатать] на пишущей машине …
Большой Англо-Русский политехнический словарь
TYPE — 1) тип; род; класс; вид; метал. тж сорт 2) литера; буква; знак 3) шрифт 4) писать [печатать] на пишущей машине 5) вчт. вводить (с …
Большой Англо-Русский политехнический словарь - РУССО
AXIOMATIZABLE — аксиоматизируемый axiomatizable class — аксиоматизируемый класс axiomatizable theory — аксиоматизируемая теория axiomatizable type — аксиоматизируемый тип - finitely axiomatizable - recursively axiomatizable - universally axiomatizable
Англо-Русский научно-технический словарь
TYPE — type сущ.1) тип; представитель, образчик Have you done this type of work before? — Вы уже делали такого рода работу? …
Англо-Русский словарь Tiger
TYPE — 1. taıp n 1. тип, типичный образец или представитель ( чего-л. ) true to type - типичный, характерный 2. разновидность …
Большой новый Англо-Русский словарь
TYPE — 1. сущ. 1) тип; представитель, образчик Have you done this type of work before? — Вы уже делали такого рода …
Англо-Русский словарь по общей лексике
TYPE — 1. сущ. 1) тип; представитель, образчик Have you done this type of work before? — Вы уже делали такого рода работу? It is …
Англо-Русский словарь общей лексики
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 - …
Большой Англо-Русский словарь по нефти и газу
TYPE — 1) тип; род; класс; вид 2) ЯП тип (данных, объекта, функции и т.п. ), см. тж data type - abstract data type - …
Англо-Русский словарь по вычислительной технике и программированию
TYPE — тип; класс - access type - data type - field motion type - frame-motion type - macroblock type - picture coding type - radio transmission type - servicing …
Англо-Русский словарь по телекоммуникациям
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? ≈ Вы уже делали такого рода …
Новый большой Англо-Русский словарь
AXIOMATIZABLE — аксиоматизируемый finitely axiomatizable class ≈ конечно аксиоматизируемый класс finitely axiomatizable quasivariety ≈ конечно аксиоматизируемое квазимногообразие finitely axiomatizable system ≈ конечно …
Новый большой Англо-Русский словарь
NON-AXIOMATIZABLE — неаксиоматизуемый
Большой Англо-Русский словарь
AXIOMATIZABLE THEOR — мат. аксиоматизируемая теория
Большой Англо-Русский словарь
AXIOMATIZABLE SYSTEM — мат. аксиоматизированная система
Большой Англо-Русский словарь
AXIOMATIZABLE CLASS — мат. аксиоматизируемый класс
Большой Англо-Русский словарь
UNIVERSALLY AXIOMATIZABLE CLASS — матем. универсально аксиоматизируемый класс
Англо-Русский научно-технический словарь
UNIVERSALLY AXIOMATIZABLE — матем. универсально аксиоматизируемый
Англо-Русский научно-технический словарь
RELATIVELY AXIOMATIZABLE CLASS — матем. относительно аксиоматизируемый класс
Англо-Русский научно-технический словарь
RECURSIVELY AXIOMATIZABLE — матем. рекурсивно аксиоматизируемый
Англо-Русский научно-технический словарь
NON-AXIOMATIZABLE — неаксиоматизуемый
Англо-Русский научно-технический словарь
FINITELY AXIOMATIZABLE CLASS — матем. конечно аксиоматизируемый класс
Англо-Русский научно-технический словарь
FINITELY AXIOMATIZABLE — матем. конечно аксиоматизируемый
Англо-Русский научно-технический словарь
AXIOMATIZABLE THEORY — матем. аксиоматизируемая теория
Англо-Русский научно-технический словарь
AXIOMATIZABLE SYSTEM — матем. аксиоматизированная система
Англо-Русский научно-технический словарь
AXIOMATIZABLE CLASS — матем. аксиоматизируемый класс
Англо-Русский научно-технический словарь
АКСИОМАТИЗИРУЕМЫЙ — adj. axiomatizable
Russian-English Dictionary of the Mathematical Sciences
RECURSIVELY — 1) рекурсно 2) рекурсивно 3) рекуррентно ∙ completely recursively enumerable class ≈ вполне рекурсивно перечислимый класс general recursively inequal numbers …
Большой Англо-Русский словарь
FINITELY — конечно-дифференцирующий almost finitely generated module ≈ почти конечно порожденный модуль almost finitely related module ≈ почти конечно связанный модуль finitely …
Большой Англо-Русский словарь
VARIETY — 1) вариетет 2) вид 3) многообразие 4) множество 5) модификация 6) порода 7) разновидность 8) разнообразие 9) тип • absolutely connected variety — абсолютно связное многообразие absolutely irreducible variety — абсолютно …
Англо-Русский научно-технический словарь
UNIVERSALLY — всемирно, универсально universally attracting object — универсально притягивающий объект universally axiomatizable class — универсально аксиоматизируемый класс universally axiomatizable subclass — универсально аксиоматизируемый подкласс universally …
Англо-Русский научно-технический словарь
SYSTEM — 1) комплекс 2) множество 3) область 4) система 5) системный 6) совокупность 7) схемный 8) устройство • absolutely complete system — абсолютно полная система absolutely direct indecomposable system — абсолютно …
Англо-Русский научно-технический словарь
SUBCLASS — подкласс disproportionate subclass numbers — непропорциональные численности в подклассах locally closed subclass — локально замкнутый подкласс partially ordered subclass — частично упорядоченный подкласс proportional …
Англо-Русский научно-технический словарь
RELATIVELY — относительно, взаимно- pairwise relatively prime ideals — попарно взаимно простые идеалы pairwise relatively prime numbers — попарно взаимно простые числа pairwise relatively primes …
Англо-Русский научно-технический словарь
RECURSIVELY — 1) рекуррентно 2) рекурсивно 3) рекурсно • completely recursively enumerable class — вполне рекурсивно перечислимый класс general recursively inequal numbers — общерекурсивно неравные числа general recursively …
Англо-Русский научно-технический словарь
CLASS — 1) класс; разряд; категория || классифицировать 2) качеств; сорт 3) класс, группа (в учебном заведении) 4) курс лекций, курс обучения • the senior class — …
Англо-Русский научно-технический словарь
НЕАКСИОМАТИЗУЕМЫЙ — non-axiomatizable
Большой Русско-Английский словарь
FINITELY — конечно-дифференцирующий almost finitely generated module ≈ почти конечно порожденный модуль almost finitely related module ≈ почти конечно связанный модуль finitely …
Новый большой Англо-Русский словарь

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

← AXIOMATIZABLE THEORY AXIOMATIZATION→