Théorie des langages de programmationvignette|La lettre grecque minuscule λ (lambda) est un symbole non officiel de la théorie des langages de programmation. Cet usage dérive du lambda-calcul, un modèle de calcul introduit par Alonzo Church dans les années 1930 et largement utilisé par les chercheurs en langage de programmation. Il orne la couverture du texte classique Structure et interprétation des programmes informatiques, et apparaît dans le titre des fameux Lambda Papers de 1975 à 1980, écrits par Gerald Jay Sussman et Guy Steele, les développeurs du langage de programmation Scheme.
Ceinture de sécuritéupright|thumb|Image d'une ceinture de sécurité 3 points. La ceinture de sécurité est un dispositif de sécurité permettant de limiter les mouvements incontrôlables des passagers d'un véhicule, lors d'un choc. Ainsi, la ceinture absorbe une partie de l'inertie des occupants d'un véhicule en mouvement décélérant brutalement lors d'un choc et évite à ces occupants d'être projetés contre des obstacles.
Système FLe est un formalisme logique qui permet d'exprimer de façon très riche et très rigoureuse des fonctions et d'y démontrer formellement des propriétés difficiles. Plus précisément, le (également connu sous le nom de lambda-calcul polymorphe ou de lambda-calcul du second ordre) est une extension du lambda-calcul simplement typé introduite indépendamment par le logicien Jean-Yves Girard et par l'informaticien John C. Reynolds. Ce système se distingue du lambda-calcul simplement typé par l'existence d'une quantification universelle sur les types qui permet d'exprimer du polymorphisme.
Théorie des types homotopiquesvignette| Couverture de la Théorie des types homotopiques : Fondations univalentes des mathématiques. Dans la logique mathématique et de l’informatique, la théorie des types homotopiques (en anglais : Homotopy Type Theory HoTT) fait référence à différentes lignes de développement de la théorie des types intuitionnistes, basée sur l’interprétation des types comme des objets auxquels l’intuition de la théorie de l’homotopie s’applique.
Formule de Luhnthumb|Le numéro d'immatriculation du wagon - le chiffre "8" après le tiret est calculé par la formule de Luhn à partir des onze précédents. En mathématiques et plus précisément en arithmétique modulaire, la formule de Luhn est utilisée pour ses applications en cryptologie. L'algorithme de Luhn, ou code de Luhn, ou encore formule de Luhn est aussi connu comme l'algorithme « modulo 10 » ou « mod 10 ».
Common Language Runtime(CLR) est le nom choisi par Microsoft pour le composant de machine virtuelle du framework .NET. Il s'agit de l'implémentation par Microsoft du standard Common Language Infrastructure (CLI) qui définit l'environnement d'exécution des codes de programmes. Le CLR fait tourner une sorte de bytecode nommé Common Intermediate Language (CIL). Le compilateur à la volée transforme le code CIL en code natif spécifique au système d'exploitation. Le CLR fonctionne sur des systèmes d'exploitation Microsoft Windows.
Clé de contrôlevignette|Les deux derniers chiffres du numéro de sécurité sociale de la carte vitale française sont une clé de contrôle Apparue pour les besoins du traitement informatique des données, une clé de contrôle, ou clef de contrôle, est un nombre, ou, plus généralement, une suite de symboles associés à un code alphanumérique permettant d'assurer sa validité. La clef de contrôle est déterminée par un algorithme à partir des caractères constitutifs du code identifiant.
Trait (programmation)Un trait est une sous-classe abstraite, un modèle conceptuel pour structurer des programmes orientés objets. C'est un ensemble de méthodes concrètes ou fonctions, pouvant être ajouté à une classe pour étendre ses fonctionnalités. Quand un langage de programmation supporte les traits, il permet la résolution explicite des conflits qui apparaissent quand une classe utilise deux traits qui ont des méthodes qui portent le même nom (contrairement aux mixins).
Siège enfantalt=Siège auto Cybex Sirona|vignette|upright|Siège auto Cybex Sirona (groupe 0/1 de la naissance à ) Un siège enfant ou siège auto est un siège permettant d'assurer le confort et la sécurité, d'un enfant, dans un véhicule, en cas d'accident. Ces sièges sont fixés dans les véhicules via la ceinture de sécurité, le système Isofix, ou en utilisant les deux simultanément. Ces sièges sont efficaces, à condition de respecter les normes du produit en matière de poids et de taille Bien que les sièges protègent, Les enfants peuvent étouffer dans certains cas, il faut donc veiller à ce que le siège soit bien mis, et de taille et caractéristiques appropriés.
