AXIOMATIZATION

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

аксиоматизация - finite axiomatization - syntactic axiomatization

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

AXIOMATIZATION — noun Date: 1931 the act or process of reducing to a system of axioms, axiomatize transitive verb
Толковый словарь английского языка - Merriam Webster
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
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
AXIOMATIZATION — аксиоматизация, аксиоматизируемость - axiomatization process - finite axiomatization - syntactic axiomatization Аксиоматизация
Большой Англо-Русский словарь
AXIOMATIZATION — (n) аксиоматизация
English-Russian Lingvistica'98 dictionary
AXIOMATIZATION — аксиоматизация, аксиоматизируемость - axiomatization process - finite axiomatization - syntactic axiomatization Аксиоматизация
Новый большой Англо-Русский словарь
AXIOMATIZATION — Pronunciation: ˌ ak-s ē - ə - ˌ ma-t ə - ' z ā -sh ə n, -s ē - …
Merriam Webster Collegiate English Dictionary
SYNTACTIC AXIOMATIZATION — мат. синтаксическая аксиоматизация
Большой Англо-Русский словарь
FINITE AXIOMATIZATION — мат. конечная аксиоматизация
Большой Англо-Русский словарь
AXIOMATIZATION PROCESS — мат. процесс аксиоматизации
Большой Англо-Русский словарь
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
Большой Русско-Английский словарь

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

← AXIOMATIZABLE TYPE AXIOMATIZE→