формулировка

Другая формулировка полного результата

Reformulation of the Complete Result

Нейман, Джон,Моргенштерн, Оскар / Теория игр и экономическое поведениеNeumann, John,Morgenstern, Oskar / Theory of Games and Economic Behavior

Theory of Games and Economic Behavior

Neumann, 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 II

Problems And Theorems In Analysis II

Polya, 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 – 2011

http://www.project-syndicate.org/ 16.03.2009

© Project Syndicate 1995 – 2011

http://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

http://www.un.org/russian/ga/search/symbol.asp 18.10.2010

© Организация Объединенных Наций, 2010 год

http://www.un.org/russian/ga/search/symbol.asp 18.10.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 Mosenergo

http://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

http://www.un.org/russian/ga/search/symbol.asp 18.10.2010

© Организация Объединенных Наций, 2010 год

http://www.un.org/russian/ga/search/symbol.asp 18.10.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 Behavior

Theory of Games and Economic Behavior

Neumann, 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 Flows

The design warrior's guide to FPGAs: Devices, Tools and Flows

Maxfield, 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 Processing

Digital Image Processing

Jä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 / Gravitation

Gravitation

Misner, 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 Discovery

The Logic of Scientific Discovery

Popper, 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 Behavior

Theory of Games and Economic Behavior

Neumann, 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/2011

http://www.patentlens.net/ 10/24/2011

- Но вдруг там есть формулировка, которой я не помню…

"But if there's some wording I didn't know about—"

Мид, Райчел / Сны суккубаMead, Richelle / Succubus Dreams

Succubus Dreams

Mead, 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 Logic

Foundations of Mathematical Logic

Curry, Haskell B.

© 1963 by Haskell B. Curry.

© 1977 by Haskell B. Curry.

Основания математической логики

Карри, Хаскелл Б.

© Издательство «Мир», 1969