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

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

мат. formal theor, formal theory

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

ФОРМАЛЬНАЯ ТЕОРИЯ — Axiomatic system
Русско-Американский Английский словарь
ФОРМАЛЬНАЯ ТЕОРИЯ — formal theory
Русско-Английский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
ТЕОРИЯ — f. theory
Russian-English Dictionary of the Mathematical Sciences
ТЕОРИЯ — Theory
Русско-Американский Английский словарь
ТЕОРИЯ — theory теория и практика — theory and practice теория относительности физ. — (theory of) relativity теория вероятностей мат. — theory …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
ТЕОРИЯ — theory; в ~и theory, theoretically
Русско-Английский словарь общей тематики
ТЕОРИЯ — theory
Новый Русско-Английский биологический словарь
ТЕОРИЯ — The theory
Russian Learner's Dictionary
ТЕОРИЯ — theory
Russian Learner's Dictionary
ТЕОРИЯ — ж. theory теория и практика — theory and practice теория относительности физ. — (theory of) relativity теория вероятностей мат. — …
Русско-Английский словарь
ТЕОРИЯ — ж. theory теория и практика — theory and practice теория относительности физ. — (theory of) relativity теория вероятностей мат. — …
Russian-English Smirnitsky abbreviations dictionary
ТЕОРИЯ — жен. theory единая теория — a unified theory атомистическая теория — atomism законченная теория — full-blown theory защищать теорию — …
Русско-Английский краткий словарь по общей лексике
ТЕОРИЯ — science, theory
Русско-Английский словарь по строительству и новым строительным технологиям
ТЕОРИЯ — Theory
Британский Русско-Английский словарь
ТЕОРИЯ — analysis, theory
Русско-Английский экономический словарь
ТЕОРИЯ — theory; в ~и theory, theoretically
Русско-Английский словарь - QD
ТЕОРИЯ — doctrine, theory
Русско-Английский юридический словарь
ТЕОРИЯ — theory
Русско-Английский биологический словарь
ТЕОРИЯ — ТЕОРИЯ, ГИПОТЕЗА см.также ФАКТЫ , ЭКСПЕРИМЕНТ Нет ничего практичнее хорошей теории. Роберт Кирхгоф Теории первого класса предсказывают, теории второго класса …
English-Russian aphorisms, русские афоризмы
ТЕОРИЯ — жен. theory теория поля – field theory атомистическая теория – atomism теория и практика – theory and practice теория относительности …
Большой Русско-Английский словарь
ТЕОРИЯ — теория theory
Русско-Английский словарь Сократ
WELL-FORMEDNESS — лингв. формальная правильность; отмеченность формальная правильность
Большой Англо-Русский словарь
THEORY — сущ. 1) теория to advance, present, propose, suggest a theory ≈ предлагать, отстаивать теорию to advocate theory ≈ отстаивать теорию …
Большой Англо-Русский словарь
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 ≈ по ошибке, …
Большой Англо-Русский словарь
DELIVERY — сущ. 1) а) поставка, доставка Extraordinary charges for the delivery of goods. ≈ Жуткие цены за доставку. accept delivery delivery …
Большой Англо-Русский словарь
THEORY — theory.ogg ʹθı(ə)rı n 1. 1> теория coherent theory - последовательная /непротиворечивая/ теория social-science theories - социологические теории general relativity theory …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
THEORY — 1) теория 2) толкование; трактовка 3) учение • advance theory — выдвигать теорию additive ideal theory — матем. теория идеалов аддитивная antinomy of set theory — …
Англо-Русский научно-технический словарь
SYSTEM — 1) комплекс 2) множество 3) область 4) система 5) системный 6) совокупность 7) схемный 8) устройство • absolutely complete system — абсолютно полная система absolutely direct indecomposable system — абсолютно …
Англо-Русский научно-технический словарь
THEORY — n 1. 1) теория coherent ~ - последовательная /непротиворечивая/ теория social-science theories - социологические теории general relativity ~ - общая …
Новый большой Англо-Русский словарь - Апресян, Медникова
THEORY — n 1. 1> теория coherent theory - последовательная /непротиворечивая/ теория social-science theories - социологические теории general relativity theory - общая …
Большой новый Англо-Русский словарь
FORMAL RATIONALITY — формальная рациональность; по М. Веберу - основной принцип общественного и институционального развития. формальная рациональность; по М. Веберу - рациональность как …
Англо-Русский социологический энциклопедический словарь
FORMAL LOGIC — формальная логика; наука о законах выведения нового знания из ранее полученного знания без специальных опытов или экспериментов, а только с …
Англо-Русский социологический энциклопедический словарь
ХИМИЯ — раздел химии, в котором изучаются химические свойства веществ на основе физических свойств составляющих их атомов и молекул. Современная физическая химия …
Русский словарь Colier
ФИЗИКА — ФИЗИКА И.Ньютон (1643-1727) родился в протестантской Англии менее чем через год после смерти Галилея. Научная деятельность Ньютона протекала в основном …
Русский словарь Colier
КВАНТОВАЯ — фундаментальная физическая теория динамического поведения всех элементарных форм вещества и излучения, а также их взаимодействий. Квантовая механика представляет собой теоретическую …
Русский словарь Colier
ВЕРОЯТНОСТЕЙ — ВЕРОЯТНОСТЕЙ ТЕОРИЯ Современная теория вероятностей, подобно другим разделам математики, например геометрии, состоит из результатов, выводимых логическим путем из некоторых основных …
Русский словарь Colier
ФИЗИКА — ФИЗИКА Для Ньютона и его современников было вполне естественным спрашивать себя, откуда берется сила гравитации и как она действует. Он …
Русский словарь Colier
МУЗЫКИ — наука, формулирующая правила и принципы, лежащие в основе сочинения музыки. Теория музыки имеет дело с анализом музыкального произведения, со "строительными …
Русский словарь Colier
ГУССЕРЛЬ — (Husserl, Edmund) (1859-1938), немецкий философ, основатель феноменологии как философского движения. Благодаря преподавательской деятельности и многочисленным работам оказал значительное влияние на …
Русский словарь Colier
АТОМ — (от греч. ?????? - неделимый), наименьшая возможная частица любого из простейших химических веществ, называемых элементами. Понятие атома, как и само …
Русский словарь Colier
АНАЛИТИЧЕСКАЯ — преобладающее течение мысли в англоязычных странах 20 в.; способ философствования, ориентирующийся на идеалы ясности, точности и логической строгости. Последние были …
Русский словарь Colier
FORMAL TRANSFER — фин., бирж. формальная передача (официальная передача прав на что-л. либо самих объектов собственности (напр. товаров, ценных бумаг, имущества и т. …
Новый Англо-Русский толковый словарь по финансовым рынкам
WELL-FORMEDNESS — лингв. формальная правильность; отмеченность формальная правильность
Новый большой Англо-Русский словарь
THEORY — сущ. 1) теория to advance, present, propose, suggest a theory ≈ предлагать, отстаивать теорию to advocate theory ≈ отстаивать теорию …
Новый большой Англо-Русский словарь
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 — формальная логика формальная логика
Новый большой Англо-Русский словарь

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

← ФОРМАЛЬНАЯ ТЕОРЕМА ФОРМАЛЬНАЯ ЭКВИВАЛЕНТНОСТЬ→