Приклади вживання Математичний доказ Українська мовою та їх переклад на Англійською
{-}
-
Colloquial
-
Ecclesiastic
-
Computer
Цей математичний доказ демонструє, що seL4 не містить в собі жодної програмної уразливості.
A mathematical proof demonstrates that seL4 contains no software vulnerabilities at all.Японські вчені взялися за цю теорію і представити математичний доказ того, що голографічний принцип вірний.
Japanese researchers have addressed this theory, trying to provide mathematical evidence showing that the holographic principle could be right.Якщо б існував математичний доказ його істинності, то всі до єдиного неперіодичні можливі відхилення від цього природного закону могли б бути заздалегідь виключені.
If a mathematical proof of its truth existed, then each and every single non-recurrent possible deviation from this natural law could be excluded beforehand.Таким чином, це у християнстві привело до слабкої і млявою апологетики(наприклад,грецький професор апологетики багато років тому ввів математичний доказ існування Бога!).
Thus, a weak and morbid apologetic has resulted in Christianity(e.g. a Greekprofessor of Apologetics many years ago produced a mathematical proof of the existence of God!).І, тим не менш, ми знаємо, що багато чого з того,що пов'язано з творчим даром- умінням написати сонет або представити математичний доказ- означає вміння неординарним способом об'єднувати думки, поняття або уявлення.
Still, we do know that much of what we associate with creativity-whether writing a sonnet or a mathematical proof- has to do with the ability to link ideas, entities, and concepts in novel ways.Таким чином, це у християнстві привело до слабкої і млявою апологетики(наприклад,грецький професор апологетики багато років тому ввів математичний доказ існування Бога!).
Thus a weak and morbid apologetic has appeared in Christianity(for example,many years ago a Greek professor of Apologetics produced a“mathematical proof of the existence of God”!).Безвідносно суперечок про те, хто опублікував доказ першим,ці роботи нині широко визнані як математичний доказ результатів, що отримані з використанням дзеркальної симетрії на мові фізиків.
Despite controversy over who had published the first Біткойн-гаманці містять конфіденційну інформацію, що називається приватний ключ або сід, який використовується для підпису транзакцій,забезпечуючи математичний доказ того, що транзакція дійсно погоджена власником гаманця.
Bitcoin wallets keep a secret piece of data called a private key or seed, which is used to sign transactions,providing a mathematical proof that they have come from the owner of the wallet.Приємно оцінювати красу,будь то краса картини Ремедіоса Варо чи математичний доказ, але є також побоювання, почуття певної правоти, настільки ж глибокої та старої, як почуття живих істот на землі.
There is pleasure in the appreciation В теорії множин, Діагональний метод Кантора або діагональний аргумент Кантора, також відомий як метод діагоналізації,був опублікований у 1891 році Георгом Кантором як математичний доказ того, що існують нескінченні множини для котрих не існує взаємно однозначної відповідності з нескінченною множиною натуральних чисел.[1][2][3] Такі множини тепер називають незліченними множинами, і розміри незліченних множин вивчає теорія кардинальних чисел, започаткована Кантором.
In set theory, Cantor's diagonal argument, also called the diagonalisation argument, the diagonal slash argument or the diagonal method,was published in 1891 by Georg Cantor as a mathematical proof that there are infinite sets which cannot be put into one-to-one correspondence with the infinite set of natural numbers.[1][2][3] Such sets are now known as uncountable sets, and the size of infinite sets is now treated by the theory of cardinal numbers which Cantor began.Ми замінюємо довіру математичним доказом.
We replace trust with mathematical proof.Такі пояснення можуть включати в себе схеми і формальні математичні докази.
Such explanations may include diagrams and formal mathematical proofs.Аналізуючи криву або математичні докази, це показує, що ефективність для заданого коефіцієнта потужності максимальна, коли втрати міді дорівнюють постійним втратам.
By analyzing the curve or mathematical proof it shows that the efficiency for a given power factor is maximum when copper losses are equal to the constant losses.Брендану Кернеру вдалося відстежити походження алгоритму PRNG(з математичних доказів, наданих Алексом) в книзі«Мистецтво комп'ютерного програмування».
Brendan Koerner managed to track the origins of the PRNG algorithm(from the mathematical evidence provided by Alex) to the book The Art of Computer Programming.Питання вибору теорії не може бути вбране у форму,що була б повністю ідентична логічному або математичному доказу.
Debates over theory choice cannot becast in a form that fully resembles logical or mathematical proof.Для того, щоб нові транзакції були підтверджені,вони повинні бути включені до блоку разом із математичним доказом проведеної роботи.
New transactions have to beconfirmed then be included in a block along with a mathematical proof of work.Для того, щоб нові транзакціїбули підтверджені, вони повинні бути включені до блоку разом із математичним доказом проведеної роботи.
For new transactions to be confirmed,they need boed forex meaning to be included in a block along with a mathematical proof of work.У тому ж році Пол Самуельсон опублікував документ, укладаючи те ж саме з математичним доказом, розподілу кредитів.
The same year Paul Samuelson published a paper concluding the same thing with a mathematical proof, sharing the credit.Щоб нові транзакції були підтверджені,вони повинні бути включені до блоку разом із математичним доказом проведеної роботи.
To confirm the new transaction,they need to be included in a block with the mathematical proof of the work.Оскільки це не математичне твердження, його неможливо довести за допомогою математичного доказу.
As this is not a Для того, щоб нові транзакціїбули підтверджені, вони повинні бути включені до блоку разом із математичним доказом проведеної роботи.
For new transactions to be confirmed,they have to be included in a block together with a mathematical proof of labor.Щоб нові транзакції були підтверджені,вони повинні бути включені до блоку разом із математичним доказом проведеної роботи.
When a transaction isconfirmed it is added to a block together with a mathematical proof of work.Які математичні докази у нас є для неясних припущень, на зразок того, що важко розкласти на множники дійсно великі числа або провести дискретне логарифмування?
What mathematical proofs we have rest on uncertain assumptions, like it's hard to factor really big numbers or compute a discrete log?Тут він завершує свою останню працю«Бесіди та математичні докази, які стосуються двох нових галузей науки».
It was his final book and it was called'The Discourses and Mathematical Demonstrations Relating to Two New Sciences'.Звичайно, можна було б переписати математичні докази у формі силогізмів, але це було б надзвичайно штучно і не зробило б їх переконливими.
Of course it would be possible to re-write mathematical arguments in syllogistic form, but this would be very artificial and would not make them any more cogent.Криптографія- це гілка математики, що дозволяє нам створювати математичні докази, які забезпечують високий рівень безпеки.
Cryptography is a series of Криптографія- це гілка математики, що дозволяє нам створювати математичні докази, які забезпечують високий рівень безпеки.
Cryptography is the branch of mathematics that lets you create mathematical proofs that provide high levels of security.Криптографія- це гілка математики, що дозволяє нам створювати математичні докази, які забезпечують високий рівень безпеки.
Cryptography: Cryptography is the branch of mathematics that lets us create mathematical proofs that provide high levels of security.
