Приклади вживання Proofs Англійська мовою та їх переклад на Українською
{-}
-
Colloquial
-
Ecclesiastic
-
Computer
Bijective proofs are utilized to demonstrate that two sets have the same number of elements.
Бієктивні доведення використовуються, щоб продемонструвати, що дві множини мають однакову кількість елементів.Another of the proofs uses Dilworth's theorem on chain decompositions in partial orders,
Ще одне з доведень використовує теорему Ділуорса щодо ланцюгових декомпозицій у часткових порядках,the customs authorities of the importing Party may accept the proofs of origin where the products have been presented to customs before the said final date.
митні органи країни імпорту можуть прийняти підтвердження походження тоді, коли продукти було представлено до вказаної кінцевої дати.The proofs of all these facts are based on intimate relations between the theory of the Moisil-Theodoresco system of partial differential equations
Доведення всіх цих фактів базується на близьких зв'язках між теорією систем Моісіл- Теодореско диференціальних рівнянь з частинними похіднимиMany proofs in the area make use of a proof technique known as the priority method.
Багато доведень у цій області використовують метод доведення, відомий як метод пріоритету.The competition between paradigms is not the sort of battle that can be resolved by proofs….
Конкуренція між парадигмами, на думку мислителя, не є видом боротьби, яка може бути вирішеною з допомогою доводів.I put in question any information if it doesn't have fact proofs.
піддаю сумніву будь-яку інформацію, якщо вона не має фактичного підтвердження.The first theorem relating standard proofs and probabilistically checkable proofs is the statement that NEXP⊆ PCP, proved by Babai, Fortnow& Lund(1990).
Першою теоремою, що пов'язує стандартні доведення та ймовірнісно перевірювані доведення є твердження, що NEXP ⊆ PCP, доведене Babai, Fortnow та Lund,(1990).Steele(1995) surveys six different proofs of the Erdős- Szekeres theorem, including the following two.
робить огляд шести різних доведень теореми, включно з наступними двома.the customs authorities of the importing country may accept the proofs of origin where the products have been submitted before the deadline set records.
митні органи країни імпорту можуть прийняти підтвердження походження тоді, коли продукти було представлено до вказаної кінцевої дати.logic, proofs, but not faith,”- says the author of the letter.
Proof theory and constructive mathematics Proof theory grew out of David Hilbert's ambitious program to formalize all the proofs in mathematics.
Теорія доведення і Конструктивна математика Теорія доведення виросла з амбіційної програми Давида Гілберта, що мала на меті формалізувати всі доведення в математиці.the customs authorities of the importing country may accept the proofs of origin where the products have been presented to customs before the said final date.
митні органи країни імпорту можуть прийняти підтвердження походження тоді, коли продукти було представлено до вказаної кінцевої дати.Underwood Dudley, a mathematician who has made a sideline of collecting false straightedge and compass proofs.
Underwood Dudley[en]- математик, чиєю працею був збір невірних доведень за допомогою лінійки та циркуля.become proofs of some consistent plan,
стають доказами деякого зв'язного плануA series of simplifications of the proof culminated in the proofs by Frink(1926) and König(1936).
No human research can be called true science if it has not gone through mathematical proofs.
Ніякі людські дослідження не можна назвати справжньою наукою, якщо вони не пройшли через математичні доведення(XVI ст.).the customs authorities of the importing country may accept the proofs of origin where the products have been submitted before the final date.
митні органи країни імпорту можуть прийняти підтвердження походження тоді, коли продукти було представлено до вказаної кінцевої дати.Unauthenticity of this information is confirmed by the proofs provided in the course of court session",- it is said in the statement of the leader of"The Ukrainian choice".
Недостовірність цієї інформації підтверджується наведеними в ході судового засідання доказами»,- йдеться в заяві лідера« Українського вибору».One of the proofs of this theory is the left tributary of the Volga, the Kama River,
