Definability lemma - перевод, синонимы, произношение, примеры предложений, антонимы, транскрипция
analytical definability - аналитическая определимость
arithmetical definability - арифметическая определимость
syntactic definability - синтактическая определимость
semantic definability - семантическая определимость
definability lemma - лемма определимости
Значение definability: The quality of being definable.
algebraic lemma - алгебраическая лемма
arithmetical lemma - арифметическая лемма
main lemma - основная лемма
global lemma - глобальная лемма
preparatory lemma - вспомогательная лемма
projection lemma - лемма о проекции
truth lemma - лемма об истинности
conjectural lemma - лемма-гипотеза
the above equality completes the proof of lemma 1 - завершить доказательство
this proves the lemma - что и доказывает лемму
Синонимы к lemma: hypothesis, proposition, assumption, premise, thesis, theorem, data, flowering glume, postulate, presupposition
Антонимы к lemma: certainty, fact, proof, truth, abortion, blindness, challenge, codicil, experimental work, field test
Значение lemma: a subsidiary or intermediate theorem in an argument or proof.
These languages are not context-free, which can be shown using the pumping lemma. |
Эти языки не являются контекстно-свободными, что можно показать с помощью леммы накачки. |
Furthermore, to solve the puzzle in two questions, the following lemma is proved. |
Кроме того, чтобы решить головоломку в двух вопросах, доказывается следующая Лемма. |
Sperner's lemma is a more advanced application of the same strategy. |
Лемма спернера является более совершенным применением той же стратегии. |
Для этого индуктивного шага нам нужна следующая Лемма. |
|
In recursion theory, the Limit lemma proves that it is possible to encode undecidable problems using limits. |
В теории рекурсии предельная Лемма доказывает, что с помощью ограничений можно кодировать неразрешимые задачи. |
The language of squares is not regular, nor is it context-free, due to the pumping lemma. |
Язык квадратов не является ни регулярным, ни контекстно-свободным из-за леммы накачки. |
In fact, this idea—manifested by the diagonal lemma—is the basis for Tarski's theorem that truth cannot be consistently defined. |
На самом деле эта идея—проявленная диагональной леммой—лежит в основе теоремы Тарского о том, что истина не может быть последовательно определена. |
His dictionary of 1755 lemmatizes distil and instill, downhil and uphill. |
Его словарь 1755 года лемматизирует дистилляцию и инстилляцию, даунхиль и Апхилл. |
We do not need to rid lemmas of letters that have diacritics and accents etc. |
Нам не нужно избавлять леммы от букв, которые имеют диакритические знаки и акценты и т. д. |
These seeds adhere to the lemma and palea of the glume, so that removing the seeds from the joints is difficult. |
Эти семена прилипают к лемме и Палеа чешуи, так что удаление семян из суставов затруднено. |
So if strong provability/unprovability is adopted, sentences containing provability predicates constitute exceptions to a measure of generality of the diagonal lemma. |
Таким образом, если принимается сильная доказуемость/недоказуемость, предложения, содержащие предикаты доказуемости, представляют собой исключения из меры общности диагональной леммы. |
The Hahn–Banach theorem does not rely on the full axiom of choice but can be proved using a weaker version of AC called the ultrafilter lemma. |
Теорема Хана-Банаха не опирается на полную аксиому выбора, но может быть доказана с помощью более слабой версии AC, называемой леммой ультрафильтра. |
William Burnside stated and proved this lemma, attributing it to Frobenius 1887, in his 1897 book on finite groups. |
Уильям Бернсайд сформулировал и доказал эту лемму, приписав ее Фробениусу 1887 года в своей книге 1897 года о конечных группах. |
Apparently it has already been moved back and forth between those two lemmas, but why? |
Очевидно, он уже перемещался между этими двумя леммами, но почему? |
Lemma 2. If s ≠ 0, it is possible to make a move so that t = 0. |
Лемма 2. Если s ≠ 0, то можно сделать ход так, что t = 0. |
As such, any theorem, lemma, or property which establishes convergence in probability may be used to prove the consistency. |
Таким образом, любая теорема, Лемма или свойство, устанавливающие сходимость в вероятности, могут быть использованы для доказательства непротиворечивости. |
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. |
Доказательство этой леммы несложно, но мы должны быть немного осторожны с конечной точкой x = 1. Для этого пункта Лемма явно верна, так как. |
Sorry, but the lemma seems to be a wrong translation. |
Извините, но Лемма кажется неправильным переводом. |
Kleene has some three little lemmas about parenthesis pairing and nesting etc. |
У клина есть около трех маленьких лемм о спаривании скобок и вложенности и т. д. |
Я вошел в систему, потому что меня волнует Лемма Германии. |
|
Between the ages of 20 and 60, people learn some 6,000 more lemmas, or one every other day. |
В возрасте от 20 до 60 лет люди изучают еще около 6000 лемм или по одной через день. |
Now, we show how this lemma can be used to prove our main theorem. |
Теперь мы покажем, как эта лемма может быть применена для доказательства основной теоремы. |
Lemma 1. If s = 0, then t ≠ 0 no matter what move is made. |
Лемма 1. Если s = 0, то t ≠ 0 независимо от того, какой ход сделан. |
Finally, it's worthwhile to give a broader selection of articles with interesting characters in their lemmas. |
Наконец, стоит дать более широкий выбор статей с интересными персонажами в их леммах. |
Using this lemma we can now show that the height of the tree is logarithmic. |
Используя эту лемму, мы можем теперь показать, что высота дерева логарифмична. |
Доказательство диагональной леммы использует аналогичный метод. |
|
Нам потребуются следующие две леммы. |
|
Lemma 2. For any positive integers n and m, and any 0 ≤ x ≤ 1,. |
Лемма 2. Для любых натуральных чисел n и m и любых 0 ≤ x ≤ 1,. |
We will assume that a ≥ 2. From Lemma 1, we know that it has ap fixed points. |
Будем считать, что a ≥ 2. Из леммы 1 мы знаем, что он имеет фиксированные точки ap. |
Лемма - это пример сна первокурсника. |
|
In order to prove the lemma, we must introduce the binomial theorem, which states that for any positive integer n,. |
Чтобы доказать лемму, мы должны ввести биномиальную теорему, которая утверждает, что для любого положительного целого числа n,. |
But the lemma proves that the sum of two identical whole-number squares cannot produce another whole-number square. |
Но Лемма доказывает, что сумма двух одинаковых квадратов целого числа не может произвести другой квадрат целого числа. |
The number of distinct solutions can also be identified with Burnside's Lemma. |
Число различных решений также можно отождествить с Леммой Бернсайда. |
The number of essentially different solutions is then the number of orbits, which can be computed using Burnside's lemma. |
Число существенно различных решений - это число орбит, которое может быть вычислено с помощью леммы Бернсайда. |
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. |
Несовершенная форма глагола совпадает с его словарной формой—она используется в качестве заглавного слова или леммы—и спряжение не требуется. |
Another method of proof of existence, global analysis, uses Sard's lemma and the Baire category theorem; this method was pioneered by Gérard Debreu and Stephen Smale. |
Другой метод доказательства существования, глобальный анализ, использует лемму Сарда и теорему категории Байра; этот метод был впервые предложен Жераром Дебре и Стивеном Смейлом. |
This follows from Zorn's lemma, an equivalent formulation of the Axiom of Choice. |
Это следует из леммы Цорна, эквивалентной формулировке аксиомы выбора. |
The overspill lemma, first proved by Abraham Robinson, formalizes this fact. |
Лемма о переливе, впервые доказанная Абрахамом Робинсоном, формализует этот факт. |
Below, however, is a direct proof that uses Fatou’s lemma as the essential tool. |
Ниже, однако, приводится прямое доказательство, которое использует лемму фату в качестве основного инструмента. |
In fact, the lemma was apparently so well known that Burnside simply omitted to attribute it to Cauchy. |
На самом деле Лемма была, по-видимому, настолько хорошо известна, что Бернсайд просто не стал приписывать ее Коши. |
However, since Euler himself had proved the lemma necessary to complete the proof in other work, he is generally credited with the first proof. |
Однако, поскольку сам Эйлер доказал лемму, необходимую для завершения доказательства в другой работе, ему обычно приписывают первое доказательство. |
The first lemma is independent from the other ones, and will be used at the end as the counter statement to reject the results from the other lemmas. |
Первая Лемма независима от других и будет использоваться в конце как встречное утверждение для отклонения результатов из других лемм. |
Moreover, as stated in the lemma below, the closed linear span is indeed the closure of the linear span. |
Все это время вода не переставала падать с неба; я не говорю, что шел дождь, потому что это было похоже на очередной потоп. |
The piling-up lemma is a useful tool for this combination step. |
Лемма нагромождения является полезным инструментом для этого комбинированного шага. |
The result is referred to as the matrix approximation lemma or Eckart–Young–Mirsky theorem. |
Этот результат называется леммой матричного приближения или теоремой Эккарта-Янга-Мирского. |
Hough used the Lovász local lemma to show that there is some maximum N. |
Хью использовал локальную лемму Ловаша, чтобы показать, что существует некоторый максимум N. |
In number theory, Zolotarev's lemma states that the Legendre symbol. |
В теории чисел Лемма Золотарева утверждает, что символ Лежандра. |
Zolotarev's lemma can be deduced easily from Gauss's lemma and vice versa. |
Лемма Золотарева легко выводится из леммы Гаусса и наоборот. |
This lemma was introduced by Yegor Ivanovich Zolotarev in an 1872 proof of quadratic reciprocity. |
Эта Лемма была введена Егором Ивановичем Золотаревым в доказательство квадратичной взаимности 1872 года. |
Gauss's lemma in number theory gives a condition for an integer to be a quadratic residue. |
Лемма Гаусса в теории чисел дает условие, чтобы целое число было квадратичным остатком. |
Gauss's lemma may then be viewed as a computation that explicitly identifies this homomorphism as being the quadratic residue character. |
Тогда лемму Гаусса можно рассматривать как вычисление, которое явно идентифицирует этот гомоморфизм как характер квадратичного остатка. |
Two other characterizations of squares modulo a prime are Euler's criterion and Zolotarev's lemma. |
Две другие характеристики квадратов по модулю простого числа-это критерий Эйлера и Лемма Золотарева. |
These top 100 lemmas listed below account for 50% of all the words in the Oxford English Corpus. |
Эти топ-100 лемм, перечисленных ниже, составляют 50% всех слов в Оксфордском английском корпусе. |
For this last we need only Euclid's lemma in the formulation given on . |
Для этого последнего нам нужна только Лемма Евклида в приведенной далее формулировке . |
Hardly the sexist bias claimed in the lemma and sourced with this book. |
Вряд ли сексистский уклон, заявленный в лемме и найденный в этой книге. |
For native speakers of German average absolute vocabulary sizes range from 5,900 lemmas in first grade to 73,000 for adults. |
Для носителей немецкого языка средние абсолютные размеры словаря варьируются от 5900 лемм в первом классе до 73 000 для взрослых. |
The solution below constructs its three questions using the lemma described above. |
Приведенное ниже Решение строит свои три вопроса, используя лемму, описанную выше. |
Using this lemma it is simple to solve the puzzle in two questions. |
Используя эту лемму, легко решить головоломку в двух вопросах. |
Предлагаем Вашему вниманию современный англо-русский и русско-английский словарь EnglishLib, в котором содержиться более 2 000 000 слов и фраз. На этой странице содержится полезная информации о фразе «definability lemma».
А именно, здесь можно найти перевод (значение) «definability lemma» на русском языке, синонимы, антонимы, краткое определение слов: definability, lemma , а также произношение и транскрипцию к «definability lemma». Также, к фразе «definability lemma» представлено грамотно составленные примеры предложений для лучшего восприятия слова в контексте.