AXIOMATIZATION PROCESS

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

мат. процесс аксиоматизации

New large English-Russian dictionary . Новый большой Англо-Русский словарь. 2011

AXIOMATIZATION PROCESS — мат. процесс аксиоматизации
Большой Англо-Русский словарь
AXIOMATIZATION — noun Date: 1931 the act or process of reducing to a system of axioms, axiomatize transitive verb
Толковый словарь английского языка - Merriam Webster
PROCESS — [c mediumvioletred] (as used in expressions) basic Bessemer process basic oxygen process Bessemer process bloomery process crucible process cyanide process …
Английский словарь Британика
PROCESS — I. ˈprä]ˌses also ˈprō] or ]_sə̇s noun ( plural processes “+ə̇z also ÷]_sə̇ˌsēz sometimes ÷]ˌse(ˌ)sēz) Etymology: Middle English proces, processe, …
Webster's New International English Dictionary
AXIOMATIZATION — ˌaksēˌäməd.ə̇ˈzāshən, -məˌtīˈz- noun ( -s ) : the act or process of axiomatizing — compare formalization
Webster's New International English Dictionary
PROCESS — — processual /pro sesh"ooh euhl/ or, esp. Brit, /proh-/ , adj. /pros"es/ ; esp. Brit. /proh"ses/ , n. , pl. …
Random House Webster's Unabridged English Dictionary
AXIOMATIZATION — n. act of expressing a theory as a set of axioms; process of reducing to a system of axioms (also …
Толковый словарь английского языка - Редакция bed
AXIOMATIZATION — noun Date: 1931 : the act or process of reducing to a system of axioms • ax·i·om·a·tize -sē-ˈä-mə-ˌtīz transitive verb
Merriam-Webster's Collegiate English vocabulary
AXIOMATIZATION — [ax.i.omat.iza.tion] n (1931): the act or process of reducing to a system of axioms -- ax.i.om.a.tize vt
Merriam-Webster English vocab
PROCESS — I . *pro·cess / ˈprəʊses; NAmE ˈprɑːses; ˈproʊ-/ noun , verb —see also process (II) ■ noun 1. a series …
Oxford Advanced Learner's English Dictionary
PROCESS — I. pro ‧ cess 1 S1 W1 AC /ˈprəʊses $ ˈprɑː-/ BrE AmE noun [countable] [ Word Family: noun : …
Longman Dictionary of Contemporary English
PROCESS — ( processes, processing, processed) Frequency: The word is one of the 700 most common words in English. 1. A process …
Collins COBUILD Advanced Learner's English Dictionary
PROCESS — I. noun COLLOCATIONS FROM OTHER ENTRIES a painful process ▪ It was just part of the painful process of growing …
Longman DOCE5 Extras English vocabulary
PROCESS — n. basic Bessemer process basic oxygen process Bessemer process bloomery process crucible process cyanide process MacArthur Forrest process due process …
Britannica Concise Encyclopedia
AXIOMATIZATION — аксиоматизация, аксиоматизируемость - axiomatization process - finite axiomatization - syntactic axiomatization Аксиоматизация
Большой Англо-Русский словарь
PROCESS — process.ogg _I 1. ʹprəʋsəs n 1. процесс; ход развития natural psychological process - естественный психологический процесс the evolutionary process - …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
PROCESS — 1) процесс 2) (технологический) процесс; (технологическая) обработка 3) технологический приём; способ 4) технология 5) режим; ход (процесса) 6) обрабатывать, подвергать …
Большой Англо-Русский политехнический словарь
PROCESS — 1) процесс 2) (технологический) процесс; (технологическая) обработка 3) технологический приём; способ 4) технология 5) режим; ход (процесса) 6) обрабатывать, подвергать обработке 7) подвергать анализу, анализировать 8) воспроизводить …
Большой Англо-Русский политехнический словарь - РУССО
PROCESS — 1) вычислительный 2) движение 3) обрабатывать 4) обрабатывающий 5) обработать 6) перерабатывать 7) прием 8) процедура 9) процесс 10) способ 11) технологический 12) течение • absolutely random process — чисто случайный процесс absorbing barrier …
Англо-Русский научно-технический словарь
AXIOMATIZATION — аксиоматизация - finite axiomatization - syntactic axiomatization
Англо-Русский научно-технический словарь
AXIOMATIZATION — (n) аксиоматизация
English-Russian Lingvistica'98 dictionary
PROCESS — _I 1. ʹprəʋsəs n 1. процесс; ход развития natural psychological process - естественный психологический процесс the evolutionary process - эволюционный …
Большой новый Англо-Русский словарь
PROCESS — 1) процесс; операция; обработка || обрабатывать 2) способ; метод; приём, технологический приём • to design process — разрабатывать технологию to …
Англо-Русский словарь по машиностроению и автоматизации производства 2
PROCESS — 1) процесс; операция; обработка || обрабатывать 2) способ; метод; приём, технологический приём • to design process — разрабатывать технологию to process the information — …
Англо-Русский словарь по машиностроению и автоматизации производства
PROCESS — 1) процесс 2) отросток, придаток, вырост, лопасть 3) подвергать обработке, обрабатывать • - articular process - autocatalytic process - batch process - bony process - catabolic process - ciliary …
Новый Англо-Русский словарь по биологии
PROCESS — 1) процесс 2) отросток, придаток, вырост, лопасть 3) подвергать обработке, обрабатывать • - articular process - autocatalytic process - batch …
Новый Англо-Русский биологический словарь
PROCESS — 1) процесс (в Windows - выполняемое приложение с собственным виртуальным адресным пространством, кодом, данными и другими ресурсами операционной системы, такими …
Англо-Русский словарь по компьютерам
PROCESS — 1) процесс; технологический процесс 2) стадия; положение 3) промышленный • to describe a technological process — описывать технологический процесс to design a process — разрабатывать …
Англо-Русский словарь по строительству и новым строительным технологиям
PROCESS — 1. процесс; технологический процесс 2. способ; метод; приём - aging process - Bardine process - base exchange process - cast shell process - cement setting …
Большой Англо-Русский словарь по нефти и газу
PROCESS — 1. сущ. 1) процесс 2) ход 3) течение, движение 4) юр. судебный процесс • - arbitration , arbitration process - bargaining process - budgetary process - certification of process - …
Англо-Русский словарь по экономике
PROCESS — 1) процесс (в Windows - выполняемое приложение с собственным виртуальным адресным пространством, кодом, данными и другими ресурсами операционной системы, такими …
Англо-Русский словарь по вычислительной технике и программированию
PROCESS — 1) процесс; способ 2) установка; цех (с непрерывным процессом производства) 3) перерабатывать, обрабатывать, отделывать - in process of retirement - …
Англо-Русский словарь по экономике и финансам
PROCESS — 1) процесс 2) обрабатывать - process of deterioration - activated sludge process - adiabatic process - aerobic biofilm process - …
Англо-Русский строительный словарь
PROCESS — процесс - combined decoding process - commutation process - decoding process - encoding process - interference prediction process - Markovian process - outgoing local process - print process - …
Англо-Русский словарь по телекоммуникациям
PROCESS — 1) приказ суда, особ. приказ о вызове в суд 2) процедура; порядок; производство дел; судопроизводство; процессуальные нормы; судебный процесс | начинать …
Англо-Русский юридический словарь
PROCESS — 1) способ; технология; процесс 2) обрабатывать 3) воспроизводить фотомеханическим способом 4) проявлять - additive process - ageing process - Albert …
Англо-Русский словарь по полиграфии и издательскому делу
PROCESS — обрабатывать ; перерабатывать ; подвергать какому-либо процессу ; процесс ; ход ; течение ; движение ; технологический процесс ; прием …
Англо-Русский Деловой словарь
PROCESS — 1) способ (патентоспособный класс изобретений - определенная последовательность операций, выполняемых с соблюдением определенных условий и приводящих к получению определенного эффекта) 2) …
Англо-Русский словарь по патентам и товарным знакам
PROCESS — I 1. сущ. 1) общ. процесс (последовательность взаимосвязанных действий, явлений или состояний) process optimization — оптимизация процесса process engineering — технология; организация производственного процесса process …
Новый англо-русский толковый словарь по менеджменту и экономике труда
PROCESS — процесс см. accessing process см. adaptive process см. algorithmic process см. call-screening process см. concurrent process см. conversion process см. …
Англо-Русский словарь компьютерной безопасности
AXIOMATIZATION — аксиоматизация, аксиоматизируемость - axiomatization process - finite axiomatization - syntactic axiomatization Аксиоматизация
Новый большой Англо-Русский словарь
SYNTACTIC AXIOMATIZATION — мат. синтаксическая аксиоматизация
Большой Англо-Русский словарь
FINITE AXIOMATIZATION — мат. конечная аксиоматизация
Большой Англо-Русский словарь
SYNTACTIC AXIOMATIZATION — матем. синтаксическая аксиоматизация
Англо-Русский научно-технический словарь
FINITE AXIOMATIZATION — матем. конечная аксиоматизация
Англо-Русский научно-технический словарь
AXIOMATIZATION POLICY — стратегия выдвижения аксиом; стратегия аксиоматизации
Англо-Русский словарь по вычислительной технике и программированию
SYNTACTIC AXIOMATIZATION — мат. синтаксическая аксиоматизация
Новый большой Англо-Русский словарь
AXIOMATIZE — transitive verb see: axiomatization
Толковый словарь английского языка - Merriam Webster
AXIOMATISATION — see: axiomatization
Толковый словарь английского языка - Merriam Webster
A PRIORI — I. |āprē|ōrē, |ä-, |a-, |ȧ-, -ȯr-, -ri; |āˌprī|ōrˌī, -ȯˌrī, -ōrē, -ȯrē, -ri adverb Etymology: Latin, literally, from the former 1. …
Webster's New International English Dictionary
FORMALIZATION — ˌ ̷ ̷mələ̇ˈzāshən, -ˌlīˈz- noun ( -s ) : an act of formalizing or the state of being formalized — compare axiomatization
Webster's New International English Dictionary
AXIOMATISATION — n. act of expressing a theory as a set of axioms; process of reducing to a system of axioms (also …
Толковый словарь английского языка - Редакция bed
AXIOMATIZE — see axiomatization
Merriam-Webster's Collegiate English vocabulary
AXIOMATISATION — chiefly British variant of axiomatization
Merriam-Webster's Collegiate English vocabulary
AXIOMATISATION — [ax.i.omat.isa.tion] chiefly Brit var of axiomatization
Merriam-Webster English vocab
VON NEUMANN, JOHN — born Dec. 3, 1903, Budapest, Hung. died Feb. 8, 1957, Washington, D.C., U.S. original name Johann Von Neumann Hungarian-American mathematician …
Britannica English vocabulary
MATHEMATICISM — the effort to employ the formal structure and rigorous method of mathematics as a model for the conduct of philosophy. …
Britannica English vocabulary
АКСИОМАТИЗАЦИЯ — f. axiomatization
Russian-English Dictionary of the Mathematical Sciences
POLICY — политика, стратегия; образ действий - account policy - axiomatization policy - data policy - database selection policy - security policy
Англо-Русский словарь по вычислительной технике и программированию
СИНТАКСИЧЕСКАЯ АКСИОМАТИЗАЦИЯ — мат. syntactic axiomatization
Большой Русско-Английский словарь
ПРОЦЕСС АКСИОМАТИЗАЦИИ — мат. axiomatization process
Большой Русско-Английский словарь
АКСИОМАТИЗИРУЕМОСТЬ — axiomatizability, axiomatization
Большой Русско-Английский словарь
АКСИОМАТИЗАЦИЯ — axiomatization
Большой Русско-Английский словарь

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

← AXIOMATIZATION AXIOMATIZATIONS→