Information | |
---|---|
has gloss | eng: :This article is not about interactive proof systems which use probability to convince a verifier that a proof is correct, nor about probabilistic algorithms, which give the right answer with high probability but not with certainty, nor about Monte Carlo methods, which are simulations relying on pseudo-randomness. |
lexicalization | eng: probabilistic method |
instance of | (noun) a formal series of statements showing that if one thing is true something else necessarily follows from it proof |
Meaning | |
---|---|
French | |
has gloss | fra: :Cet article nest pas sur les systèmes de preuve interactive qui sont utilisés pour convaincre un vérificateur quune démonstration est correcte, ni sur les algorithmes probabilistes, qui donnent la bonne réponse avec une grande probabilité, mais pas avec certitude, ni sur les méthodes de Monte-Carlo. |
lexicalization | fra: méthode probabiliste |
Ukrainian | |
has gloss | ukr: :Ця стаття не про інтерактивні системи доведення, що використовують ймовірність для переконання верифікатора в тому, що доведення коректне, не про імовірнісні алгоритми, що дають правильну відповідь з високою імовірністю проте без гарантії, не про методи Монте Карло, що є методами моделювання на основі псевдо-випадковості. |
lexicalization | ukr: Імовірнісний метод |
Lexvo © 2008-2024 Gerard de Melo. Contact Legal Information / Imprint