Explicit theorem - перевод, синонимы, произношение, примеры предложений, антонимы, транскрипция
adjective: явный, точный, подробный, откровенный, определенный, явно заданный, высказанный до конца, полностью высказанный, не оставляющий сомнений, искренний
explicit permit statement - явный оператор permit
explicit declaration - явное объявление
explicit model - явная модель
explicit demand - явный спрос
contains explicit or graphic descriptions - содержит явные или графические описания
explicit notice - явное уведомление
explicit provision - прямо сформулированное положение
are explicit - являются явными
explicit choice - явный выбор
no explicit reference - нет прямой ссылки
Синонимы к explicit: specific, straightforward, comprehensive, clear, unambiguous, exact, plain, precise, detailed, crystal clear
Антонимы к explicit: implicit, indirect, tacit, hidden, secret
Значение explicit: stated clearly and in detail, leaving no room for confusion or doubt.
embedding theorem - теорема вложения
covering theorem - теорема покрытия
incompleteness theorem - теорема о неполноте
arithmetical enumeration theorem - арифметический подсчет теорема
auxiliary theorem - вспомогательная теорема
regularity theorem - теорема о регулярности
remarkable theorem - несравнимая теорема
composition theorem - теорема композиции
equilibrium theorem - теорема равновесия
determinant theorem - теорема о детерминантах
Синонимы к theorem: assumption, concession, premise, premiss, presumption, presupposition, hypothesis, proposition, supposition, theory
Антонимы к theorem: fact, proof
Значение theorem: a general proposition not self-evident but proved by a chain of reasoning; a truth established by means of accepted truths.
So if the modularity theorem were found to be true, then it would follow that no contradiction to Fermat's Last Theorem could exist either. |
Таким образом, если теорема о модульности окажется верной, то из этого следует, что никакого противоречия последней теореме Ферма также не может существовать. |
A simpler, but related, problem is proof verification, where an existing proof for a theorem is certified valid. |
Более простая, но связанная с ней проблема-это проверка доказательств, когда существующее доказательство теоремы считается действительным. |
Its relevance to public finance is underpinned by the Henry George theorem. |
Его значимость для государственных финансов подкрепляется теоремой Генри Джорджа. |
Slowly, as though going up to the blackboard at school to prove a theorem he had not properly learned, Ippolit Matveyevich approached Room 41. |
Медленно, словно бы он подходил к классной доске, чтобы доказать не выученную им теорему, Ипполит Матвеевич приблизился к комнате №41. |
A far-reaching generalization of the Gauss–Bonnet theorem is the Atiyah–Singer Index Theorem. |
Далеко идущим обобщением теоремы Гаусса-Бонне является теорема индекса Атии-Сингера. |
The index theorem says that this is constant as you vary the elliptic operator smoothly. |
Теорема об индексе говорит, что это константа, поскольку вы плавно меняете эллиптический оператор. |
Lemaître made an explicit prediction that the universe should expand. |
Леметр сделал явное предсказание, что Вселенная должна расшириться. |
The Chern character is used in the Hirzebruch–Riemann–Roch theorem. |
Символ черна используется в теореме Хирцебруха-Римана-Роха. |
Examining this elliptic curve with Ribet's theorem shows that it does not have a modular form. |
Изучение этой эллиптической кривой с помощью теоремы Рибета показывает, что она не имеет модульной формы. |
How explicit Jesus' intentions were and whether he envisioned a continuing, organized Church is a matter of dispute among scholars. |
Насколько явными были намерения Иисуса и представлял ли он себе непрерывную организованную Церковь-это вопрос спора между учеными. |
In complex analysis, Picard's great theorem and Picard's little theorem are related theorems about the range of an analytic function. |
В комплексном анализе большая теорема Пикара и малая теорема Пикара являются связанными теоремами о диапазоне аналитической функции. |
The inscribed angle theorem relates the measure of an inscribed angle to that of the central angle subtending the same arc. |
Теорема о вписанном угле связывает меру вписанного угла с мерой центрального угла, вычитающего ту же дугу. |
Because the proof uses the Gauss–Bonnet theorem, it does not generalize to higher dimensions. |
Поскольку доказательство использует теорему Гаусса-Бонне, оно не обобщается на более высокие измерения. |
The proof above for the square root of two can be generalized using the fundamental theorem of arithmetic. |
Приведенное выше доказательство квадратного корня из двух можно обобщить, используя фундаментальную теорему арифметики. |
Should we really redirect this article to Gauss-Bonnet theorem? |
Следует ли нам действительно перенаправить эту статью на теорему Гаусса-Бонне? |
By contrast, cache-oblivious algorithms are designed to make efficient use of cache without explicit blocking. |
Напротив, алгоритмы, не обращающие внимания на кэш, предназначены для эффективного использования кэша без явной блокировки. |
Более общим результатом является теорема Гаусса–Бонне. |
|
However, this existence theorem is purely theoretical, as such a base has never been explicitly described. |
Однако эта теорема о существовании является чисто теоретической, поскольку такое основание никогда не было явно описано. |
In discrete geometry, both Radon's theorem and Tverberg's theorem concern the existence of partitions of point sets into subsets with intersecting convex hulls. |
В дискретной геометрии теорема радона и теорема Тверберга касаются существования разбиений точечных множеств на подмножества с пересекающимися выпуклыми оболочками. |
The corresponding eigenvalues are interpreted as ionization potentials via Koopmans' theorem. |
Соответствующие собственные значения интерпретируются как потенциалы ионизации с помощью теоремы Купманса. |
Numbers are sufficiently frequently used in searches that I think their current obscure behaviour in search should be made quite explicit. |
Числа достаточно часто используются в поиске, поэтому я думаю, что их текущее неясное поведение в поиске должно быть достаточно явным. |
Playing one million times is modelled by the binomial distribution, which is closely related to the binomial theorem and Pascal's triangle. |
Игра в миллион раз моделируется биномиальным распределением, которое тесно связано с биномиальной теоремой и треугольником Паскаля. |
Euler had already given the formulas for determining the coefficients in the series; Fourier was the first to assert and attempt to prove the general theorem. |
Эйлер уже дал формулы для определения коэффициентов в рядах; Фурье был первым, кто утверждал и пытался доказать общую теорему. |
By the Kutta–Joukowski theorem, the total lift force F is proportional to. |
Согласно теореме Кутты-Жуковского, полная подъемная сила F пропорциональна. |
In an inner-product space, the Pythagorean theorem states that for any two orthogonal vectors v and w we have. |
В пространстве внутреннего произведения теорема Пифагора утверждает, что для любых двух ортогональных векторов v и w мы имеем. |
For example, the calling convention is abstracted through call and ret instructions with explicit arguments. |
Например, соглашение о вызове абстрагируется через инструкции call и ret с явными аргументами. |
Kelvin's circulation theorem states that a fluid that is irrotational in an inviscid flow will remain irrotational. |
Теорема Кельвина о циркуляции утверждает, что жидкость, которая является ирротационной в невязком потоке, останется ирротационной. |
This part is sometimes referred to as the first fundamental theorem of calculus. |
Эту часть иногда называют первой фундаментальной теоремой исчисления. |
The fidelity of these reconstructions can be verified and quantified utilizing Bochner's theorem. |
Точность этих реконструкций может быть проверена и количественно оценена с помощью теоремы Бохнера. |
Andrey Kolmogorov later independently published this theorem in Problems Inform. |
Позже Андрей Колмогоров самостоятельно опубликовал эту теорему в журнале Problems Inform. |
The same practices are commonly found in other development models, but might not be as clear or explicit. |
Та же практика обычно встречается и в других моделях развития, но может быть не столь ясной или явной. |
Chern-Gauss-Bonnet Theorem Chern–Simons theory Chern-Simons form Chern–Weil theory Chern-Weil homomorphism Chern's conjecture Chern-Bott formula. |
Теорема черна-Гаусса-Бонне теория черна-Симонса теория черна-Симонса теория черна-Вейля гомоморфизм черна гипотеза черна формула черна-Ботта. |
More recent work has included effective versions of Voronin's theorem and extending it to Dirichlet L-functions. |
Более поздние работы включали эффективные версии теоремы Воронина и ее распространение на L-функции Дирихле. |
Unlike the traditional American comic books of that time bound by the restrictive Comics Code Authority, Heavy Metal featured explicit content. |
В отличие от традиционных американских комиксов того времени, связанных ограничительным Кодексом комиксов, хэви-метал отличался явным содержанием. |
АФАИК, нет никаких четких указаний по этому вопросу. |
|
Attempts to prove it prompted substantial development in number theory, and over time Fermat's Last Theorem gained prominence as an unsolved problem in mathematics. |
Попытки доказать это привели к существенному развитию теории чисел, и со временем последняя теорема Ферма получила известность как нерешенная проблема в математике. |
The upward Löwenheim–Skolem theorem shows that there are nonstandard models of PA of all infinite cardinalities. |
Восходящая теорема Левенгейма-Сколема показывает, что существуют нестандартные модели ПА всех бесконечных мощностей. |
Second, Carl Sagan believed that a design with such an explicit depiction of a woman's genitalia would be considered too obscene to be approved by NASA. |
Во-вторых, Карл Саган считал, что дизайн с таким откровенным изображением женских гениталий будет считаться слишком непристойным, чтобы быть одобренным НАСА. |
The theorem is named after René Descartes, who stated it in 1643. |
Теорема названа в честь Рене Декарта, который сформулировал ее в 1643 году. |
Gregory Chaitin produced undecidable statements in algorithmic information theory and proved another incompleteness theorem in that setting. |
Грегори Чайтин создал неразрешимые утверждения в алгоритмической теории информации и доказал еще одну теорему неполноты в этой постановке. |
A multi-pronged refutation of Arrow's theorem was published by philosophy Professor Howard DeLong in 1991. |
Многозначное опровержение теоремы Эрроу было опубликовано профессором философии Говардом Делонгом в 1991 году. |
For the induction step, suppose the multinomial theorem holds for m. Then. |
Для шага индукции предположим, что многомерная теорема справедлива для m. тогда. |
Применяя биномиальную теорему к последнему фактору,. |
|
As an example, consider a proof of the theorem α → α. In lambda calculus, this is the type of the identity function I = λx. |
В качестве примера рассмотрим доказательство теоремы α → α. В лямбда-исчислении это тип функции тождества I = λx. |
In 1931 his incompleteness theorem showed that Hilbert's grand plan was impossible as stated. |
В 1931 году его теорема о неполноте показала, что великий план Гильберта был невозможен, как это было заявлено. |
According to University of California, Berkeley computer scientist Eric Brewer, the theorem first appeared in autumn 1998. |
По словам ученого-компьютерщика из Калифорнийского университета в Беркли Эрика Брюера, эта теорема впервые появилась осенью 1998 года. |
Roth used this result about generalized Wronskians in his proof of Roth's theorem. |
Рот использовал этот результат об обобщенных Вронскианах в своем доказательстве теоремы рота. |
This is the analogue in calculus of finite differences of the fundamental theorem of calculus, which states. |
Это аналог в исчислении конечных разностей фундаментальной теоремы исчисления, которая гласит. |
From a geometrical perspective, it is a special case of the generalized Stokes' theorem. |
С геометрической точки зрения это частный случай обобщенной теоремы Стокса. |
A more general problem is to count spanning trees in an undirected graph, which is addressed by the matrix tree theorem. |
Дуглас был описан своими гостями как все еще в хорошей форме, способный уверенно войти в комнату заката для празднования. |
The resolution theorem-prover used by Cordell Green bore little resemblance to human problem solving methods. |
Доказательство теоремы разрешения, использованное Корделлом Грином, мало походило на методы решения человеческих проблем. |
Этот результат известен как теорема Гельдера. |
|
It does not mean that they just suspected the theorem to be true, but just that the idea of a proof was just not considered as a necessity. |
Это не значит, что они просто подозревали, что теорема истинна, но просто идея доказательства не рассматривалась как необходимость. |
In his later writings, Coase expressed frustration that his theorem was often misunderstood. |
В своих более поздних работах Коуз выразил разочарование тем, что его теорему часто неправильно понимали. |
Every proper rotation is the composition of two reflections, a special case of the Cartan–Dieudonné theorem. |
Каждое собственное вращение-это композиция двух отражений, частный случай теоремы Картана-Дьедонне. |
Deep neural networks are generally interpreted in terms of the universal approximation theorem or probabilistic inference. |
Глубокие нейронные сети обычно интерпретируются в терминах универсальной аппроксимационной теоремы или вероятностного вывода. |
The most prominent result in the latter case is the Myerson-Satterthwaite theorem. |
Наиболее заметным результатом в последнем случае является теорема Майерсона-Саттертуэйта. |
The prime number theorem was finally proved by Jacques Hadamard and Charles de la Vallée-Poussin in 1896. |
Теорема о простых числах была окончательно доказана Жаком Адамаром и Шарлем де ла Валле-Пуссеном в 1896 году. |
But the proof is extremely short, less than a page, indicating that the essential idea is already present in the incompleteness theorem. |
Учитывая, что съемки уже начались, это означает, что фильм сейчас находится в производстве и поэтому должен иметь свою собственную статью. |
Предлагаем Вашему вниманию современный англо-русский и русско-английский словарь EnglishLib, в котором содержиться более 2 000 000 слов и фраз. На этой странице содержится полезная информации о фразе «explicit theorem».
А именно, здесь можно найти перевод (значение) «explicit theorem» на русском языке, синонимы, антонимы, краткое определение слов: explicit, theorem , а также произношение и транскрипцию к «explicit theorem». Также, к фразе «explicit theorem» представлено грамотно составленные примеры предложений для лучшего восприятия слова в контексте.