-
1 lemmas
Леммы -
2 pumping lemmas
-
3 2.7) the proof of Theorem 2.1 is arranged as a series of seven Lemmas
Математика: доказательство Теоремы 2.1 разобьём на ряд, состоящий из семи лемм (от Леммы 2.1 до Леммы (Lemma 2.1 to Lemma 2.7)Универсальный англо-русский словарь > 2.7) the proof of Theorem 2.1 is arranged as a series of seven Lemmas
-
4 the proof of the lemma is finished
Универсальный англо-русский словарь > the proof of the lemma is finished
-
5 the rest of the lemma follows by a very easy calculation
Математика: оставшаяся часть леммы, остаток леммыУниверсальный англо-русский словарь > the rest of the lemma follows by a very easy calculation
-
6 2.7 the proof of Theorem 2.1 is arranged as a series of seven Lemmas
Математика: доказательство Теоремы 2.1 разобьём на ряд, состоящий из семи лемм ( от Леммы 2. 1 до Леммы (Lemma 2.1 to Lemma 2.7)Универсальный англо-русский словарь > 2.7 the proof of Theorem 2.1 is arranged as a series of seven Lemmas
-
7 lemmatization
Большой англо-русский и русско-английский словарь > lemmatization
-
8 assertion (i) is a consequence of Lemma 3
Математика: следствие Леммы 3Универсальный англо-русский словарь > assertion (i) is a consequence of Lemma 3
-
9 lemmata
-
10 our proof follows along the lines of Lemma 2 of [1]
Математика: наше доказательство, в основном, повторяет доказательство Леммы 2 из [1]Универсальный англо-русский словарь > our proof follows along the lines of Lemma 2 of [1]
-
11 pumping lemmas
Вычислительная техника: леммы накачки -
12 statement of the pumping lemma
Программирование: утверждение леммы о накачкеУниверсальный англо-русский словарь > statement of the pumping lemma
-
13 the rest of Lemma 2 follows by a very easy calculation
Универсальный англо-русский словарь > the rest of Lemma 2 follows by a very easy calculation
-
14 the three lemmas constitute the proof of Theorem 2
Универсальный англо-русский словарь > the three lemmas constitute the proof of Theorem 2
-
15 we begin the proof with a lemma
Математика: мы начнём доказательство с леммыУниверсальный англо-русский словарь > we begin the proof with a lemma
-
16 weighted form of lemma
Математика: взвешенная форма леммыУниверсальный англо-русский словарь > weighted form of lemma
-
17 assertion is a consequence of Lemma 3
Математика: (i) следствие Леммы 3Универсальный англо-русский словарь > assertion is a consequence of Lemma 3
-
18 lemmatization
English-Russian dictionary of computer science and programming > lemmatization
-
19 lemmata
-
20 extension
(матем.) следствие (из доказательства, леммы, теоремы)English-Russian dictionary of scientific and technical difficulties vocabulary > extension
- 1
- 2
См. также в других словарях:
Леммы — Первая страница «Лемм» на английском языке (1897). «Леммы» книга, приписываемая Архимеду арабским ученым Сабитом ибн Куррой. Книга написана более 2200 лет назад и состоит из 15 теорем о кругах и окружностях. Содержание … Википедия
Лемма о накачке для регулярных языков — В теории формальных языков, лемма о накачке для регулярных языков описывает существенное свойство всех регулярных языков. Неформально она утверждает, что все достаточно длинные слова регулярного языка можно накачать, то есть повторить внутреннюю… … Википедия
Лемма Куратовского — Лемма Цорна (англ. Zorn s lemma), также известная как лемма Куратовского Цорна (англ. Kuratowski – Zorn lemma), утверждает: Частично упорядоченное множество, в котором любая цепь имеет верхнюю грань, содержит максимальный элемент. Лемма … Википедия
Лемма Куратовского — Цорна — Лемма Цорна (англ. Zorn s lemma), также известная как лемма Куратовского Цорна (англ. Kuratowski – Zorn lemma), утверждает: Частично упорядоченное множество, в котором любая цепь имеет верхную грань, содержит максимальный элемент. Лемма носит… … Википедия
Лемма о разрастании — Лемма о накачке, или лемма о разрастании (англ. pumping lemma) в теории автоматов важная лемма, позволяющая во многих случаях проверить, является ли данный язык автоматным. Поскольку все конечные языки являются автоматными, эту проверку… … Википедия
Лемма Накаямы — важная техническая лемма в коммутативной алгебре и алгебраической геометрии, следствие правила Крамера. Она имеет множество эквивалентных формулировок. Вот одна из них: Пусть R коммутативное кольцо с единицей 1, I идеал в R, а M… … Википедия
Граница Плоткина — Граница Плоткина в теории кодирования определяет предел мощности двоичного кодa длины и минимального расстояния . Содержание 1 Формулировка … Википедия
Лемма о накачке — Лемма о накачке, или лемма о разрастании (англ. pumping lemma) в теории автоматов важная лемма, позволяющая во многих случаях проверить, является ли данный язык автоматным. Поскольку все конечные языки являются автоматными, эту проверку имеет… … Википедия
Лемма Шуры-Буры — Лемма Шуры Буры принятое в научной школе П. С. Александрова название для следующего элементарного утверждения общей топологии, касающегося свойств компактных пространств: Пусть открытое подмножество компактного пространства … Википедия
Лемма Гейне — Леммой Гейне Бореля [1], а также леммой Бореля Лебега [2] называется следующий факт, играющий фундаментальную роль в анализе: Из всякой бесконечной системы интервалов, покрывающей отрезок числовой прямой, можно выбрать конечную подсистему, также… … Википедия
Лемма Золотарёва — В теории чисел, Лемма Золотарёва утверждает, что символ Лежандра для целого по модулю нечётного простого числа р, которое не разделяет a, можно вычислить как знак перестановки: где ε обозначает знак перестановки и π является перестановкой… … Википедия