содержательный

И даже - содержательный вечер?

And even your interesting evening?

Солженицын, Александр / Архипелаг ГулагSolzhenitsyn, Aleksandr / The Gulag Archipelago

The Gulag Archipelago

Solzhenitsyn, Aleksandr

© 1973 by Aleksandr I. Solzhenitsyn

© 1973, 1974 by Harper & Row, Publishers, Inc.

© 1985 by The Russian Social Fund

Архипелаг Гулаг

Солженицын, Александр

© Русский Общественный Фонд Александра Солженицына, 2009

Топология Зарисского может вызвать затруднение у некоторых студентов. Так как она употребляется только как удобный язык и ее содержательный аспект незначителен, это трудности скорее психологического, чем технического характера.

The Zariski topology may cause trouble to some students; since it is only being used as a language, and has almost no content, the difficulty is likely to be psychological rather than technical.

Reid, Miles / Undergraduate Algebraic GeometryРид, Майлз / Алгебраическая геометрия для всех

Алгебраическая геометрия для всех

Рид, Майлз

© Cambridge University Press 1988

© перевод на русский язык, с авторскими изменениями и дополнениями, Б. 3. Шапиро, 1991

Undergraduate Algebraic Geometry

Reid, Miles

© Cambridge University Press 1988

Формальное доказательство есть доказательство некоторой формулы, которая (для метаматематики) есть лишенная всякого содержательного смысла конечная последовательность символов.

A formal proof is a proof of a formula, which (for the metamathematics) is a meaningless sequence of symbols.

Клини, С.К. / Математическая логикаKleene, Stephen Cole / Mathematical Logic

Mathematical Logic

Kleene, Stephen Cole

© 1967 by Stephen Cole Kleene

Математическая логика

Клини, С.К.

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

Это благодаря им вы способны сострадать невинным, благодаря им вы так сильны, содержательны и жизнеспособны.

They helped build your strength, your compassion for the innocent, your complexity, your resilience.

Робертс, Нора / Яд бессмертияRobb, J.D. / Immortal in Death

Immortal in Death

Robb, J.D.

© 1996 by Nora Roberts

Яд бессмертия

Робертс, Нора

© 1996 by Nora Roberts

© Издание на русском языке ООО "Издательство "Эксмо", 2009

© Перевод. А. Кабалкин, 2001

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

The study of a formal system, carried out in the metalanguage as part of informal mathematics, we call metamathematics or proof theory.

Клини, С.К. / Математическая логикаKleene, Stephen Cole / Mathematical Logic

Mathematical Logic

Kleene, Stephen Cole

© 1967 by Stephen Cole Kleene

Математическая логика

Клини, С.К.

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

Например, можно создать новый класс CompositeBestForCustomerPricingStrategy (во всяком случае, это имя содержательно), реализующий интерфейс ISalePricingStrategy и содержащий другие объекты ISalePricingStrategy.

For example, a new class called CompositeBestForCustomerPricingStrategy (well, at least it's descriptive) can implement the ISalesPricingStrategy and itself contain other ISalesPricingStrategy objects.

Ларман, Крэг / Применение UML и шаблонов проектированияLarman, Craig / Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process

Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process

Larman, Craig

© 2002 by Craig Larman

Применение UML и шаблонов проектирования

Ларман, Крэг

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

© Craig Larman, 2002

— Да, очень содержательная беседа.

"Say, that was a mighty informative talk.

Льюис, Синклер / БэббитLewis, Sinclair / Babbit

Babbit

Lewis, Sinclair

© 2008 by Quill Pen Classics

Бэббит

Льюис, Синклер

© Издательство "Художественная литература", 1959

Как уже указывалось, семантика языка первого порядка состоит из универсума и содержательного смысла каждого нелогического символа.

As already indicated, a meaning for a first-order language consists of a universe and a meaning of the appropriate sort for each nonlogical symbol.

Шенфилд, Дж. / Математическая логикаShoenfield, Joseph / Mathematical Logic

Mathematical Logic

Shoenfield, Joseph

© 1967 by Addison-Wesley publishing company, inc.

Математическая логика

Шенфилд, Дж.

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

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

It follows from this that what was said above in criticism of the metaphysical assumptions of various forms of contensivism does not refute the positions of those doctrines.

Карри, Хаскелл Б. / Основания математической логики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

призывает своих членов продолжить усилия по обеспечению того, чтобы Исполнительный комитет служил форумом для содержательных и конструктивных обсуждений и давал руководящие указания, которые УВКБ могло бы выполнять в рамках данного ему мандата.

Calls upon its members to continue efforts to ensure that the Executive Committee is a forum for meaningful and interactive debate, and provides guidance that can be implemented by UNHCR within its given mandate.

© United Nations 2010

http://www.un.org/ 03.01.2011

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

http://www.un.org/ 03.01.2011

Поэтому формализм не является доктриной, которая отрицает или исключает те или иные содержательные доктрины; он одинаково независим от любой формы контенсивизма и одинаково согласуется с каждой из этих форм.

Thus formalism is not a doctrine which excludes or denies the doctrines of this or that sort of contensivism; it is equally independent of, and compatible with, any reasonable form of contensivism.

Карри, Хаскелл Б. / Основания математической логики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

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

Statements involving formal variables are interpreted as statements about the functions obtained from those statements by some contensive analogue of functional abstraction.

Карри, Хаскелл Б. / Основания математической логики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

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

It would, to an innocent layman, have been startling to see them sitting in rows like schoolboys; to hear them listening not to addresses on credit and the routing of hardware but to short helpful talks on Faith.

Льюис, Синклер / Элмер ГентриLewis, Sinclair / Elmer Gantry

Elmer Gantry

Lewis, Sinclair

© 2002 by Literary Classics of the United States, Inc., New York, N.Y.

© 1927 by Harcourt, Inc.

© renewed 1955 by Michael Lewis

Элмер Гентри

Льюис, Синклер

© Издательство "Правда", 1965

Теория полезна при условии, что она дает нам возможность делать какие-нибудь предсказания относительно этой содержательной области.

A theory is useful to us in so far as it enables us to make predictions concerning the subject matter.

Карри, Хаскелл Б. / Основания математической логики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

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

He longed to stay, but he had the task, unworthy of his powers of social decoration, of preparing a short clever talk on missions among the Digger Indians.

Льюис, Синклер / Элмер ГентриLewis, Sinclair / Elmer Gantry

Elmer Gantry

Lewis, Sinclair

© 2002 by Literary Classics of the United States, Inc., New York, N.Y.

© 1927 by Harcourt, Inc.

© renewed 1955 by Michael Lewis

Элмер Гентри

Льюис, Синклер

© Издательство "Правда", 1965