Fonction récursive primitiveEn théorie de la calculabilité, une fonction récursive primitive est une fonction construite à partir de la fonction nulle, de la fonction successeur, des fonctions projections et des schémas de récursion primitive (ou bornée) et de composition. Ces fonctions constituent un sous-ensemble strict des fonctions récursives. Elles ont été initialement analysées par la mathématicienne Rózsa Péter. On s'intéresse aux fonctions définies sur l'ensemble des entiers naturels, ou sur les ensembles des -uplets d'entiers naturels, et à valeurs dans .
EnchèreUne enchère est une . Le terme synonyme de au Québec est . thumb|Vente de bétail aux enchères en Nouvelle-Galles du Sud en 2007. Une vente aux enchères est . Deux éléments essentiels ressortent de cette définition : ce type de vente fonctionne sur la base de règles du « jeu de l’offre et de la demande », structurées et préétablies, qui fixent, par exemple, qui peut enchérir, quelles sont les conditions d’adjudication, comment se calcule le prix final, etc.
Enigma (machine)vignette|Logo d’Enigma.|alt=« ENIGMA » en bleu sur fond noir dans un ovale. La taille des lettres suit la forme de l’ovale. vignette|Enigma, machine de chiffrement électromécanique à cylindres ; la version ci-dessus est un modèle militaire suisse, avec console de lecture supplémentaire. vignette|Tableau de permutations. Enigma est une machine électromécanique portative servant au chiffrement et au déchiffrement de l'information. Elle fut inventée par l'Allemand Arthur Scherbius, reprenant un brevet du Néerlandais Hugo Koch, datant de 1919.
Model of computationIn computer science, and more specifically in computability theory and computational complexity theory, a model of computation is a model which describes how an output of a mathematical function is computed given an input. A model describes how units of computations, memories, and communications are organized. The computational complexity of an algorithm can be measured given a model of computation. Using a model allows studying the performance of algorithms independently of the variations that are specific to particular implementations and specific technology.
Theory of computationIn theoretical computer science and mathematics, the theory of computation is the branch that deals with what problems can be solved on a model of computation, using an algorithm, how efficiently they can be solved or to what degree (e.g., approximate solutions versus precise ones). The field is divided into three major branches: automata theory and formal languages, computability theory, and computational complexity theory, which are linked by the question: "What are the fundamental capabilities and limitations of computers?".
PseudonymeUn pseudonyme est un nom d'emprunt adopté par une ou plusieurs personnes pour exercer une activité sous un autre nom que celui de son identité officielle. Il se distingue du surnom en ceci qu'il est choisi par la personne qui le porte au lieu de lui être attribué par un tiers. Son usage est fréquent dans certains milieux, tels que le milieu artistique : auteurs, acteurs, etc., ou scientifique : groupe d’auteurs (Bourbaki), confidentialité (Student), etc.
Hypothèse calculatoireEn cryptographie, une hypothèse de difficulté calculatoire est une hypothèse qui sert à évaluer et à démontrer la robustesse des primitives cryptographiques. Dans certains cas, la sécurité est dite inconditionnelle si elle ne repose sur aucune hypothèse de difficulté calculatoire ; un exemple courant est la technique dite du masque jetable, où le masque est aussi grand que le message. Cependant, il est souvent impossible d'atteindre une forme de sécurité aussi forte ; dans de tels cas, les cryptographes doivent s'en remettre à une forme de sécurité dite « calculatoire ».
Turing-completEn informatique et en logique, un système formel est dit complet au sens de Turing ou Turing-complet (par calque de l’anglais Turing-complete) s’il possède un pouvoir expressif au moins équivalent à celui des machines de Turing. Dans un tel système, il est donc possible de programmer n'importe quelle machine de Turing. Cette notion est rendue pertinente par la thèse de Church, qui postule l’existence d’une notion naturelle de calculabilité.
