without examplesFound in 7 dictionaries
The Universal Dictionary- It is intended for a full-text search and it significantly expands the possibilities of working with lexical items from the Russian glossary of LingvoUniversal. Contains usage examples, synonyms, and antonyms.
- It is intended for a full-text search and it significantly expands the possibilities of working with lexical items from the Russian glossary of LingvoUniversal. Contains usage examples, synonyms, and antonyms.
формулировка
ж.р.
formulating, formulation (действие || action)
formula, wording
Law (Ru-En)
формулировка
expression, word, wording, statement, language, formula, formulation, phraseology
Unlock all free
thematic dictionaries
Examples from texts
Другая формулировка полного результатаReformulation of the Complete ResultНейман, Джон,Моргенштерн, Оскар / Теория игр и экономическое поведениеNeumann, John,Morgenstern, Oskar / Theory of Games and Economic BehaviorTheory of Games and Economic BehaviorNeumann, John,Morgenstern, Oskar© 1944 by Princeton University PressТеория игр и экономическое поведениеНейман, Джон,Моргенштерн, Оскар© Издательство «Наука», 1970 г.
Приведенная формулировка теоремы Ролля имеет то преимущество перед обычно излагаемой в дифференциальном исчислении, что, относясь к более тесному классу функций, содержит и более точный результат.The formulation of Rolle's theorem we have given offers a more precise statement about a narrower class of functions than the usual formulation in differential calculus.Полиа, Г.,Сеге, Г. / Задачи и теоремы из анализа: Часть втораяPolya, George,Szego, Gabor / Problems And Theorems In Analysis IIProblems And Theorems In Analysis IIPolya, George,Szego, Gabor© Springer-Verlag Berlin Heidelberg 1998Задачи и теоремы из анализа: Часть втораяПолиа, Г.,Сеге, Г.© Перевод на русский язык, Главная редакция физико-математической литературы издательства «Наука», 1978
Википедия - это та энциклопедия, для пользования которой необходимо немного времени, не самая четкая формулировка запроса и минимум знаний по пользованию компьютером.Wikipedia is an encyclopedia to which anyone with a modicum of time, articulateness, and computer skills can contribute.© Project Syndicate 1995 – 2011http://www.project-syndicate.org/ 16.03.2009© Project Syndicate 1995 – 2011http://www.project-syndicate.org/ 16.03.2009
Эта формулировка согласуется с решением о том, чтобы избегать прений вокруг определения того, что же такое человеческая особь.This formulation is in keeping with the decision to avoid discussing the definition of what constitutes a human being© United Nations 2010© Организация Объединенных Наций, 2010 год
Полная формулировка вопроса представлена на сайте ОАО «Мосэнерго».The full wording of this issue is offered at the website of MOSENERGO.© 2008-2010 ОАО Мосэнергоhttp://www.mosenergo.ru 12/14/2011© 2008-2010 OAO Mosenergohttp://www.mosenergo.ru 12/14/2011
Его формулировка идентична статье 11 Международной конвенции о борьбе с финансированием терроризма.Its wording is identical to that of article 11 of the International Convention for the Suppression of the Financing of Terrorism.© United Nations 2010© Организация Объединенных Наций, 2010 год
Читатель может заметить, что, хотя эта словесная формулировка вовсе не является сложной, ее можно было получить только математическим, а не словесным путем.The reader will note that while this verbal formulation is not at all complicated, it could only be established by a mathematical, not by a verbal procedure.Нейман, Джон,Моргенштерн, Оскар / Теория игр и экономическое поведениеNeumann, John,Morgenstern, Oskar / Theory of Games and Economic BehaviorTheory of Games and Economic BehaviorNeumann, John,Morgenstern, Oskar© 1944 by Princeton University PressТеория игр и экономическое поведениеНейман, Джон,Моргенштерн, Оскар© Издательство «Наука», 1970 г.
Для сравнения отметим, что автоматизированная формулировка логических выводов использует логику для доказательства того, что реализация соответствует исходной спецификации (подобно формальному математическому доказательству).By comparison, automated reasoning uses logic to prove (much like a formal mathematical proof) that an implementation meets an associated specification.Максфилд, Клайв / Проектирование на ПЛИС. Архитектура, средства и методы. Курс молодого бойцаMaxfield, Clive / The design warrior's guide to FPGAs: Devices, Tools and FlowsThe design warrior's guide to FPGAs: Devices, Tools and FlowsMaxfield, Clive© 2004, Mentor Graphics Corporation and Xilinx, Inc.Проектирование на ПЛИС. Архитектура, средства и методы. Курс молодого бойцаМаксфилд, Клайв© Издательский дом «Додэка-XXI», 2007
Эта формулировка фазового градиента также устраняет необходимость использования тригонометрических функций для вычисления фазового сигнала, и алгоритм вычислений, основанный на ней становится, следовательно, значительно более быстрым.This formulation of the phase gradient also eliminates the need for using trigonometric functions to compute the phase signal and is, therefore, significantly faster.Яне, Бернд / Цифровая обработка изображенийJähne, Bernd / Digital Image ProcessingDigital Image ProcessingJähne, Bernd© Springer-Verlag Berlin Heidelberg 2005Цифровая обработка изображенийЯне, Бернд© 2005, Springer-Verlag Berlin Heidelberg© 2006, ЗАО «РИЦ «Техносфера» перевод на русский язык
Это утверждение, подобно утверждению о неизменности абстрактных геометрических законов, есть не что иное, как перефразированная формулировка принципа эквивалентности.This statement, like the nonchanging of abstract geometric laws, is nothing but a rephrased version of the equivalence principle.Мизнер, Ч.,Торн, К.,Уилер, Дж. / ГравитацияMisner, Charles W.,Thorne, Kip S.,Wheeler, John Archibald / GravitationGravitationMisner, Charles W.,Thorne, Kip S.,Wheeler, John Archibald© 1970 and 1971 by Charles W. Misner, Kip S. Thorne, and John Archibald Wheeler.© 1973 by W. H. Freeman and Company.ГравитацияМизнер, Ч.,Торн, К.,Уилер, Дж.© 1973 by W. H. Freeman and Company© Перевод на русский язык «Мир», 1977
Однако нетрудно увидеть, что в качестве критерия демаркации настоящая формулировка эквивалентна фальсифицируемости.But it is easily seen that, if used as a criterion of demarcation, our present formulation is equivalent to falsifiability.Поппер, Карл / Логика и рост научного знанияPopper, Karl Raimund / The Logic of Scientific DiscoveryThe Logic of Scientific DiscoveryPopper, Karl Raimund© 1959, 1968, 1972, 1980 Karl Popper© 1999, 2002 The Estate of Karl PopperЛогика и рост научного знанияПоппер, Карл© Перевод на русский язык с сокращениями и вступительная статья. «Прогресс», 1983 г.
Точная формулировка этого замечания будет дана в п. 46.10.The exact formulation of this idea will come in 46.10.Нейман, Джон,Моргенштерн, Оскар / Теория игр и экономическое поведениеNeumann, John,Morgenstern, Oskar / Theory of Games and Economic BehaviorTheory of Games and Economic BehaviorNeumann, John,Morgenstern, Oskar© 1944 by Princeton University PressТеория игр и экономическое поведениеНейман, Джон,Моргенштерн, Оскар© Издательство «Наука», 1970 г.
Объект волеизъявления - кандидат (кандидаты) или список кандидатов, в пользу которого сделан выбор, либо формулировка вопроса (вопросов), в отношении которого (которых) сделан выбор субъектом волеизъявления, и т.д.The object of will—candidate (candidates) or a list of candidates, in whose favor the choice was made, or the wording of the question (questions), which was selected by the voter, etc.http://www.patentlens.net/ 10/24/2011http://www.patentlens.net/ 10/24/2011
- Но вдруг там есть формулировка, которой я не помню…"But if there's some wording I didn't know about—"Мид, Райчел / Сны суккубаMead, Richelle / Succubus DreamsSuccubus DreamsMead, Richelle© 2008 by Richelle MeadСны суккубаМид, Райчел© И. Шаргородская, перевод на русский язык, 2010© Издание на русском языке, ООО "Издательство"Эксмо", 2010© 2008 by Richelle Mead
Если эта схема добавляется к стандартной формулировке НМ, то полученная формулировка будет называться стандартной формулировкой HD.If it is adjoined to a standard formulation of HM, the formulation will be called the standard formulation of HD.Карри, Хаскелл Б. / Основания математической логикиCurry, Haskell B. / Foundations of Mathematical LogicFoundations of Mathematical LogicCurry, Haskell B.© 1963 by Haskell B. Curry.© 1977 by Haskell B. Curry.Основания математической логикиКарри, Хаскелл Б.© Издательство «Мир», 1969
User translations
No translations for this text yet.
Be the first to translate it!
Collocations
алгебраическая формулировка
algebraic statement
аналитическая формулировка
analytic formulation
надлежащая формулировка
apt words
ограничительная формулировка
arresting language
аксиоматическая формулировка
axiomatic formulation
широкая формулировка
broad language
конституционная формулировка
constitutional language
дискреционная формулировка
discretionary language
двойственная формулировка
dual formulation
точная формулировка
exact formulation
точная формулировка
exact wording
гласящая формулировка
existing language
действующая формулировка
existing language
существующая формулировка
existing language
явная формулировка
explicit formulation
Word forms
формулировка
существительное, неодушевлённое, женский род
Ед. ч. | Мн. ч. | |
Именительный | формулировка | формулировки |
Родительный | формулировки | формулировок |
Дательный | формулировке | формулировкам |
Винительный | формулировку | формулировки |
Творительный | формулировкой, формулировкою | формулировками |
Предложный | формулировке | формулировках |