без примеровНайдено в 4 словарях
Примеры из текстов
Finally, matters connected with interpretations will be discussed for both kinds of Skolem lattices simultaneously in Sec. 5.Наконец, вопросы, связанные с интерпретациями, будут рассмотрены одновременно для обоих видов сколемовских структур в разд. 5.Curry, Haskell B. / Foundations of Mathematical LogicКарри, Хаскелл Б. / Основания математической логикиОснования математической логикиКарри, Хаскелл Б.© Издательство «Мир», 1969Foundations of Mathematical LogicCurry, Haskell B.© 1963 by Haskell B. Curry.© 1977 by Haskell B. Curry.
As a preliminary to this we shall study in Sec. 1 a species, called a semilattice, in which only one operation is present.Предварительно в разд. 1 мы изучим другой вид алгебры, называемый полуструктурой, в котором есть только одна операция.Curry, Haskell B. / Foundations of Mathematical LogicКарри, Хаскелл Б. / Основания математической логикиОснования математической логикиКарри, Хаскелл Б.© Издательство «Мир», 1969Foundations of Mathematical LogicCurry, Haskell B.© 1963 by Haskell B. Curry.© 1977 by Haskell B. Curry.
The inductive step of this induction has already been shown in Sec. A1Индукционный шаг уже описан в разд. А1Curry, Haskell B. / Foundations of Mathematical LogicКарри, Хаскелл Б. / Основания математической логикиОснования математической логикиКарри, Хаскелл Б.© Издательство «Мир», 1969Foundations of Mathematical LogicCurry, Haskell B.© 1963 by Haskell B. Curry.© 1977 by Haskell B. Curry.
In Sec. 2C3 the term 'atom' was used for the primitive ob of an ob system.В разд. 2G3 для первоначального оба об-системы употреблялся термин "атом".Curry, Haskell B. / Foundations of Mathematical LogicКарри, Хаскелл Б. / Основания математической логикиОснования математической логикиКарри, Хаскелл Б.© Издательство «Мир», 1969Foundations of Mathematical LogicCurry, Haskell B.© 1963 by Haskell B. Curry.© 1977 by Haskell B. Curry.
The duals of the theorems of Sec. 1 thus hold in a lattice.Таким образом, для структур справедливы теоремы, двойственные теоремам разд. 1.Curry, Haskell B. / Foundations of Mathematical LogicКарри, Хаскелл Б. / Основания математической логикиОснования математической логикиКарри, Хаскелл Б.© Издательство «Мир», 1969Foundations of Mathematical LogicCurry, Haskell B.© 1963 by Haskell B. Curry.© 1977 by Haskell B. Curry.
2. Obtain relations corresponding to those given in Sec. 7 for the largest and smallest values of a symmetric matrix A with a»j = 0, \ j — i\ > 2; and at-,- = 0, \ j — i\ > 3.2. Получить соотношения, соответствующие приведенным в § 7, для наибольшего и наименьшего собственных значений симметричной матрицы Л, у которой (1) ац — 0 при \i — /1>2 и (2) ац = 0 при |i —/|>3.Bellman, Richard / Introduction To Matrix AnalysisБеллман, Р. / Введение в теорию матрицВведение в теорию матрицБеллман, Р.Introduction To Matrix AnalysisBellman, Richard© 1960 by The RAND Corporation
Next we look at the theorem of Sec. 6B4 regarding the different formulations of negation.Затем мы рассмотрим теорему 6В4, рассматривающую различные формулировки для отрицания.Curry, Haskell B. / Foundations of Mathematical LogicКарри, Хаскелл Б. / Основания математической логикиОснования математической логикиКарри, Хаскелл Б.© Издательство «Мир», 1969Foundations of Mathematical LogicCurry, Haskell B.© 1963 by Haskell B. Curry.© 1977 by Haskell B. Curry.
The replacement, in Sec. Dl, of 'logistic' by assertional has already been commented onЗамена в разд. D1 термина 'логический' на 'ассерторический' уже комментироваласьCurry, Haskell B. / Foundations of Mathematical LogicКарри, Хаскелл Б. / Основания математической логикиОснования математической логикиКарри, Хаскелл Б.© Издательство «Мир», 1969Foundations of Mathematical LogicCurry, Haskell B.© 1963 by Haskell B. Curry.© 1977 by Haskell B. Curry.
Thus the conditions for interchangeability mentioned at the end of Sec. 1 are fulfilled for commands with different shuttles on the left.Поэтому условия для перестановочности, упомянутые в конце разд. 1, выполняются для команд, содержащих слева различные челноки.Curry, Haskell B. / Foundations of Mathematical LogicКарри, Хаскелл Б. / Основания математической логикиОснования математической логикиКарри, Хаскелл Б.© Издательство «Мир», 1969Foundations of Mathematical LogicCurry, Haskell B.© 1963 by Haskell B. Curry.© 1977 by Haskell B. Curry.
There is some latitude in regard to propositions, and this latitude may be extended to include the possibility of other sorts of interpretations— where the obs are classes, numbers, closed sets, etc., as in Sec. 4A.В отношении высказываний есть некоторая свобода, и эту свободу можно расширить, допустив возможность других видов интерпретаций, где обы представляют собой классы, числа, замкнутые множества и т. д., как в разд. 4А.Curry, Haskell B. / Foundations of Mathematical LogicКарри, Хаскелл Б. / Основания математической логикиОснования математической логикиКарри, Хаскелл Б.© Издательство «Мир», 1969Foundations of Mathematical LogicCurry, Haskell B.© 1963 by Haskell B. Curry.© 1977 by Haskell B. Curry.
In Sec. 12 of Chap. 7, we sketched one way of obtaining approximate solutions to this problem.В § 12 гл.7 мы наметили один из путей получения приближенного решения этой задачи.Bellman, Richard / Introduction To Matrix AnalysisБеллман, Р. / Введение в теорию матрицВведение в теорию матрицБеллман, Р.Introduction To Matrix AnalysisBellman, Richard© 1960 by The RAND Corporation
This is a one-to-one transformation since the determinant U1V2 — u2Vi is nonzero, as noted at the end of Sec.Это преобразование является взаимно однозначным, так как определитель U\V2 — «2^1 отличен от нуля.Bellman, Richard / Introduction To Matrix AnalysisБеллман, Р. / Введение в теорию матрицВведение в теорию матрицБеллман, Р.Introduction To Matrix AnalysisBellman, Richard© 1960 by The RAND Corporation
This is permissible usage according to the habit of the English language; it was already alluded to in Sec. 2A3.Это допускают нормы русского языка; на это уже ссылались в разд. 2АЗ.Curry, Haskell B. / Foundations of Mathematical LogicКарри, Хаскелл Б. / Основания математической логикиОснования математической логикиКарри, Хаскелл Б.© Издательство «Мир», 1969Foundations of Mathematical LogicCurry, Haskell B.© 1963 by Haskell B. Curry.© 1977 by Haskell B. Curry.
For ancient modal logic see the historical works mentioned in Sec. 1S3, particularly that of Bochenski.По поводу античной модальной логики см. работы, упомянутые в разд. 1S3, в особенности книгу Бохенского.Curry, Haskell B. / Foundations of Mathematical LogicКарри, Хаскелл Б. / Основания математической логикиОснования математической логикиКарри, Хаскелл Б.© Издательство «Мир», 1969Foundations of Mathematical LogicCurry, Haskell B.© 1963 by Haskell B. Curry.© 1977 by Haskell B. Curry.
This will begin, in Sec. 1, with theorems concerning the extensions and other forms of weakening principles.Мы начнем с теорем, относящихся к расширениям и другим формам принципов ослабления.Curry, Haskell B. / Foundations of Mathematical LogicКарри, Хаскелл Б. / Основания математической логикиОснования математической логикиКарри, Хаскелл Б.© Издательство «Мир», 1969Foundations of Mathematical LogicCurry, Haskell B.© 1963 by Haskell B. Curry.© 1977 by Haskell B. Curry.
Добавить в мой словарь
Не найденоПереводы пользователей
Пока нет переводов этого текста.
Будьте первым, кто переведёт его!
Словосочетания
Sec Nav
министр ВМС
Sec Nav
министр военно-морских сил
Sec.Leg
в соответствии с законом
SEC fee
налог, взимаемый Комиссией по ценным бумагам и биржам с зарегистрированных ценных бумаг
SEC yield
отношение чистого дохода в расчете на одну акцию за месяц к стоимости акции на конец этого месяца
SEC yield
пересчитанное на год
SEC registration fees
комиссионные расходы по регистрации ценных бумаг в комиссии по ценным бумагам и на бирже
rec. sec
протоколист
duration of the hold must be 2 sec.
время удерживания должно равняться 2 сек.
maintain L-support for 2 sec.
держать угол в упоре 2 сек.
avg . disk sec/io
среднее время доступа к диску
disk reads/sec
Чтение диска в секунду
disk writes/sec
запись на диск в секунду
transfers/sec
передачи в секунду
extra-sec champagne
брют
Формы слова
sec
noun
| Singular | Plural | |
| Common case | sec | secs |
| Possessive case | sec's | secs' |