AXIOMATIZABLE

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

аксиоматизируемый axiomatizable class — аксиоматизируемый класс axiomatizable theory — аксиоматизируемая теория axiomatizable type — аксиоматизируемый тип - finitely axiomatizable - recursively axiomatizable - universally axiomatizable

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

AXIOMATIZABLE — аксиоматизируемый finitely axiomatizable class ≈ конечно аксиоматизируемый класс finitely axiomatizable quasivariety ≈ конечно аксиоматизируемое квазимногообразие finitely axiomatizable system ≈ конечно …
Большой Англо-Русский словарь
AXIOMATIZABLE — аксиоматизируемый finitely axiomatizable class ≈ конечно аксиоматизируемый класс finitely axiomatizable quasivariety ≈ конечно аксиоматизируемое квазимногообразие finitely axiomatizable system ≈ конечно …
Новый большой Англо-Русский словарь
NON-AXIOMATIZABLE — неаксиоматизуемый
Большой Англо-Русский словарь
AXIOMATIZABLE TYPE — мат. аксиоматизируемый тип
Большой Англо-Русский словарь
AXIOMATIZABLE THEOR — мат. аксиоматизируемая теория
Большой Англо-Русский словарь
AXIOMATIZABLE SYSTEM — мат. аксиоматизированная система
Большой Англо-Русский словарь
AXIOMATIZABLE CLASS — мат. аксиоматизируемый класс
Большой Англо-Русский словарь
UNIVERSALLY AXIOMATIZABLE CLASS — матем. универсально аксиоматизируемый класс
Англо-Русский научно-технический словарь
UNIVERSALLY AXIOMATIZABLE — матем. универсально аксиоматизируемый
Англо-Русский научно-технический словарь
RELATIVELY AXIOMATIZABLE CLASS — матем. относительно аксиоматизируемый класс
Англо-Русский научно-технический словарь
RECURSIVELY AXIOMATIZABLE — матем. рекурсивно аксиоматизируемый
Англо-Русский научно-технический словарь
NON-AXIOMATIZABLE — неаксиоматизуемый
Англо-Русский научно-технический словарь
FINITELY AXIOMATIZABLE CLASS — матем. конечно аксиоматизируемый класс
Англо-Русский научно-технический словарь
FINITELY AXIOMATIZABLE — матем. конечно аксиоматизируемый
Англо-Русский научно-технический словарь
AXIOMATIZABLE TYPE — матем. аксиоматизируемый тип
Англо-Русский научно-технический словарь
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 …
Англо-Русский научно-технический словарь
TYPE — 1) вид 2) литера 3) марка 4) печатать на машинке 5) род 6) тип 7) типичный образец 8) шрифт • abstract data type — матем. объект информационный абстрактный boxing of …
Англо-Русский научно-технический словарь
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 …
Новый большой Англо-Русский словарь

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

← AXIOMATIZABILITY AXIOMATIZABLE CLASS→