derived

Since the conclusion can still be derived by the same rule R, the theorem follows by the case treated in the second preceding paragraph.

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

Curry, Haskell B. / Foundations of Mathematical LogicКарри, Хаскелл Б. / Основания математической логики

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

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

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

Foundations of Mathematical Logic

Curry, Haskell B.

© 1963 by Haskell B. Curry.

© 1977 by Haskell B. Curry.

However, derived class constructors typically use the member-initializer-list syntax to call upon base class constructors to construct the base class portion of a derived object.

Однако конструкторы производного класса обычно используют синтаксис списка инициализатора для обращения к конструкторам базового класса для создания части базового класса производного объекта.

Prata, Stephen / C++ Primer PlusПрата, Стивен / Язык программирования C++. Лекции и упражнения

Язык программирования C++. Лекции и упражнения

Прата, Стивен

© 2002 by Sams Publishing

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

C++ Primer Plus

Prata, Stephen

© 2002 by Sams Publishing

No longer would the geometry, as derived from the Hilbert-Palatini variation principle, be Riemannian.

А геометрия, вытекающая из вариационного принципа Гильберта — Палатини, не была бы римановой.

Misner, Charles W.,Thorne, Kip S.,Wheeler, John Archibald / GravitationМизнер, Ч.,Торн, К.,Уилер, Дж. / Гравитация

Гравитация

Мизнер, Ч.,Торн, К.,Уилер, Дж.

© 1973 by W. H. Freeman and Company

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

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.

When you construct an object derived from Thread, the run method is not automatically called.

При создании потока, производного от класса Thread, метод run не вызывается, и поток не запускается автоматически.

Horstmann, Cay S.,Cornell, Gary / Core Java™ 2. Volume II - Advanced FeaturesХорстманн, Кей С.,Корнелл, Гари / Java 2. Том II. Тонкости программирования

Java 2. Том II. Тонкости программирования

Хорстманн, Кей С.,Корнелл, Гари

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

© Prentice Hall, Inc., 2002

Core Java™ 2. Volume II - Advanced Features

Horstmann, Cay S.,Cornell, Gary

© 2002 Sun Microsystems, Inc.

One insurance executive I worked with described the major benefit he derived from implementing this system: "Previously I would just tell everyone, 'Sure, I'll do it,' because I didn't know how much I really had to do.

Один страховой агент, с которым я работал, охарактеризовал преимущества использования данной методики такими словами: "Раньше я говорил всем, что, мол, "конечно, все сделаю", потому что не знал, какой объем работы действительно придется выполнить.

Allen, David / Getting Things DoneАллен, Дэвид,Далхаймер, Маттиас Калле / Как привести дела в порядок

Как привести дела в порядок

Аллен, Дэвид,Далхаймер, Маттиас Калле

© David Allen. 2001, 2003

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

Getting Things Done

Allen, David

© David Allen, 2001

The units needed are derived in the following equation: F

Необходимые единицы выведены в следующем уравнении: F

Peters, Edgar E. / Fractal market analysis : applying chaos theory to investment and economicsПетерс, Эдгар Э. / Фрактальный анализ финансовых рынков: применение теории Хаоса в инвестициях и экономике

Фрактальный анализ финансовых рынков: применение теории Хаоса в инвестициях и экономике

Петерс, Эдгар Э.

© Originally published by John Wiley&Sons, Inc., 2003

© ООО "Интернет-трейдинг", 2004 г. (перевод)

Fractal market analysis : applying chaos theory to investment and economics

Peters, Edgar E.

© 1994 by John Wiley & Sons, Inc.

The 1394 bus was derived from the FireWire bus originally developed by Apple and Texas Instruments, and it is also a part of a new Serial SCSI standard.

Шина данных 1394 была создана на основе шины FireWire, изначально разработанной компаниями Apple и Texas Instruments; кроме того, она является элементом нового стандарта последовательной шины Serial SCSI.

Mueller, Scott / Upgrading and Repairing LaptopsМюллер, Скотт / Модернизация и ремонт ноутбуков

Модернизация и ремонт ноутбуков

Мюллер, Скотт

© Que Corporation, 2004

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

Upgrading and Repairing Laptops

Mueller, Scott

© 2006 by Que Corporation

We next state a closely related decomposition of a symmetric square matrix into the product of matrices derived from its eigenvectors.

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

