definition

Thus, the first part of Definition 5 is satisfied.

Таким образом, первый пункт определения 5 выполняется.

Cox, David,Little, John,O'Shea, Donal / Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative AlgebraКокс, Дэвид,Литтл, Джон,О'Ши, Донал / Идеалы, многообразия и алгоритмы. Введение в вычислительные аспекты алгебраической геометрии и коммутативной алгебры

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

Кокс, Дэвид,Литтл, Джон,О'Ши, Донал

© 1997, 1992 Springer-Verlag New York, Inc.

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

Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra

Cox, David,Little, John,O'Shea, Donal

© 1997, 1992 Springer-Verlag New York, Inc.

Thus it follows from Definition 8 that x is in f

Применяя теперь определение 8, находим, что л: лежит в f

Dunford, Nelson,Schwartz, Jacob / Linear operators. Part III: Spectral operatorsДанфорд, Н.,Шварц, Дж. / Линейные операторы. Спектральные операторы

Линейные операторы. Спектральные операторы

Данфорд, Н.,Шварц, Дж.

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

Linear operators. Part III: Spectral operators

Dunford, Nelson,Schwartz, Jacob

© 1971, by John Wiley & Sons, Inc., Nelson Dunford and Jacob Schwartz

Definition of the report scope

Определение границ отчета

© «Сахалин Энерджи» 2006

www.sakhalinenergy.com 29.09.2011

© Sakhalin Energy 2006

www.sakhalinenergy.com 29.09.2011

To make clear what the different kinds of tags are, and what structures may appear between matching pairs of these tags, people with a common interest are expected to develop standards in the form of a DTD (Document-Type Definition).

Ожидается, что стандарты описания различных типов дескрипторов и структур, которые могут находиться между парами таких дескрипторов, будут развиваться в различных сферах деятельности в виде определений типа документа (DTD — Document-Type Definition).

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

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

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

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

© Addison-Wesley Publishing Company, Inc. 2001

Introduction to automata theory, languages, and computation

Hopcroft, John,Motwani, Rajeev,Ullman, Jeffrey

© 2001 by Addison-Wesley

Corollary-Definition.

Следствие-определение.

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

Undergraduate Algebraic Geometry

Reid, Miles

© Cambridge University Press 1988

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

Рид, Майлз

© Cambridge University Press 1988

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

From Definition 1.4.1 we can now develop the elementary theory of integration.

Определение 1.4.1 позволяет развить элементарную теорию интегрирования.

Albeverio, Sergio,Fenstad, Iens,Hoegh-Kron, Raphael,Lindstrom, Tom / Nonstandard methods in stochastic analysis and mathematical physicsАльбеверио, Серджио,Фенстад, Йенс,Хеэг-Крон, Рафаэль,Линдстрём, Том / Нестандартные методы в стохастическом анализе и математической физике

Нестандартные методы в стохастическом анализе и математической физике

Альбеверио, Серджио,Фенстад, Йенс,Хеэг-Крон, Рафаэль,Линдстрём, Том

© 1986 by Academic Press, Inc

© перевод на русский язык, с добавлениями, Звонкин А.К., 1990

Nonstandard methods in stochastic analysis and mathematical physics

Albeverio, Sergio,Fenstad, Iens,Hoegh-Kron, Raphael,Lindstrom, Tom

© 1986 by Academic Press, Inc

Definition of Glycosylation Presence

Установление наличия гликозилирования

http://www.patentlens.net/ 12/14/2011

http://www.patentlens.net/ 12/14/2011

Definition of long-term public employment policy frameworks;

определение долгосрочных основ государственной политики занятости;

http://www.nbkr.kg/ 11/29/2011

http://www.nbkr.kg/ 11/29/2011

Definition of the terms used in the claim.

Определения терминов, упомянутых в формуле изобретения.

http://www.patentlens.net/ 11/1/2011

http://www.patentlens.net/ 11/1/2011

Definition: The Chern classes F of a complex manifold X are the Chern classes of the tangent bundle B of X.

Определение. Классами Чженя F комплексного многообразия X называются классы Чженя касательного расслоения В к X.

Хирцебрух, Фридрих / Топологические методы в алгебраической геометрииHirzebruch, Friedrich / Topological Methods in Algebraic Geometry

Topological Methods in Algebraic Geometry

Hirzebruch, Friedrich

© by Springer-Verlag Berlin Heidelberg 1956,1962,1966 and 1978

Топологические методы в алгебраической геометрии

Хирцебрух, Фридрих

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

Definition of operational priorities

Определение оперативных приоритетов

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

http://www.un.org/ 25.11.2010

© United Nations 2010

http://www.un.org/ 25.11.2010

Thus it follows from (i) and Definition 3.7 that y is in £f(T).

Таким образом, из соотношения (i) и определения 3.7 вытекает, что Y содержится в о?(Т).

Dunford, Nelson,Schwartz, Jacob / Linear operators. Part III: Spectral operatorsДанфорд, Н.,Шварц, Дж. / Линейные операторы. Спектральные операторы

Линейные операторы. Спектральные операторы

Данфорд, Н.,Шварц, Дж.

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

Linear operators. Part III: Spectral operators

Dunford, Nelson,Schwartz, Jacob

© 1971, by John Wiley & Sons, Inc., Nelson Dunford and Jacob Schwartz

Hyperfinite Markov Processes and the Definition of Dirichlet Forms

Гиперконечные марковские процессы и определение форм Дирихле

Albeverio, Sergio,Fenstad, Iens,Hoegh-Kron, Raphael,Lindstrom, Tom / Nonstandard methods in stochastic analysis and mathematical physicsАльбеверио, Серджио,Фенстад, Йенс,Хеэг-Крон, Рафаэль,Линдстрём, Том / Нестандартные методы в стохастическом анализе и математической физике

Нестандартные методы в стохастическом анализе и математической физике

Альбеверио, Серджио,Фенстад, Йенс,Хеэг-Крон, Рафаэль,Линдстрём, Том

© 1986 by Academic Press, Inc

© перевод на русский язык, с добавлениями, Звонкин А.К., 1990

Nonstandard methods in stochastic analysis and mathematical physics

Albeverio, Sergio,Fenstad, Iens,Hoegh-Kron, Raphael,Lindstrom, Tom

© 1986 by Academic Press, Inc

It follows from Definition 8 that x is in f

Из определения 8 вытекает, что л; лежит в f

Dunford, Nelson,Schwartz, Jacob / Linear operators. Part III: Spectral operatorsДанфорд, Н.,Шварц, Дж. / Линейные операторы. Спектральные операторы

Линейные операторы. Спектральные операторы

Данфорд, Н.,Шварц, Дж.

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

Linear operators. Part III: Spectral operators

Dunford, Nelson,Schwartz, Jacob

© 1971, by John Wiley & Sons, Inc., Nelson Dunford and Jacob Schwartz

Generalized Definition of a Hermitean Operator.

Обобщенное определение эрмитовского оператора.

Bohm, David / Quantum TheoryБом, Д. / Квантовая теория

Квантовая теория

Бом, Д.

Quantum Theory

Bohm, David

© renewed 1979 by David Bohm.

© 1951 by Prentice-Hall, Inc.