AXIOMATIZABLE SYSTEM

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

матем. аксиоматизированная система

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

AXIOMATIZABLE SYSTEM — мат. аксиоматизированная система
Большой Англо-Русский словарь
AXIOMATIZABLE SYSTEM — мат. аксиоматизированная система
Новый большой Англо-Русский словарь
SYSTEM — 1) комплекс 2) множество 3) область 4) система 5) системный 6) совокупность 7) схемный 8) устройство • absolutely complete system — абсолютно полная система absolutely direct indecomposable system — абсолютно …
Англо-Русский научно-технический словарь
SYSTEM — [c mediumvioletred] (as used in expressions) Small Computer System Interface ABO blood group system actor manager system American System of …
Английский словарь Британика
SYSTEM — ˈsistə̇m noun ( -s ) Etymology: Late Latin systema, from Greek systēma, from synistanai to bring together, combine, from syn- …
Webster's New International English Dictionary
SYSTEM — / ˈsɪstəm; NAmE / noun 1. [ C ] system (of / for sth) an organized set of ideas or …
Oxford Advanced Learner's English Dictionary
SYSTEM — sys ‧ tem S1 W1 /ˈsɪstəm, ˈsɪstɪm/ BrE AmE noun [ Word Family: noun : ↑ system , ↑ systematization …
Longman Dictionary of Contemporary English
SYSTEM — ( systems) Frequency: The word is one of the 700 most common words in English. 1. A system is a …
Collins COBUILD Advanced Learner's English Dictionary
SYSTEM — noun COLLOCATIONS FROM OTHER ENTRIES a class system/structure (= a social system that has classes ) ▪ He felt he …
Longman DOCE5 Extras English vocabulary
SYSTEM — n. free enterprise system Small Computer System Interface ABO blood group system actor manager system American System of manufacture Apgar …
Britannica Concise Encyclopedia
SYSTEM — An orderly, interconnected, complex arrangement of parts. See air filtration system , air injection reaction system , anti-lock brake system …
English Dictionary of Automotive Terms
AXIOMATIZABLE — аксиоматизируемый finitely axiomatizable class ≈ конечно аксиоматизируемый класс finitely axiomatizable quasivariety ≈ конечно аксиоматизируемое квазимногообразие finitely axiomatizable system ≈ конечно …
Большой Англо-Русский словарь
SYSTEM — system.ogg ʹsıstım n 1. 1> система; способ; метод a good system of teaching French - хорошая система /-ий метод/ обучения …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
SYSTEM — 1) система; комплекс 2) установка; устройство 3) система; порядок; классификация 4) метод; способ • to bleed system free from air …
Большой Англо-Русский политехнический словарь
SYSTEM — 1) система; комплекс 2) установка; устройство 3) система; порядок; классификация 4) метод; способ • to bleed system free from air — прокачивать систему для удаления …
Большой Англо-Русский политехнический словарь - РУССО
AXIOMATIZABLE — аксиоматизируемый axiomatizable class — аксиоматизируемый класс axiomatizable theory — аксиоматизируемая теория axiomatizable type — аксиоматизируемый тип - finitely axiomatizable - recursively axiomatizable - universally axiomatizable
Англо-Русский научно-технический словарь
SYSTEM — n 1. 1> система; способ; метод a good system of teaching French - хорошая система /-ий метод/ обучения французскому языку …
Большой новый Англо-Русский словарь
SYSTEM
Англо-Русский словарь по машиностроению и автоматизации производства 2
SYSTEM
Англо-Русский словарь по машиностроению и автоматизации производства
SYSTEM — система - absorbent system - accessory olfactory system - action system - adaptive enzyme system - adrenal system - alimentary system - ambulacral system - artificial communication system - …
Новый Англо-Русский словарь по биологии
SYSTEM — система - absorbent system - accessory olfactory system - action system - adaptive enzyme system - adrenal system - alimentary …
Новый Англо-Русский биологический словарь
SYSTEM — 1) система || системный 2) система; установка; устройство; комплекс 3) программа - AI planning system - AI system - CAD …
Англо-Русский словарь по компьютерам
SYSTEM — 1) система; сеть; комплекс 2) установка, устройство 3) план; расположение 4) система; порядок; классификация • system in equilibrium — равновесная система - acoustic signalling system - active …
Англо-Русский словарь по строительству и новым строительным технологиям
SYSTEM — 1. система 2. агрегат; устройство; устройство 3. совокупность; семейство to troubleshoot system — отыскивать и устранять неисправности в системе; system with arbitrary …
Большой Англо-Русский словарь по нефти и газу
SYSTEM — сущ. 1) система 2) способ 3) метод 4) сеть 5) устройство 6) строй • - Accelerated Cost Recovery System - accounting system - administrative system - advanced system - alarm system - automated …
Англо-Русский словарь по экономике
SYSTEM — 1) система || системный 2) система; установка; устройство; комплекс 3) программа • - accounting system - adaptive control system - address selection system - addressing system - advice-giving …
Англо-Русский словарь по вычислительной технике и программированию
SYSTEM — 1) система; способ; метод 2) устройство; строй 3) классификация 4) учение 5) сеть (дорог) - systems and procedures - system …
Англо-Русский словарь по экономике и финансам
SYSTEM — 1) система; сеть (напр. трубопроводов) ; устройство 2) способ, метод - system in equilibrium - system of forces - system …
Англо-Русский строительный словарь
SYSTEM — 1) система; комплекс 2) метод; способ 3) канал 4) вычислительная система • - access control system - acoustic alarm system - acoustic image system - acoustic systems - actiontrack …
Англо-Русский словарь по телекоммуникациям
SYSTEM — система - apprenticeship system - case system - commission system - correctional system - correction system - examination system - first-to-file system - international trusteeship system - judicial system - …
Англо-Русский юридический словарь
SYSTEM — 1) система 2) устройство - system for guiding and supporting the web - Agate measuring system - air conveying system …
Англо-Русский словарь по полиграфии и издательскому делу
SYSTEM — система - accessory system - active antinoise system - active damping system - air brake system - air gulp system - air induction system - air intake …
Англо-Русский автомобильный словарь - Руссо
SYSTEM — система ; способ ; метод ; сеть ; строй ; формация ; учение ; ~ systems approach ; ~ systems …
Англо-Русский Деловой словарь
SYSTEM — 1) комплекс; совокупность; система 2) устройство 3) метод; план, проект; программа • - abstract information retrieval system - alert information system - automated design system - binary …
Англо-Русский словарь по патентам и товарным знакам
SYSTEM — система см. break the system см. communicate with system см. access control system см. access control list system см. access …
Англо-Русский словарь компьютерной безопасности
AXIOMATIZABLE — аксиоматизируемый finitely axiomatizable class ≈ конечно аксиоматизируемый класс finitely axiomatizable quasivariety ≈ конечно аксиоматизируемое квазимногообразие finitely axiomatizable system ≈ конечно …
Новый большой Англо-Русский словарь
NON-AXIOMATIZABLE — неаксиоматизуемый
Большой Англо-Русский словарь
AXIOMATIZABLE TYPE — мат. аксиоматизируемый тип
Большой Англо-Русский словарь
AXIOMATIZABLE THEOR — мат. аксиоматизируемая теория
Большой Англо-Русский словарь
AXIOMATIZABLE CLASS — мат. аксиоматизируемый класс
Большой Англо-Русский словарь
UNIVERSALLY AXIOMATIZABLE CLASS — матем. универсально аксиоматизируемый класс
Англо-Русский научно-технический словарь
UNIVERSALLY AXIOMATIZABLE — матем. универсально аксиоматизируемый
Англо-Русский научно-технический словарь
RELATIVELY AXIOMATIZABLE CLASS — матем. относительно аксиоматизируемый класс
Англо-Русский научно-технический словарь
RECURSIVELY AXIOMATIZABLE — матем. рекурсивно аксиоматизируемый
Англо-Русский научно-технический словарь
NON-AXIOMATIZABLE — неаксиоматизуемый
Англо-Русский научно-технический словарь
FINITELY AXIOMATIZABLE CLASS — матем. конечно аксиоматизируемый класс
Англо-Русский научно-технический словарь
FINITELY AXIOMATIZABLE — матем. конечно аксиоматизируемый
Англо-Русский научно-технический словарь
AXIOMATIZABLE TYPE — матем. аксиоматизируемый тип
Англо-Русский научно-технический словарь
AXIOMATIZABLE THEORY — матем. аксиоматизируемая теория
Англо-Русский научно-технический словарь
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 …
Англо-Русский научно-технический словарь
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 CLASS AXIOMATIZABLE THEORY→