AXIOMATIZATION POLICY

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

стратегия выдвижения аксиом; стратегия аксиоматизации

Масловский Е.К.. English-Russian dictionary of computer science. Англо-Русский словарь по вычислительной технике и программированию. 2005

POLICY — политика, стратегия; образ действий - account policy - axiomatization policy - data policy - database selection policy - security policy
Англо-Русский словарь по вычислительной технике и программированию
AXIOMATIZATION — noun Date: 1931 the act or process of reducing to a system of axioms, axiomatize transitive verb
Толковый словарь английского языка - Merriam Webster
POLICY — [c mediumvioletred] (as used in expressions) Big Stick Policy fiscal policy foreign policy Good Neighbour Policy incomes policy monetary policy …
Английский словарь Британика
POLICY — I. ˈpäləsē, -si noun ( -es ) Usage: often attributive Etymology: Middle English policie, from Middle French, from Late Latin …
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
POLICY — policy 1 /pol"euh see/ , n. , pl. policies . 1. a definite course of action adopted for the sake …
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
POLICY — noun civil polity. 2. policy ·noun motive; object; inducement. 3. policy ·vt to regulate by laws; to reduce to order. …
Webster English vocab
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
POLICY — / ˈpɒləsi; NAmE ˈpɑːl-/ noun ( pl. -ies ) 1. [ C , U ] policy (on sth) a plan …
Oxford Advanced Learner's English Dictionary
POLICY — pol ‧ i ‧ cy S3 W1 AC /ˈpɒləsi, ˈpɒlɪsi $ ˈpɑː-/ BrE AmE noun ( plural policies ) [ …
Longman Dictionary of Contemporary English
POLICY — ( policies) Frequency: The word is one of the 700 most common words in English. 1. A policy is a …
Collins COBUILD Advanced Learner's English Dictionary
POLICY — noun COLLOCATIONS FROM OTHER ENTRIES a controversial plan/proposal/policy ▪ the controversial plan to build a new airport a defence policy …
Longman DOCE5 Extras English vocabulary
POLICY — (PLAN) [noun] [C] - a set of ideas or a plan of what to do in particular situations that has …
Cambridge English vocab
POLICY — n. Big Stick Policy fiscal policy foreign policy Good Neighbour Policy incomes policy monetary policy New Economic Policy Open Door …
Britannica Concise Encyclopedia
POLICY — noun 1 plan of action ADJECTIVE ▪ clear , coherent ▪ explicit , specific ▪ strict ▪ conscious , deliberate …
Oxford Collocations English Dictionary
POLICY — I сущ. 1) а) политика, линия поведения, установка, курс to adopt, establish, formulate, set a policy ≈ принимать курс, устанавливать …
Большой Англо-Русский словарь
AXIOMATIZATION — аксиоматизация, аксиоматизируемость - axiomatization process - finite axiomatization - syntactic axiomatization Аксиоматизация
Большой Англо-Русский словарь
POLICY — policy.ogg _I ʹpɒlısı n 1. политика home /internal, domestic/ policy - внутренняя политика foreign policy - внешняя политика long-range policy …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
POLICY — 1) курс 2) поведение 3) полис 4) политика 5) режим 6) стратегия • optimal policy function — функция оптимальной политики policy improvement procedure — процедура совершенствования стратегии policy iteration …
Англо-Русский научно-технический словарь
AXIOMATIZATION — аксиоматизация - finite axiomatization - syntactic axiomatization
Англо-Русский научно-технический словарь
POLICY — I policy сущ.1) линия поведения, установка, курс, стратегия, политика to adopt a policy — принимать курс set a policy — …
Англо-Русский словарь Tiger
AXIOMATIZATION — (n) аксиоматизация
English-Russian Lingvistica'98 dictionary
POLICY — _I ʹpɒlısı n 1. политика home /internal, domestic/ policy - внутренняя политика foreign policy - внешняя политика long-range policy - …
Большой новый Англо-Русский словарь
POLICY — I ˈpɔlɪsɪ сущ. 1) линия поведения, установка, курс, стратегия, политика to adopt a policy — принимать курс set a policy …
Англо-Русский словарь по общей лексике
POLICY — I ['Ј€®Ў©Ў] policy.wav сущ. 1) линия поведения, установка, курс, стратегия, политика to adopt a policy — принимать курс set a policy — устанавливать политику to …
Англо-Русский словарь общей лексики
POLICY — в соч. - data policy - eight-sigma SPC policy - information policy - quality policy - R and D policy …
Англо-Русский словарь по машиностроению и автоматизации производства 2
POLICY — в соч. - data policy - eight-sigma SPC policy - information policy - quality policy - R and D policy - scientific policy - tooling policies
Англо-Русский словарь по машиностроению и автоматизации производства
POLICY — 1. политика; стратегия 2. методика; правила 3. порядок - cannibalization policy - certification policy - energy policy - failure replacement policy - gas price policy - …
Большой Англо-Русский словарь по нефти и газу
POLICY — I сущ. 1) политика 2) политический курс 3) курс, курс действий 4) методика • - accident policy - accounting policy - adopt a policy - Advisory Committee on Export …
Англо-Русский словарь по экономике
POLICY — 1) политика, курс; стратегия, поведение 2) методика; правила 3) страх. полис - policy free of premium - cancel a policy …
Англо-Русский словарь по экономике и финансам
POLICY — 1) политика 2) полис (страховой) 3) линия поведения, тактика • - adjustable policy - annuity policy - assurance policy - blanket policy - block policy - cargo policy - correctional …
Англо-Русский юридический словарь
POLICY — 1) полис [c gray](стр.) 2) программа; - action on policy - block policy - floating policy - gaining policy - …
Англо-Русский морской словарь
POLICY — политика ; страховой полис ; ~ policy-making organs ; ~ policy makers ; ~ policy measures ; ~ policy-mix ; …
Англо-Русский Деловой словарь
POLICY — 1) политика, курс 2) стратегия, поведение 3) методика; правила • - advertising policy - brand policy - international brand policy - laissez-faire policy - patent law policy - patent …
Англо-Русский словарь по патентам и товарным знакам
POLICY — сущ. 1) общ. политика, курс (действий), стратегия [методика] поведения [действия] (совокупность принципов, направлений и способов деятельности в определенной области); пол. политический …
Новый англо-русский толковый словарь по менеджменту и экономике труда
POLICY — политика; стратегия см. discretionary security policy см. identity-based security policy см. protection policy см. rule-based security policy см. security policy
Англо-Русский словарь компьютерной безопасности
POLICY — I сущ. 1) а) политика, линия поведения, установка, курс to adopt, establish, formulate, set a policy ≈ принимать курс, устанавливать …
Новый большой Англо-Русский словарь
AXIOMATIZATION — аксиоматизация, аксиоматизируемость - axiomatization process - finite axiomatization - syntactic axiomatization Аксиоматизация
Новый большой Англо-Русский словарь
SYNTACTIC AXIOMATIZATION — мат. синтаксическая аксиоматизация
Большой Англо-Русский словарь
FINITE AXIOMATIZATION — мат. конечная аксиоматизация
Большой Англо-Русский словарь
AXIOMATIZATION PROCESS — мат. процесс аксиоматизации
Большой Англо-Русский словарь
SYNTACTIC AXIOMATIZATION — матем. синтаксическая аксиоматизация
Англо-Русский научно-технический словарь
FINITE AXIOMATIZATION — матем. конечная аксиоматизация
Англо-Русский научно-технический словарь
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
СИНТАКСИЧЕСКАЯ АКСИОМАТИЗАЦИЯ — мат. syntactic axiomatization
Большой Русско-Английский словарь
ПРОЦЕСС АКСИОМАТИЗАЦИИ — мат. axiomatization process
Большой Русско-Английский словарь
АКСИОМАТИЗИРУЕМОСТЬ — axiomatizability, axiomatization
Большой Русско-Английский словарь
АКСИОМАТИЗАЦИЯ — axiomatization
Большой Русско-Английский словарь

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

← AXIOMATICS AXIOMATIZER→