АКСИОМАТИЗИРУЕМЫЙ ТИП

Русско-английский перевод АКСИОМАТИЗИРУЕМЫЙ ТИП

мат. axiomatizable type

Большой Русско-Английский словарь. New big Russian-English dictionary. 2012

ТИП — m. type, model, kind; главный тип, Haupttypus (number theory)
Russian-English Dictionary of the Mathematical Sciences
АКСИОМАТИЗИРУЕМЫЙ — adj. axiomatizable
Russian-English Dictionary of the Mathematical Sciences
ТИП — Phylum
Русско-Американский Английский словарь
ТИП
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
ТИП
Русско-Английский словарь общей тематики
ТИП — 1) (растений) division 2) pattern 3) сист. phylum 4) type
Новый Русско-Английский биологический словарь
ТИП — Phylum
Russian Learner's Dictionary
ТИП — type
Russian Learner's Dictionary
ТИП
Русско-Английский словарь
ТИП
Russian-English Smirnitsky abbreviations dictionary
ТИП — make, mode, style, type
Русско-Английский словарь по машиностроению и автоматизации производства
ТИП
Русско-Английский краткий словарь по общей лексике
ТИП — cast, (судна) class, make, mode, type
Русско-Английский словарь по строительству и новым строительным технологиям
ТИП — Type
Британский Русско-Английский словарь
ТИП — denomination, make, sort, variant
Русско-Английский экономический словарь
ТИП — ТИП , -а, ТИПАЖ , -а, ТИПЧИК , -а, ТИПОЗНИК , -а, ТИПОШНИК , -а, м. , ТИПОВИНА , -ы, …
Англо-Русско-Английский словарь сленга, жаргона, русских имен
ТИП — 1. type; ~ корабля class of ship; самолет нового ~а a new type of aircraft; ~ шрифта полигр., вчт. font, fount; 2. (человек) fellow; подозрительный …
Русско-Английский словарь - QD
ТИП — см. тж. вид ; имеется много ~ов • The most common positive clutch is the spiral jaw type . • …
Русско-Английский научно-технический словарь переводчика
ТИП — м. type обычного типа — conventional - тип автомобиля - тип колеса - тип кузова - тип подвески - тип шины
Русско-Aнглийский автомобильный словарь
ТИП — 1) sort 2) type
Русско-Английский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
ТИП — см. большое количество … различного типа ; индуктивного типа ; контактного типа ; на различных типах самолетов ; по типу …
Русско-Английский словарь идиом по космонавтике
ТИП
Большой Русско-Английский словарь
АКСИОМАТИЗИРУЕМЫЙ — axiomatizable
Большой Русско-Английский словарь
ТИП — тип p type
Русско-Английский словарь Сократ
АКСИОМАТИЗИРУЕМЫЙ КЛАСС — мат. axiomatizable class
Большой Русско-Английский словарь
TYPE — 1. сущ. 1) тип; представитель, образчик Have you done this type of work before? ≈ Вы уже делали такого рода …
Большой Англо-Русский словарь
SPECIMEN
Большой Англо-Русский словарь
NATURE
Большой Англо-Русский словарь
FISH
Большой Англо-Русский словарь
FINITELY — конечно-дифференцирующий almost finitely generated module ≈ почти конечно порожденный модуль almost finitely related module ≈ почти конечно связанный модуль finitely …
Большой Англо-Русский словарь
AXIOMATIZABLE TYPE — мат. аксиоматизируемый тип
Большой Англо-Русский словарь
AXIOMATIZABLE CLASS — мат. аксиоматизируемый класс
Большой Англо-Русский словарь
AXIOMATIZABLE — аксиоматизируемый finitely axiomatizable class ≈ конечно аксиоматизируемый класс finitely axiomatizable quasivariety ≈ конечно аксиоматизируемое квазимногообразие finitely axiomatizable system ≈ конечно …
Большой Англо-Русский словарь
UNIVERSALLY AXIOMATIZABLE CLASS — матем. универсально аксиоматизируемый класс
Англо-Русский научно-технический словарь
UNIVERSALLY AXIOMATIZABLE — матем. универсально аксиоматизируемый
Англо-Русский научно-технический словарь
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 …
Англо-Русский научно-технический словарь
SUBCLASS — подкласс disproportionate subclass numbers — непропорциональные численности в подклассах locally closed subclass — локально замкнутый подкласс partially ordered subclass — частично упорядоченный подкласс proportional …
Англо-Русский научно-технический словарь
RELATIVELY AXIOMATIZABLE CLASS — матем. относительно аксиоматизируемый класс
Англо-Русский научно-технический словарь
RELATIVELY AXIOMATIC CLASS — матем. относительно аксиоматизируемый класс
Англо-Русский научно-технический словарь
RELATIVELY — относительно, взаимно- pairwise relatively prime ideals — попарно взаимно простые идеалы pairwise relatively prime numbers — попарно взаимно простые числа pairwise relatively primes …
Англо-Русский научно-технический словарь
RECURSIVELY AXIOMATIZABLE — матем. рекурсивно аксиоматизируемый
Англо-Русский научно-технический словарь
FINITELY AXIOMATIZABLE CLASS — матем. конечно аксиоматизируемый класс
Англо-Русский научно-технический словарь
FINITELY AXIOMATIZABLE — матем. конечно аксиоматизируемый
Англо-Русский научно-технический словарь
AXIOMATIZABLE TYPE — матем. аксиоматизируемый тип
Англо-Русский научно-технический словарь
AXIOMATIZABLE CLASS — матем. аксиоматизируемый класс
Англо-Русский научно-технический словарь
AXIOMATIZABLE — аксиоматизируемый axiomatizable class — аксиоматизируемый класс axiomatizable theory — аксиоматизируемая теория axiomatizable type — аксиоматизируемый тип - finitely axiomatizable - recursively axiomatizable - universally axiomatizable
Англо-Русский научно-технический словарь
СИСТЕМАТИКА — СИСТЕМАТИКА РАСТЕНИЙ Классификация растений и само определение последнего термина в ходе развития ботаники постоянно пересматривались. В середине прошлого века все …
Русский словарь Colier
ВИЗАНТИЙСКАЯ — ВИЗАНТИЙСКАЯ АРХИТЕКТУРА Существует пять основных типов византийских церквей. Базилика. Базиликальная разновидность церкви появилась в Константинополе довольно рано, о чем свидетельствуют …
Русский словарь Colier
ВОДОРОСЛИ — ВОДОРОСЛИ В прошлом водоросли считались примитивными растениями (без специализированных проводящих, или сосудистых, тканей); их выделяли в подотдел водорослей (Algae), который …
Русский словарь Colier
TYPE — 1. сущ. 1) тип; представитель, образчик Have you done this type of work before? ≈ Вы уже делали такого рода …
Новый большой Англо-Русский словарь
SPECIMEN
Новый большой Англо-Русский словарь
FINITELY — конечно-дифференцирующий almost finitely generated module ≈ почти конечно порожденный модуль almost finitely related module ≈ почти конечно связанный модуль finitely …
Новый большой Англо-Русский словарь
AXIOMATIZABLE TYPE — мат. аксиоматизируемый тип
Новый большой Англо-Русский словарь
AXIOMATIZABLE CLASS — мат. аксиоматизируемый класс
Новый большой Англо-Русский словарь
AXIOMATIZABLE — аксиоматизируемый finitely axiomatizable class ≈ конечно аксиоматизируемый класс finitely axiomatizable quasivariety ≈ конечно аксиоматизируемое квазимногообразие finitely axiomatizable system ≈ конечно …
Новый большой Англо-Русский словарь

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

← АКСИОМАТИЗИРУЕМЫЙ КЛАСС АКСИОМАТИЗУЕМОСТЬ→