Corretude oor Frans

Corretude

Vertalings in die woordeboek Portugees - Frans

correction d'un algorithme

corretude

Vertalings in die woordeboek Portugees - Frans

correction

naamwoord vroulike

voorbeelde

Completude semântica é a recíproca da corretude para sistemas formais.
La complétude sémantique est la réciproque de la correction des systèmes formels.

A propriedade recíproca da completude é chamada corretude: um sistema é correto com respeito a uma propriedade (principalmente validade semântica) se cada um dos seus teoremas possuem essa propriedade.
La propriété réciproque de la complétude est appelée la correction, ou la cohérence : un système est correct par rapport à une propriété (principalement la validité sémantique) si chacun de ses théorèmes possèdent cette propriété.

Pode-se executar o algoritmo um número constante de vezes e tomar uma maioria para alcançar qualquer probabilidade de corretude menor que 1 desejada, utilizando o limitante de chernoff.
On peut exécuter l'algorithme un nombre constant de fois, et prendre la majorité des votes pour obtenir n'importe quelle probabilité de réussite désirée, en utilisant les inégalités de Chernoff.