Provably - перевод, синонимы, произношение, примеры предложений, антонимы, транскрипция, определение
adverb
- demonstrably, incontrovertibly
disprove, rebut, refute
Provably With proof; in a provable manner.
The same value number is assigned to those variables and expressions which are provably equivalent. |
Одно и то же значение присваивается тем переменным и выражениям, которые доказуемо эквивалентны. |
You are provably better off with a machine that's designed in this way than without it. |
Вероятно, вам будет лучше работать с машиной, которая разработана с учётом этого момента. |
In fact, we can, with suitable use of Greek symbols, as mathematicians usually do, we can actually prove a theorem that says that such a robot is provably beneficial to the human. |
По сути, мы, подобно математикам, можем применить греческие символы для доказательства теоремы, согласно которой именно такой робот принесёт человеку пользу. |
Seth Pettie and Vijaya Ramachandran have found a provably optimal deterministic comparison-based minimum spanning tree algorithm. |
Сет Петти и Виджая Рамачандран нашли доказуемо оптимальный детерминированный алгоритм минимального остовного дерева на основе сравнения. |
I deleted the claim that ' The word once included all forms of knowledge, and all methods for attaining it.' is provably false. |
Я исключил утверждение, что слово когда-то включало в себя все формы знания и все методы его достижения.- это доказуемо ложно. |
Thus, the scheme serves mainly as a proof of concept, and more efficient provably-secure schemes such as Elgamal have been developed since. |
Таким образом, схема служит главным образом доказательством концепции, и с тех пор были разработаны более эффективные доказуемо-безопасные схемы, такие как Elgamal. |
I'm actually trying to change the definition of AI so that we have provably beneficial machines. |
По сути, я пытаюсь изменить определение ИИ, чтобы наши машины были действительно полезными. |
Ну, это просто и очень доказуемо неправильно. |
|
Garcia showed in his paper that if computationally one-way hash functions exist then the Merkle Hash Tree signature is provably secure. |
Гарсия показал в своей работе, что если вычислительно односторонние хэш-функции существуют, то сигнатура хэш-дерева Меркла доказуемо безопасна. |
The fat tree network is a universal network for provably efficient communication. |
Сеть толстого дерева-это универсальная сеть для доказуемо эффективной коммуникации. |
Even the most generalized form of the sampling theorem does not have a provably true converse. |
Даже самая обобщенная форма теоремы выборки не имеет доказуемо истинного обратного. |
Smart contracts can be public, which opens up the possibility to prove functionality, e.g. self-contained provably fair casinos. |
Смарт-контракты могут быть публичными, что открывает возможность доказать функциональность, например, автономные доказуемо честные казино. |
Images should look like what they are meant to illustrate, whether or not they are provably authentic. |
Изображения должны выглядеть так, как они должны иллюстрировать, независимо от того, являются ли они доказуемо подлинными или нет. |
The algorithm most commonly associated with QKD is the one-time pad, as it is provably secure when used with a secret, random key. |
Алгоритм, наиболее часто ассоциируемый с QKD,-это одноразовый pad, поскольку он доказуемо безопасен при использовании с секретным случайным ключом. |
Thus, this algorithm has the peculiar property that it is provably optimal although its runtime complexity is unknown. |
Таким образом, этот алгоритм обладает тем специфическим свойством, что он доказуемо оптимален, хотя его сложность во время выполнения неизвестна. |
Also provably unsolvable are so-called undecidable problems, such as the halting problem for Turing machines. |
Также доказуемо неразрешимы так называемые неразрешимые проблемы, такие как проблема остановки для машин Тьюринга. |
Splitting a compiler up into small programs is a technique used by researchers interested in producing provably correct compilers. |
Разделение компилятора на небольшие программы-это метод, используемый исследователями, заинтересованными в создании доказуемо правильных компиляторов. |
Every one, every one of those items is provably untrue at one level or another, but we believe them because they're pounded into our heads from the time we're children. |
Каждая, каждая из этих вещей неправда в одном или ином случае, но мы верим в них потому что они вдолблены нам в голову с детства. |
Does anyone have a problem with me making provably false accusations... about honorable people just so my side can win? |
Тут кто-нибудь против того, что я выдвигаю заведомо ложные обвинения в адрес достойных людей просто для того, чтобы победить? |
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. |
Однако вторая теорема Геделя о неполноте дает точный смысл, в котором такое финитное доказательство непротиворечивости арифметики доказуемо невозможно. |
It's provably impossible to create an algorithm that can losslessly compress any data. |
Доказуемо невозможно создать алгоритм, который может без потерь сжимать любые данные. |
Peano arithmetic is provably consistent from ZFC, but not from within itself. |
Арифметика Пеано доказуемо последовательна из ZFC, но не изнутри себя. |
Citing to news sources that are provably incorrect does not make the underlying fact correct. |
Ссылка на источники новостей, которые доказуемо неверны, не делает основной факт правильным. |