Manning, Christopher D.,Raghavan, Prabhakar,Schuetze, Hinrich / An Introduction to Information Retrieval. Part3Маннинг, Кристофер,Рагхаван, Прабхакар,Шютце, Хайнрих / Введение в информационный поиск. Часть 3

Введение в информационный поиск. Часть 3

Маннинг, Кристофер,Рагхаван, Прабхакар,Шютце, Хайнрих

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

© Cambridge University Press, 2008

An Introduction to Information Retrieval. Part3

Manning, Christopher D.,Raghavan, Prabhakar,Schuetze, Hinrich

© 2009 Cambridge UP

They eliminated multiple inheritance, replacing it with a new notion of interface that they derived from Objective C.

Исключено множественное наследование. Оно заменено новым понятием — интерфейсом, позаимствованным из языка Objective С.

Horstmann, Cay S.,Cornell, Gary / Core Java™ 2, Volume I - FundamentalsХорстманн, Кей С.,Корнелл, Гари / Java 2. Том I. Основы.

Java 2. Том I. Основы.

Хорстманн, Кей С.,Корнелл, Гари

© Sun Microsystems, Inc., 2003

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

Core Java™ 2, Volume I - Fundamentals

Horstmann, Cay S.,Cornell, Gary

© 2001 Sun Microsystems, Inc.

" The second and the speed of light are now primary quantities, and the meter is a derived quantity.

В настоящее время секунда и скорость света являются первичными величинами, а метр — производной величиной.

Thompson, A. Richard,Moran, James M.,Swenson, George W. / Interferometry and Synthesis in Radio AstronomyТомпсон, А.Р.,Моран, Д.М.,Свенсон, Д.У. / Интерферометрия и синтез в радиоастрономии

Интерферометрия и синтез в радиоастрономии

Томпсон, А.Р.,Моран, Д.М.,Свенсон, Д.У.

© John Wiley & Sons, Inc., 2001

© ФИЗМАТЛИТ, 2003

Interferometry and Synthesis in Radio Astronomy

Thompson, A. Richard,Moran, James M.,Swenson, George W.

© 2001 by John Wiley & Sons, Inc.

© 2004 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim

Aware that effective control of the laundering of money derived from drug trafficking is an essential element in the struggle against the illicit traffic in narcotic drugs and psychotropic substances,

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

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

http://www.un.org/ 19.02.2011

© United Nations 2010

http://www.un.org/ 19.02.2011

Please coordinate with the staff responsible for completing this questionnaire when the capacity statistics are derived.

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

© 2010 OECD/IEA

http://www.iea.org 15.12.2010

© 2010 OECD/IEA

http://www.iea.org 15.12.2010

The Lord Keeper was much struck with his depth of observation, and the unusual improvement which he had derived from his studies.

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

Scott, Walter / Bride of LammermoorСкотт, Вальтер / Ламмермурская невеста

Ламмермурская невеста

Скотт, Вальтер

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

Bride of Lammermoor

Scott, Walter

© BiblioBazaar, LLC

Basically, we need to create a master-detail structure that permits us to perform an interMedia Text query on a master table, but with the actual source of the data for the interMedia Text being derived from a detail table.

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

Kyte, Tom / Expert One-on-One OracleКайт, Том / Oracle для профессионалов

Oracle для профессионалов

Кайт, Том

© Перевод на русский язык. ООО «ДиаСофтЮП», 2003

© Wrox Press Ltd, 2002

Expert One-on-One Oracle

Kyte, Tom

© Wrox Press Ltd, 2002

However, a set of parameters in Solaris are still derived from the value of maxusers, and some of them are related to workload control, as described in Table 2-1.

Однако набор параметров в Solaris по-прежнему опирается на значение maxusers. Часть из них относятся к контролю рабочей нагрузки, как описано в табл. 2.1.

Musumeci, Gian-Paolo D.,Loukides, Mike / System Performance TuningМусумеси, Джан-Паоло Д.,Лукидес, Майк / Настройка производительности UNIX-систем

Настройка производительности UNIX-систем

Мусумеси, Джан-Паоло Д.,Лукидес, Майк

© Издательство Символ-Плюс, 2003

© 2002 O'Reilly & Associates Inc.

System Performance Tuning

Musumeci, Gian-Paolo D.,Loukides, Mike

© 2002,1990 O'Reilly & Associates, Inc.