Ваш язык не поддерживает утверждения?

Your language doesn't support assertions?

Макконнелл, Стив / Совершенный код: Практическое руководство по разработке программного обеспеченияMcConnell, Steve / Code Complete: A Practical Handbook of Software Construction

Code Complete: A Practical Handbook of Software Construction

McConnell, Steve

© 2004 by Steven С. McConnell

Совершенный код: Практическое руководство по разработке программного обеспечения

Макконнелл, Стив

© Перевод на русский язык, Microsoft Corporation, 2004

© Оригинальное издание на английском языке, Steven С. McConnell, 2004

Если вы поступаете именно таким образом, то утверждения ваших франчайзи о том, что они не одобряют всех ваших действий, не имеют для вас никакого значения, — они выполняют правила системы и зарабатывают деньги для себя и для вас.

If that is the case, they might complain that they don’t like everything that you do, but it doesn’t matter—they will conform to the rules of the system and make money for themselves and for you.

Шейн, Скотт А. / От мороженого к Интернету. Франчайзинг как инструмент развития и повышения прибыльности вашей компанииShane, Scott A. / From Ice Cream to the Internet: Using Franchising to Drive the Growth and Profits of Your Company

From Ice Cream to the Internet: Using Franchising to Drive the Growth and Profits of Your Company

Shane, Scott A.

© 2005 by Pearson Education, Inc.

От мороженого к Интернету. Франчайзинг как инструмент развития и повышения прибыльности вашей компании

Шейн, Скотт А.

© Баланс Бизнес Букс, 2006

© перевод О. Теплых

© 2005 by Pearson Education, Inc.

Все утверждения такого рода четко выражают тенденцию подчеркивания тесной связи между базисными высказываниями и нашим чувственным опытом.

All these expressions exhibit the perfectly sound tendency to emphasize the close connection between basic statements and our perceptual experiences.

Поппер, Карл / Логика и рост научного знания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 г.

В то же время как в ВТО, так и в ЕС Дания была одним из самых решительных сторонников утверждения специальных льгот и мер в интересах развивающихся стран.

At the same time, within both the WTO and the EU, Denmark has been one of the strongest advocates of specific concessions and measures vis-a-vis developing countries

© United Nations 2010

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

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

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

Однако я не думаю, что такие утверждения об опыте проясняют нашу проблему.

But I do not think that this talk about experiences contributes to clarity.

Поппер, Карл / Логика и рост научного знания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 г.

Я хотел, чтобы она разъяснила свои утверждения.

I wanted her to elucidate her statements.

Кастанеда, Карлос / Второе кольцо силыCastaneda, Carlos / The second ring of power

The second ring of power

Castaneda, Carlos

© 1977 by Carlos Castaneda

Второе кольцо силы

Кастанеда, Карлос

© 1977 by Carlos Castaneda

© "София", 2008

© ООО Издательство "София", 2008

Резолюция 1409 (2002) требует также, чтобы МАГАТЭ подготавливало оценки гуманитарных и экономических последствий и последствий в плане безопасности утверждения или отклонения заявок на позиции из ОСТ.

Resolution 1409 (2002) also calls upon the IAEA to prepare assessments of the humanitarian, economic and security implications of the approval or denial of applications involving GRL items.

© United Nations 2010

http://www.un.org/ 19.10.2010

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

http://www.un.org/ 19.10.2010

В 2007 г. упрощения, удешевления и утверждения стандартов открытости, понятности в области лицензирования и сертификации пока не произошло.

No progress was made in 2007 on simplifying licensing and certification procedures or on making them less expensive, more transparent, or easier to understand.

© Исследовательский Центр ИПМ 2012

http://research.by/ 12/15/2011

© Исследовательский Центр ИПМ 2012

http://research.by/ 12/15/2011

Выписанные выше оценки позволяют без затруднений доказать следующие два утверждения:

The estimates given above allow us to prove without difficulty the next two propositions.

