e/Probabilistic method

New Query

Information
has glosseng: :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.
lexicalizationeng: 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 glossfra: :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.
lexicalizationfra: méthode probabiliste
Ukrainian
has glossukr: :Ця стаття не про інтерактивні системи доведення, що використовують ймовірність для переконання верифікатора в тому, що доведення коректне, не про імовірнісні алгоритми, що дають правильну відповідь з високою імовірністю проте без гарантії, не про методи Монте Карло, що є методами моделювання на основі псевдо-випадковості.
lexicalizationukr: Імовірнісний метод

Query

Word: (case sensitive)
Language: (ISO 639-3 code, e.g. "eng" for English)


Lexvo © 2008-2024 Gerard de Melo.   Contact   Legal Information / Imprint