Théorème d'informatique Théorème d'informatique Le théorème d'impossibilité du clonage quantique a d'importantes conséquences en informatique quantique. Par exemple, il fait en sorte qu'il est impossible d'adapter un code quantique directement du code de répétition de la théorie des codes classique. Ceci rend la tâche d'élaborer un code quantique difficile par rapport aux codes classiques. ...Wikipedia "Impossibilité du clonage quantique"
Le lemme Piling-Up est un résultat statistique introduit par Mitsuru Matsui en 1993 dans le cadre de la cryptanalyse linéaire. Ce lemme permet de quantifier le biais statistique présent dans une approximation linéaire d'un algorithme de chiffrement symétrique par bloc. ...Wikipedia "Lemme Piling-Up"
Le théorème d'itération est du à S. Kleene, il est aussi connu sous le nom de théorème s-m-n dans sa forme paramétrisée. ...Wikipedia "Théorème d'itération"
Pour une énumération de fonction récursive ...Wikipedia "Théorème de récursion de Kleene"
En théorie de la calculabilité, le théorème de Rice dit que toute propriété non triviale (c.-à-d. qui n'est pas toujours vraie ou toujours fausse) sur la sémantique dénotationnelle d'un langage de programmation Turing-complet est indécidable. Il s'agit d'une généralisation du problème de l'arrêt. ...Wikipedia "Théorème de Rice"
This article is licensed under the GNU Free Documentation License.
It uses material from the Wikipedia . Direct links to the original articles are in the text.
If you use exact copy or modified of this article you should preserve above paragraph and put also : It uses material from
the Shortopedia article about "Théorème d'informatique".
| MAIN PAGE | MAIN INDEX | CONTACT US |