Леммы - перевод на английский язык, синонимы, произношение, примеры предложений, антонимы
постулаты, предположения, аксиомы, выводы
Доказательство диагональной леммы использует аналогичный метод. |
The proof of the diagonal lemma employs a similar method. |
Язык квадратов не является ни регулярным, ни контекстно-свободным из-за леммы накачки. |
The language of squares is not regular, nor is it context-free, due to the pumping lemma. |
Сильные глаголы аблаут ядро леммы, чтобы вывести прошлые формы глагола. |
Strong verbs ablaut the lemma's nucleus to derive the past forms of the verb. |
Эти языки не являются контекстно-свободными, что можно показать с помощью леммы накачки. |
These languages are not context-free, which can be shown using the pumping lemma. |
Примитивность p существенна для леммы; в противном случае у нас есть примеры, подобные этому. |
The primality of p is essential to the lemma; otherwise, we have examples like. |
Будем считать, что a ≥ 2. Из леммы 1 мы знаем, что он имеет фиксированные точки ap. |
We will assume that a ≥ 2. From Lemma 1, we know that it has ap fixed points. |
Обобщения леммы Гаусса могут быть использованы для вычисления символов остатков более высокой степени. |
Generalizations of Gauss's lemma can be used to compute higher power residue symbols. |
Нам потребуются следующие две леммы. |
We will require the following two lemmas. |
Число существенно различных решений - это число орбит, которое может быть вычислено с помощью леммы Бернсайда. |
The number of essentially different solutions is then the number of orbits, which can be computed using Burnside's lemma. |
This follows from a generalization of Euclid's lemma. |
|
Лемма Золотарева легко выводится из леммы Гаусса и наоборот. |
Zolotarev's lemma can be deduced easily from Gauss's lemma and vice versa. |
Это следует из леммы Цорна, эквивалентной формулировке аксиомы выбора. |
This follows from Zorn's lemma, an equivalent formulation of the Axiom of Choice. |
Несовершенная форма глагола совпадает с его словарной формой—она используется в качестве заглавного слова или леммы—и спряжение не требуется. |
The imperfective form of a verb is the same as its dictionary form—it is used as the headword, or lemma—and no conjugation needs to be done. |
Доказательство леммы N-й степени использует те же идеи, которые были использованы в доказательстве квадратичной леммы. |
The proof of the nth-power lemma uses the same ideas that were used in the proof of the quadratic lemma. |
Таким образом, если принимается сильная доказуемость/недоказуемость, предложения, содержащие предикаты доказуемости, представляют собой исключения из меры общности диагональной леммы. |
So if strong provability/unprovability is adopted, sentences containing provability predicates constitute exceptions to a measure of generality of the diagonal lemma. |
Доказательство этой леммы несложно, но мы должны быть немного осторожны с конечной точкой x = 1. Для этого пункта Лемма явно верна, так как. |
The proof of this lemma is not difficult, but we need to be slightly careful with the endpoint x = 1. For this point the lemma is clearly true, since. |
Нам не нужно избавлять леммы от букв, которые имеют диакритические знаки и акценты и т. д. |
We do not need to rid lemmas of letters that have diacritics and accents etc. |
- доказательство леммы закончено - the proof of the lemma is finished
- приближение леммы - approximation lemma
- мы начнём доказательство с леммы - we begin the proof with a lemma