Consistency theorem - перевод, синонимы, произношение, примеры предложений, антонимы, транскрипция
noun: последовательность, согласованность, консистенция, постоянство, логичность, плотность, состав, степень густоты, степень плотности
granular consistency - зернистая консистенция
consistency of data - согласованность данных
consistency in classification - последовательность в классификации
consistency and commitment - последовательность и приверженность
consistency rules - правила согласования
certainty and consistency - определенность и последовательность
consistency on how - Консистенция о том, как
good internal consistency - хорошая внутренняя согласованность
mushy consistency of concrete - литая бетонная смесь
formal consistency - формальная непротиворечивость
Синонимы к consistency: dependability, uniformity, steadiness, reliability, equilibrium, stability, regularity, constancy, evenness, viscosity
Антонимы к consistency: inconsistency, contradiction, discrepancy, mismatch, incompatibility
Значение consistency: conformity in the application of something, typically that which is necessary for the sake of logic, accuracy, or fairness.
recurrence theorem - теорема возвращения
deduction theorem - теорема о дедукции
existence theorem - теорема существования
vanishing theorem - теорема об обращении в нуль
truth theorem - теорема об истинности
similitude theorem - теорема подобия
classical theorem - классическая теорема
cosine theorem - теорема косинусов
decomposition theorem - теорема о разложении
theorem-proving system - система доказательства теоремы
Синонимы к 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.
Ultimately it is this fact, combined with the Goddard–Thorn theorem, which leads to bosonic string theory failing to be consistent in dimensions other than 26. |
В конечном счете именно этот факт в сочетании с теоремой Годдарда–Торна приводит к тому, что теория бозонных струн не может быть последовательной в измерениях, отличных от 26. |
As such, any theorem, lemma, or property which establishes convergence in probability may be used to prove the consistency. |
Таким образом, любая теорема, Лемма или свойство, устанавливающие сходимость в вероятности, могут быть использованы для доказательства непротиворечивости. |
Note that consistency as defined in the CAP theorem is quite different from the consistency guaranteed in ACID database transactions. |
Обратите внимание, что согласованность, определенная в теореме CAP, сильно отличается от согласованности, гарантированной в транзакциях базы данных ACID. |
In fact, this idea—manifested by the diagonal lemma—is the basis for Tarski's theorem that truth cannot be consistently defined. |
На самом деле эта идея—проявленная диагональной леммой—лежит в основе теоремы Тарского о том, что истина не может быть последовательно определена. |
However, Gödel's second incompleteness theorem gives a precise sense in which such a finitistic proof of the consistency of arithmetic is provably impossible. |
Однако вторая теорема Геделя о неполноте дает точный смысл, в котором такое финитное доказательство непротиворечивости арифметики доказуемо невозможно. |
Gödel's original statement and proof of the incompleteness theorem requires the assumption that the system is not just consistent but ω-consistent. |
Исходное утверждение Геделя и доказательство теоремы о неполноте требуют предположения, что система не просто непротиворечива, но и ω-непротиворечива. |
As we all know, Gödel's incompleteness theorem is ultimately not about incompleteness per se, but about the impossible combination of completeness and consistency. |
Как мы все знаем, теорема Геделя о неполноте в конечном счете не о неполноте как таковой, а о невозможном сочетании полноты и последовательности. |
In 1931, Kurt Gödel proved his second incompleteness theorem, which shows that such a consistency proof cannot be formalized within Peano arithmetic itself. |
В 1931 году Курт Гедель доказал свою вторую теорему неполноты, которая показывает, что такое доказательство непротиворечивости не может быть формализовано в самой арифметике Пеано. |
The CAP theorem implies that in the presence of a network partition, one has to choose between consistency and availability. |
Теорема CAP подразумевает, что при наличии сетевого раздела необходимо выбирать между согласованностью и доступностью. |
The results of all of the control-volume analyses described above are consistent with the Kutta–Joukowski theorem described above. |
Результаты всех анализов контрольного объема, описанных выше, согласуются с теоремой Кутты-Жуковского, описанной выше. |
Gödel's first incompleteness theorem showed that no recursive extension of Principia could be both consistent and complete for arithmetic statements. |
Первая теорема Геделя о неполноте показала, что никакое рекурсивное расширение принципов не может быть одновременно последовательным и полным для арифметических утверждений. |
Significant consistency, availability and performance trade-offs, per the CAP theorem, are unavoidable with this approach. |
При таком подходе неизбежны значительные компромиссы между согласованностью, доступностью и производительностью в соответствии с теоремой CAP. |
Since, by second incompleteness theorem, F1 does not prove its consistency, it cannot prove the consistency of F2 either. |
Поскольку вторая теорема о неполноте F1 не доказывает ее непротиворечивости, она также не может доказать непротиворечивость F2. |
That CH is consistent with ZFC was demonstrated by Kurt Gödel in 1940 when he showed that its negation is not a theorem of ZFC. |
То, что CH согласуется с ZFC, было продемонстрировано Куртом Геделем в 1940 году, когда он показал, что его отрицание не является теоремой ZFC. |
The poem originally consisted of 2000 lines of hexameter verse, and was addressed to Pausanias. |
Стихотворение первоначально состояло из 2000 строк гекзаметрового стиха и было адресовано Павсанию. |
Jeff's job consisted of helping hoist the sails, polishing the brass portholes, and climbing up the ratlines to the lower spreader to furl the sails. |
Джефф должен был помогать поднимать паруса, протирать иллюминаторы и держать линь при сворачивании парусов. |
The registration process for land rights claims consisted of two stages. |
Что касается процедуры регистрации претензий на земельные права, то она включает два этапа. |
Consequently, the letter of the proposed agreement was fully consistent with the requirements of international law. |
Следовательно буква предлагаемого соглашения полностью соответствует требованиям международного права. |
We are examining population issues within the United States to ensure that our own programmes are consistent with the international consensus. |
Мы анализируем проблемы народонаселения в Соединенных Штатах для обеспечения того, чтобы наши собственные программы соответствовали принципам международного консенсуса. |
Consistent with this, it has stepped up action against Shiite paramilitary groups in Syria. |
В результате США начали куда агрессивнее действовать против военизированных шиитских группировок в Сирии. |
But the wounds on the neck are consistent with those of a carpenter's claw hammer. |
Но эти раны на шее похожи на следы ударов столярным молотком. |
Half of these people aren't even chewing their hors d'oeuvres to a safe consistency. |
Половина этих людей даже не жуют свои закуски в безопасной последовательности. |
And in fact corporate identity in the sixties, that's what it sort of consisted of. |
И на самом деле фирменный стиль 60-х годов, вот из чего он от части состоял. |
The dining table consisted of a long plank stretched across two wooden crates. A large box, turned on its side, served as a cupboard. |
Обеденным столом служила длинная доска, установленная на двух деревянных ящиках, а посуда стояла в большом ящике. |
Он, по-видимому, весьма последователен в своих поступках! |
|
Что еще больше сопоставимо со второй идеей. |
|
Brian Bennett became an automobile salesman and is the only former member to have continued a consistent music career. |
Брайан Беннетт стал продавцом автомобилей и является единственным бывшим членом, который продолжил последовательную музыкальную карьеру. |
This gap produced a consistent, radial magnetic field across the coil, giving a linear response throughout the instrument's range. |
Этот зазор создавал постоянное радиальное магнитное поле поперек катушки, давая линейный отклик во всем диапазоне действия прибора. |
The upper topology however is still the coarsest sober order consistent topology. |
Однако верхняя топология все еще является самой грубой последовательной топологией трезвого порядка. |
The same target was hit several times by F-117, and the last package consisted of seventeen F-111F on the 19th day of the war. |
Одна и та же цель была поражена несколько раз F-117, и последний пакет состоял из семнадцати F-111F на 19-й день войны. |
The minority consisted of Lord Buckmaster and Lord Tomlin. |
Меньшинство составляли Лорд Бакмастер и Лорд Томлин. |
A condition for existence of and convergence to a root is given by the Newton–Kantorovich theorem. |
Условие существования и сходимости к корню задается теоремой Ньютона-Канторовича. |
Even in highly controlled studies, cross-situational consistency is around the .40 range. |
Даже в строго контролируемых исследованиях кросс-ситуационная согласованность присутствует повсюду .Диапазон 40. |
They consisted of a dominant structure flanked by two smaller inward-facing buildings, all mounted upon a single basal platform. |
Они представляли собой доминантное сооружение, по бокам которого располагались два небольших здания, обращенных внутрь и расположенных на одной базальной платформе. |
At higher orders in the series infinities emerged, making such computations meaningless and casting serious doubts on the internal consistency of the theory itself. |
На более высоких порядках в ряду возникали бесконечности, что делало такие вычисления бессмысленными и ставило под серьезные сомнения внутреннюю непротиворечивость самой теории. |
There were several early failed attempts at proving the theorem. |
Было несколько ранних неудачных попыток доказать теорему. |
По меньшей мере, согласованность должна включать логическую последовательность. |
|
It is therefore important not to interpret the second part of the theorem as the definition of the integral. |
Поэтому важно не интерпретировать вторую часть теоремы как определение интеграла. |
Open settlements consisted of ten to twenty rectangular, semi-subterranean dwellings with a stone furnace placed in one corner. |
Открытые поселения состояли из десяти-двадцати прямоугольных полуподземных жилищ с каменной печью, расположенной в одном углу. |
The sampling theorem applies to camera systems, where the scene and lens constitute an analog spatial signal source, and the image sensor is a spatial sampling device. |
Теорема выборки применима к системам камер, где сцена и объектив представляют собой аналоговый источник пространственного сигнала, а датчик изображения-устройство пространственной выборки. |
Это единый фронт, состоящий из трех партий. |
|
This is known as the Euclid–Euler theorem. |
Это известно как теорема Евклида-Эйлера. |
The team consisted primarily of professional players with significant experience in international play. |
Команда состояла в основном из профессиональных игроков, имеющих значительный опыт международной игры. |
The local energy conservation in quantum field theory is ensured by the quantum Noether's theorem for energy-momentum tensor operator. |
Локальное сохранение энергии в квантовой теории поля обеспечивается теоремой квантового Нетера для тензорного оператора энергии-импульса. |
The video sequences of body motion data consisted of six separate viewpoints of 25 subjects walking on a treadmill. |
Видеопоследовательности данных о движении тела состояли из шести отдельных точек зрения 25 испытуемых, идущих по беговой дорожке. |
In fact, a weaker form of the First Incompleteness Theorem is an easy consequence of the undecidability of the halting problem. |
На самом деле, более слабая форма первой теоремы о неполноте является простым следствием неразрешимости задачи остановки. |
It consisted of a number of bare, uncarpeted rooms in a couple of houses beyond Christ Church and just short of Folly Bridge. |
Он состоял из нескольких голых комнат без ковров в паре домов за Крайст-Черчем и совсем рядом с мостом безумия. |
It consisted of a transponder with 16 bit memory for use as a toll device. |
Он состоял из транспондера с 16-битной памятью для использования в качестве платного устройства. |
Камни мочевого пузыря различаются по количеству, размеру и консистенции. |
|
This series was in circulation from 1 April 1961 to 1 February 1982 and consisted of denominations of 1⁄4, 1⁄2, 1, 5 and 10 dinars. |
Эта серия находилась в обращении с 1 апреля 1961 года по 1 февраля 1982 года и состояла из номиналов 1⁄4, 1⁄2, 1, 5 и еще 10 динаров. |
Chemical rockets operate as heat engines, and Carnot's theorem limits the exhaust velocity. |
Химические ракеты работают как тепловые двигатели,и теорема Карно ограничивает скорость выхлопа. |
It consisted of high-ranking military commanders, the clergy and the nobility. |
Она состояла из высокопоставленных военачальников, духовенства и знати. |
The group consisted of Havoc and Prodigy, and were a hardcore East Coast hip hop group. |
Группа состояла из Havoc и Prodigy, а также была хардкорной хип-хоп группой восточного побережья. |
Originally, these icons consisted of ASCII art, and later, Shift_JIS art and Unicode art. |
Изначально эти иконы состояло из символов, и выше, и shift_jis искусства и искусства Юникод. |
In 1796, Adrien-Marie Legendre conjectured the prime number theorem, describing the asymptotic distribution of primes. |
В 1796 году Адриен-Мари Лежандр предположил теорему о простых числах, описывающую асимптотическое распределение простых чисел. |
Paper sloyd consisted of paper folding which resembles the Japanese art of origami, but involves more cutting and gluing. |
Бумажный слойд состоял из складывания бумаги, которое напоминает японское искусство оригами, но включает в себя больше резки и склеивания. |
Acidic leathers are particularly vulnerable to red rot, which causes powdering of the surface and a change in consistency. |
Кислая кожа особенно уязвима к Красной гнили, которая вызывает опудривание поверхности и изменение консистенции. |
The study consisted of 232 college students, the average age of participants was 20, who had been cheated on within the last month. |
В исследовании приняли участие 232 студента колледжа, средний возраст участников составил 20 лет, которые были обмануты в течение последнего месяца. |
It consisted mostly of members from the 75th Ranger Regiment and Delta Force. |
Она состояла в основном из бойцов 75-го рейнджерского полка и отряда Дельта. |
Предлагаем Вашему вниманию современный англо-русский и русско-английский словарь EnglishLib, в котором содержиться более 2 000 000 слов и фраз. На этой странице содержится полезная информации о фразе «consistency theorem».
А именно, здесь можно найти перевод (значение) «consistency theorem» на русском языке, синонимы, антонимы, краткое определение слов: consistency, theorem , а также произношение и транскрипцию к «consistency theorem». Также, к фразе «consistency theorem» представлено грамотно составленные примеры предложений для лучшего восприятия слова в контексте.
