а

Пусть М [А] — высказывание, содержащее вхождение высказывания А и такое, что М не содержит х, если только х не входит в А.

Let M[A] be a proposition containing an occurrence of a proposition A, such that M does not contain x except in so far as it is in A.

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

Общий способ получения амидов 3-арилсульфонил-пиразоло[1,5- а]пиримидин-карбоновых кислот общей формулы (F).

General method for the preparation of amides of 3-arylsulfonyl-pyrazolo[l,5-a]pyrimidine-carboxylic acids of the general formulas (F).

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

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

Данное изобретение относится к новым 3-арилсульфонил-пиразоло[1,5- а]пиримидинам, к новым антагонистам серотониновых 5-НТб рецепторов, к новым лекарственным началам, фармацевтическим композициям, готовым лекарственным формам и способам их получения.

The invention relates to novel (arylsulfonyl)pyra- zolo[l,5-a]pyrimidines, novel serotonin 5-HT6 receptor antagonists, to novel drug substances, pharmaceutical compositions, medicaments, methods for their preparation and use.

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

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

Каждое конечное подмножество элементов из [А] является мягким в [А].

Every finite subset of [A] is benign in [A].

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

Mathematical Logic

Shoenfield, Joseph

© 1967 by Addison-Wesley publishing company, inc.

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

Шенфилд, Дж.

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

Мы покажем, что если р — вещественный полином, принимающий положительные значения на интервале [а, р], то оператор р(А) положителен.

We shall prove that if p is a real polynomial which takes on positive values on the interval [a, B], then p(A) is a positive operator.

Ленг, Серж / SL2(R)Lang, Serge / SL2(R)

SL2(R)

Lang, Serge

© 1985 by Springer-Verlag New York Inc.

© 1975 by Addison-Wesley Publishing Company. Inc.

SL2(R)

Ленг, Серж

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

© 1975 by Addison-Wesley Publishing Company, Inc.

Теперь формулы (1), (2) можно представить в виде (F), где интегралы берутся по интервалу [а, р], содержащему все собственные значения оператора.

Now formulas (1) and (2) can be represented in the form (F) where the integrals are taken over an interval [a, p] which contains all the eigenvalues of the operator A.

Ахиезер, Н. И.,Глазман, И. М. / Теория линейных операторов в гильбертовом пространствеAkhiezer, N.,Glazman, I. / Theory of linear operators in Hilbert space

Theory of linear operators in Hilbert space

Akhiezer, N.,Glazman, I.

Теория линейных операторов в гильбертовом пространстве

Ахиезер, Н. И.,Глазман, И. М.

В интервале внешних давлений [а, 1] (область высоких давлений) тканевое давление принимает положительные значения.

Within the interval of external pressures [a, 1] (the region of high pressures) tissue pressure attains positive values.

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

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

Этот тип можно определить, запрашивая класс объекта-значения, обнаруживая ссылки на классы Java. lang. String, Java. lang. Integer и j ava. lang. byte [ ], а затем сравнивая их с помощью функции IsAssignableFrom.

We can make this determination by querying the class of the value object, finding the class references for java.lang.String, java.lang.Integer, and byte[], and comparing them with the IsAssignableFrom function.

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

Core Java™ 2. Volume II - Advanced Features

Horstmann, Cay S.,Cornell, Gary

© 2002 Sun Microsystems, Inc.

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

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

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

© Prentice Hall, Inc., 2002

Если же доходят не до одного [понятия], а до двух или больше, то ясно, что искомое имело бы не одну суть, а несколько.

But if we reach not one formula but two or more, evidently the definiendum cannot be one thing but must be more than one.

Дилтс, Роберт / Стратегии гениев. Том 1Dilts, Robert / Strategies of Genius: Volume I

Strategies of Genius: Volume I

Dilts, Robert

© Copyright 1994 by Meta Publications

Стратегии гениев. Том 1

Дилтс, Роберт

Если мы добавим в воде некоторое количество кислоты, то увеличится концентрация [Н+], а так как произведение должно оставаться постоянным, то соответственно уменьшится концентрация [ОН-].

If we add some acid to the water, there is an increase of [H+], and, since the product must remain constant, a corresponding decrease of [OH~].

Ферми, Энрико / ТермодинамикаFermi, Enrico / Thermodynamics

Thermodynamics

Fermi, Enrico

© 1936 by Enrico Fermi

Термодинамика

Ферми, Энрико