ФОРМАЛЬНАЯ ТЕОРЕМА

Русско-английский перевод ФОРМАЛЬНАЯ ТЕОРЕМА

мат. formal theorem

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

ТЕОРЕМА — f. theorem
Russian-English Dictionary of the Mathematical Sciences
ТЕОРЕМА — Theorem
Русско-Американский Английский словарь
ТЕОРЕМА — theorem доказать теорему — prove a theorem
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
ТЕОРЕМА — theorem
Русско-Английский словарь общей тематики
ТЕОРЕМА — theorem
Russian Learner's Dictionary
ТЕОРЕМА — ж. мат. theorem доказать теорему — prove a theorem
Русско-Английский словарь
ТЕОРЕМА — ж. мат. theorem доказать теорему — prove a theorem
Russian-English Smirnitsky abbreviations dictionary
ТЕОРЕМА — law, theorem
Русско-Английский словарь по строительству и новым строительным технологиям
ТЕОРЕМА — Theorem
Британский Русско-Английский словарь
ТЕОРЕМА — theorem
Русско-Английский экономический словарь
ТЕОРЕМА — theorem
Русско-Английский словарь - QD
ТЕОРЕМА — см. доказывать теорему
Русско-Английский научно-технический словарь переводчика
ТЕОРЕМА — 1) proposition 2) Thm
Русско-Английский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
ТЕОРЕМА — жен. мат. theorem доказать теорему обратная теорема ж. theorem
Большой Русско-Английский словарь
ТЕОРЕМА — теорема theorem
Русско-Английский словарь Сократ
WELL-FORMEDNESS — лингв. формальная правильность; отмеченность формальная правильность
Большой Англо-Русский словарь
THEOREM — сущ. теорема to deduce a theorem ≈ выводить теорему to formulate a theorem ≈ формулировать теорему to prove a theorem …
Большой Англо-Русский словарь
TECHNICAL DIFFICULTY — техническая трудность, формальная трудность
Большой Англо-Русский словарь
SYSTEM — сущ. 1) а) система Syn : method б) система, устройство; метод adversary system ≈ система состязательности в суде (правда выясняется …
Большой Англо-Русский словарь
SANCTION — 1. сущ. 1) официальное одобрение, разрешение, поддержка (чего-л.) to give sanction to ≈ одобрять (что-л.), давать разрешение на что-л. to …
Большой Англо-Русский словарь
PLEADING — 1. сущ. 1) юр. защита, выступление в роли адвоката Syn : advocacy, defence 2) мн.; юр. а) заявления, подаваемые в …
Большой Англо-Русский словарь
MODEL
Большой Англо-Русский словарь
LOGIC — сущ. логика to apply, use logic ≈ применять логику There is no logic in their policy. ≈ Их политика нелогична. …
Большой Англо-Русский словарь
LOG-EXPONENTIAL — логарифмически экспоненциальный formal log-exponential matrix ≈ формальная логарифмически экспоненциальная матрица - log-exponential sum
Большой Англо-Русский словарь
LIVERY — I прил. 1) напоминающий по цвету или консистенции печень 2) разг. связанный с расстройством или болезнью печени, предполагающий расстройство печени …
Большой Англо-Русский словарь
LETTER — I 1. сущ. 1) буква block letter ≈ прописная печатная буква capital letter, large letter, upper-case letter ≈ прописная (заглавная, …
Большой Англо-Русский словарь
GRAMMAR — сущ. 1) грамматика categorial grammar context-free grammar comparative grammar descriptive grammar functional grammar generative grammar historical grammar phrase-structure grammar prescriptive …
Большой Англо-Русский словарь
FORMALITY — сущ. 1) формальная сторона, формальность (действие, процесс, процедура установленного порядка) to complete, go through the formality ≈ исполнять формальности bureaucratic …
Большой Англо-Русский словарь
FORMAL VERIFICATION — формальная верификация (формальное доказательство соответствия программы ее спецификации)
Большой Англо-Русский словарь
FORMAL VARIABLE — лог. формальная переменная
Большой Англо-Русский словарь
FORMAL VALIDITY — мат. формальная обоснованность
Большой Англо-Русский словарь
FORMAL THEORY — формальная теория
Большой Англо-Русский словарь
FORMAL LOGIC — формальная логика формальная логика
Большой Англо-Русский словарь
ERROR — сущ. 1) заблуждение, оплошность, ошибка (во взглядах, расчетах и т. д.) in error, by error, through error ≈ по ошибке, …
Большой Англо-Русский словарь
ERGODIC — эргодический completely ergodic system ≈ вполне эргодическая система geometrically ergodic chain ≈ геометрически эргодическая цепь individual ergodic theorem ≈ индивидуальная …
Большой Англо-Русский словарь
DELIVERY — сущ. 1) а) поставка, доставка Extraordinary charges for the delivery of goods. ≈ Жуткие цены за доставку. accept delivery delivery …
Большой Англо-Русский словарь
VALUE — 1) величина 2) значение 3) нормировать 4) оценивать 5) показатель 6) расценивать 7) стоимость 8) цена 9) ценить 10) ценностный 11) ценность 12) число • absolute value of a vector — матем. величина …
Англо-Русский научно-технический словарь
UNIFORM — 1) всесторонний 2) единообразный 3) мундир 4) однообразный 5) машиностр. однородный 6) постоянный 7) равномерный 8) равностепенный 9) сплошной 10) униформный • algebra of uniform index — алгебра постоянного индекса almost uniform …
Англо-Русский научно-технический словарь
THEOREM — теорема absolute geometrical theorem — абсолютная геометрическая теорема analytical enumeration theorem — теорема об аналитическом перечислении analytical hierarchy theorem — теорема об аналитической …
Англо-Русский научно-технический словарь
SYSTEM — 1) комплекс 2) множество 3) область 4) система 5) системный 6) совокупность 7) схемный 8) устройство • absolutely complete system — абсолютно полная система absolutely direct indecomposable system — абсолютно …
Англо-Русский научно-технический словарь
SECOND
Англо-Русский научно-технический словарь
MEAN — 1) значить 2) иметь в виду 3) иметь значение 4) означать 5) подразумевать 6) приспособление 7) середина 8) способ 9) срединный 10) матем. среднее 11) среднее значение 12) средний 13) средний член 14) …
Англо-Русский научно-технический словарь
LIMIT — 1) граница 2) допредельный 3) допуск 4) лимитировать 5) лимитный 6) ограничивать • absolute limit of error — предел абсолютной погрешности absolutely translative limit — абсолютно транслятивный предел almost …
Англо-Русский научно-технический словарь
LAW
Англо-Русский научно-технический словарь
FORMAL RATIONALITY — формальная рациональность; по М. Веберу - основной принцип общественного и институционального развития. формальная рациональность; по М. Веберу - рациональность как …
Англо-Русский социологический энциклопедический словарь
FORMAL LOGIC — формальная логика; наука о законах выведения нового знания из ранее полученного знания без специальных опытов или экспериментов, а только с …
Англо-Русский социологический энциклопедический словарь
ФУНКЦИЙ — ФУНКЦИЙ ТЕОРИЯ Теория меры и интегрирования является важным разделом общей теории математических функций, берущей начало с работ А.Лебега (1906) по …
Русский словарь Colier
ТОПОЛОГИЯ — раздел математики, занимающийся изучением свойств фигур (или пространств), которые сохраняются при непрерывных деформациях, таких, например, как растяжение, сжатие или изгибание. …
Русский словарь Colier
МАТЕМАТИКА — МАТЕМАТИКА Несмотря на заявления о независимости математики, никто не станет отрицать, что математика и физический мир связаны друг с другом. …
Русский словарь Colier
ВЕРОЯТНОСТЕЙ — ВЕРОЯТНОСТЕЙ ТЕОРИЯ Современная теория вероятностей, подобно другим разделам математики, например геометрии, состоит из результатов, выводимых логическим путем из некоторых основных …
Русский словарь Colier
ЧИСЕЛ — раздел чистой математики, занимающийся изучением целых чисел 0, ?1, ?2,... и соотношений между ними. Иногда теорию чисел называют высшей арифметикой. …
Русский словарь Colier
ГУССЕРЛЬ — (Husserl, Edmund) (1859-1938), немецкий философ, основатель феноменологии как философского движения. Благодаря преподавательской деятельности и многочисленным работам оказал значительное влияние на …
Русский словарь Colier
ГЕОМЕТРИИ — Геометрия - раздел математики, тесно связанный с понятием пространства; в зависимости от форм описания этого понятия возникают различные виды геометрии. …
Русский словарь Colier
АНАЛИТИЧЕСКАЯ — преобладающее течение мысли в англоязычных странах 20 в.; способ философствования, ориентирующийся на идеалы ясности, точности и логической строгости. Последние были …
Русский словарь Colier
FORMAL TRANSFER — фин., бирж. формальная передача (официальная передача прав на что-л. либо самих объектов собственности (напр. товаров, ценных бумаг, имущества и т. …
Новый Англо-Русский толковый словарь по финансовым рынкам
WELL-FORMEDNESS — лингв. формальная правильность; отмеченность формальная правильность
Новый большой Англо-Русский словарь
THEOREM — сущ. теорема to deduce a theorem ≈ выводить теорему to formulate a theorem ≈ формулировать теорему to prove a theorem …
Новый большой Англо-Русский словарь
LOGIC — сущ. логика to apply, use logic ≈ применять логику There is no logic in their policy. ≈ Их политика нелогична. …
Новый большой Англо-Русский словарь
LIVERY — I прил. 1) напоминающий по цвету или консистенции печень 2) разг. связанный с расстройством или болезнью печени, предполагающий расстройство печени …
Новый большой Англо-Русский словарь
FORMALITY — сущ. 1) формальная сторона, формальность (действие, процесс, процедура установленного порядка) to complete, go through the formality ≈ исполнять формальности bureaucratic …
Новый большой Англо-Русский словарь
FORMAL LOGIC — формальная логика формальная логика
Новый большой Англо-Русский словарь
ERROR — сущ. 1) заблуждение, оплошность, ошибка (во взглядах, расчетах и т. д.) in error, by error, through error ≈ по ошибке, …
Новый большой Англо-Русский словарь
ERGODIC — эргодический completely ergodic system ≈ вполне эргодическая система geometrically ergodic chain ≈ геометрически эргодическая цепь individual ergodic theorem ≈ индивидуальная …
Новый большой Англо-Русский словарь
DELIVERY — сущ. 1) а) поставка, доставка Extraordinary charges for the delivery of goods. ≈ Жуткие цены за доставку. accept delivery delivery …
Новый большой Англо-Русский словарь

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

← ФОРМАЛЬНАЯ СХЕМА ФОРМАЛЬНАЯ ТЕОРИЯ→