ARITHMETIZATION

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

арифметизация - method of arithmetization - syntax arithmetization

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

ARITHMETIZATION — əˌrithməd.ə̇ˈzāshən, -əˌtīˈz-; ˌa(ˌ)rithˌmed.ə̇ˈz- noun ( -s ) : the treatment of various branches of higher mathematics by methods involving only …
Webster's New International English Dictionary
ARITHMETIZATION — арифметизация - method of arithmetization - syntax arithmetization
Англо-Русский научно-технический словарь
ARITHMETIZATION — арифметизация - method of arithmetization - syntax arithmetization
Новый большой Англо-Русский словарь
SYNTAX ARITHMETIZATION — мат. арифметизация синтаксиса, геделизация
Большой Англо-Русский словарь
METHOD OF ARITHMETIZATION — мат. метод арифметизации
Большой Англо-Русский словарь
SYNTAX ARITHMETIZATION — матем. арифметизация синтаксиса, геделизация
Англо-Русский научно-технический словарь
METHOD OF ARITHMETIZATION — матем. метод арифметизации
Англо-Русский научно-технический словарь
SYNTAX ARITHMETIZATION — мат. арифметизация синтаксиса, геделизация
Новый большой Англо-Русский словарь
METHOD OF ARITHMETIZATION — мат. метод арифметизации
Новый большой Англо-Русский словарь
WEIERSTRASS, KARL (THEODOR WILHELM) — born Oct. 31, 1815, Ostenfelde, Bavaria died Feb. 19, 1897, Berlin German mathematician, one of the founders of the modern …
Britannica English vocabulary
KRONECKER, LEOPOLD — born Dec. 7, 1823, Liegnitz, Prussia [now Legnica, Pol.] died Dec. 29, 1891, Berlin, Ger. German mathematician whose primary contributions …
Britannica English vocabulary
АРИФМЕТИЗАЦИЯ — f. arithmetization
Russian-English Dictionary of the Mathematical Sciences
SYNTAX — синтакс, синтаксис - syntax arithmetization - syntax language - syntax tree
Англо-Русский научно-технический словарь
METHOD — 1) метод 2) процедура 3) способ • adaptive smoothing method — метод адаптивного сглаживания alternating-variable descent method — матем. метод покоординатного спуска antithetic variate method — …
Англо-Русский научно-технический словарь
МЕТОД АРИФМЕТИЗАЦИИ — мат. method of arithmetization
Большой Русско-Английский словарь
ГЕДЕЛИЗАЦИЯ — мат. syntax arithmetization
Большой Русско-Английский словарь
АРИФМЕТИЗАЦИЯ СИНТАКСИСА — мат. syntax arithmetization
Большой Русско-Английский словарь
АРИФМЕТИЗАЦИЯ — arithmetization
Большой Русско-Английский словарь

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

← ARITHMETICS SERIES ARITHMETIZE→