Hall (2015, Theorem 4.34 and following discussion.) |
Hall, 2015, с. Theorem 4.34 и последующее обсуждение. |
A proof of this fact can be found in (Hörmander 1990, pp. 25), Theorem 1.4.1. |
Доказательство этого факта можно найти в статье Хёрмандера (Hörmander 1990, С. 25), Theorem 1.4.1. |
It is a specific instance of the far more general shape discussed in Blaise Pascal's 1639 Hexagrammum Mysticum Theorem. |
Уникурсальная гексаграмма является специфичным видом более общей формы, которую обсуждал Блез Паскаль в теореме 1639-го года Hexagrammum Mysticum Theorem. |
Two of Kripke's earlier works, A Completeness Theorem in Modal Logic and Semantical Considerations on Modal Logic, the former written when he was a teenager, were on modal logic. |
Две первые работы Крипке - А Completeness Theorem in Modal Logic и Semantical Considerations on Modal Logic (написанная еще в школе) - посвящены модальной логике. |
This is due to the alternate segment theorem, which states that the angle between the tangent and chord equals the angle in the alternate segment. |
Это связано с теоремой об отрезке круга, дополнительном данному (the alternate segment theorem,), в которой говорится, что угол между касательной и хордой равен вписанному в окружность углу, опирающемуся на эту хорду. |
The tweakable narrow-block encryption (LRW) is an instantiation of the mode of operations introduced by Liskov, Rivest, and Wagner (see Theorem 2). |
Настраиваемое узкоблочное шифрование (LRW) представляет собой экземпляр режима операций, введенного Лисковым, Ривестом и Вагнером (see Theorem 2). |
If r < n, then it is possible to append n - r rows to an r× n Latin rectangle to form a Latin square, using Hall's marriage theorem. |
Если г < n, то можно добавить n - r строк к латинскому прямоугольнику с размерами r× n, чтобы сформировать латинский квадрат, используя теорему Холла о свадьбах theorem. |