Шанин, А. / КОНСТРУКТИВНЫЕ ВЕЩЕСТВЕННЫЕ ЧИСЛА И КОНСТРУКТИВНЫЕ ФУНКЦИОНАЛЬНЫЕ ПРОСТРАНСТВАSanin, A. / Constructive real numbers and constructive function spaces

Constructive real numbers and constructive function spaces

Sanin, A.

© 1968 by the American Mathematical Society

КОНСТРУКТИВНЫЕ ВЕЩЕСТВЕННЫЕ ЧИСЛА И КОНСТРУКТИВНЫЕ ФУНКЦИОНАЛЬНЫЕ ПРОСТРАНСТВА

Шанин, А.

Эти два утверждения соответствуют S(x) и S(x + 1) в принципе индукции. Тот факт, что мы в качестве параметра используем не n, а х, не имеет значения, это всего лишь обозначение локальной переменной.

These are the statements S{x) and S(x + 1) in the induction principle; the fact that we are using x instead of n as the parameter should not be of concern; x or n is just a local variable.

Хопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри / Введение в теорию автоматов, языков и вычисленийHopcroft, John,Motwani, Rajeev,Ullman, Jeffrey / Introduction to automata theory, languages, and computation

Introduction to automata theory, languages, and computation

Hopcroft, John,Motwani, Rajeev,Ullman, Jeffrey

© 2001 by Addison-Wesley

Введение в теорию автоматов, языков и вычислений

Хопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри

© Издательский дом "Вильямс", 2002

© Addison-Wesley Publishing Company, Inc. 2001

Все его утверждения прекрасны, но кое-что упускается.

All his statements are beautiful, but something is missing.

Ошо Бхагван Шри Раджниш / Манифест дзен. Свобода от себяOsho, Bhagvan Shree Rajneesh / The Zen Manifesto: Freedom From Oneself

The Zen Manifesto: Freedom From Oneself

Osho, Bhagvan Shree Rajneesh

Манифест дзен. Свобода от себя

Ошо Бхагван Шри Раджниш

Таким образом, свойства/утверждения могут использоваться в качестве средств проверки и (или) наблюдения или в качестве объектов формальных доказательств, а часто для выявления и локализации недопустимого поведения устройства.

Thus, assertions/properties can be used as checkers/monitors or as targets of formal proofs, and they are usually used to identify/trap undesirable behavior.

Максфилд, Клайв / Проектирование на ПЛИС. Архитектура, средства и методы. Курс молодого бойца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

Юм разделил допустимые утверждения на математические истины и действительные факты.

He divided permissible statements into mathematical truths and matters of fact.

Льюис, Джон / Наука, вера и скептицизмLewis, John / Science, faith and scepticism

Science, faith and scepticism

Lewis, John

©John Lewis 1959

Наука, вера и скептицизм

Льюис, Джон

Все приведенные утверждения являются прямыми следствиями определений и согласуются с операциями § 1.

All these facts are immediate consequences of the definitions and agree with the operations of §2.1.

Пенроуз, Роджер,Риндлер, В. / Спиноры и пространство-время. Два-спинорное исчисление и релятивистские поляPenrose, Roger,Rindler, Wolfgang / Spinors and Space-Time: Volume 1: Two-Spinor Calculus and Relativistic Fields

Spinors and Space-Time: Volume 1: Two-Spinor Calculus and Relativistic Fields

Penrose, Roger,Rindler, Wolfgang

© Cambridge University Press 1984

Спиноры и пространство-время. Два-спинорное исчисление и релятивистские поля

Пенроуз, Роджер,Риндлер, В.

© Cambridge University Press 1984

© перевод на русский язык, «Мир», 1987

Для доказательства обратного утверждения докажем сначала следующий важный результат.

To prove the converse, we prove another basic result first.

Ленг, Серж / Эллиптические функцииLang, Serge / Elliptic Functions

Elliptic Functions

Lang, Serge

© 1987 by Springer-Verlag New York Inc.

Эллиптические функции

Ленг, Серж

© 1973 by Addison- Wesley Publishing Company, Inc.

© Перевод на русский язык. Издательство «Наука» Главная редакция физико-математической литературы, 1984