Finalement, nous abordons la spécification de la sémantique opérationnelle d'un langage de programmation tel que le lambda calcul avec -réduction.
Finally, we takle the specificiation of the operational semantics of a programming language such as lambda calculus with - reduction.
Par exemple, mon cours sur le lambda calcul est la glose d'une bibliothèque de programmes exécutables, permettant aux étudiants d'apprendre en utilisant ces algorithmes.
For example, my lesson on lambda calculus is the explanation of a library of executable programs, enabling students to learn by using these algorithms.
Elle s'applique à seulement une sous-classe de virus (dans le cas décrit, un appelé le lambda).
It applies to only one subclass of virus (in the case described, one called lambda).
Je me souviens de ses notes de cours exécutable sur le lambda calcul qui permet d'expérimenter les algorithmes et de donner ainsi un caractère très concret à un sujet autrement très théorique.
I remember his executable lecture notes on lambda calculus which allowed us to experiment with the algorithms and therefore gave a very practical side to a subject that is otherwise very theoretical.
L'appareil comprend des moyens destinés à détecter et commander le lambda, et une unité de commande électronique programmée pour faire fonctionner le moteur selon le mode à mélange pauvre ou le mode à mélange riche aux points prédéterminés respectifs sur une cartographie des variables du moteur.
The apparatus comprises means for detecting and controlling lambda, and an electronic controller programmed to operate the engine in one of a lean burn mode and a fuel-rich mode at respective predetermined points on an engine map.
Il y a un lieu pour les gènes de réseau lourd qui est trouvé sur le chromosome 14 et un lieu pour le lambda et les gènes de réseau léger de kappa qui est trouvé sur les chromosomes 22 et 2 respectivement chez l'homme.
There is a locus for the heavy chain genes that is found on chromosome 14 and a locus for lambda and kappa light chain genes that is found on chromosomes 22 and 2 respectively in humans.
En informatique, les fonctions itérées apparaissent comme des cas particuliers de fonctions récursives et interviennent dans le lambda calcul, ou dans des sujets plus spécialisés, comme la sémantique dénotationnelle des programmes informatiques.
In computer science, iterated functions occur as a special case of recursive functions, which in turn anchor the study of such broad topics as lambda calculus, or narrower ones, such as the denotational semantics of computer programs.
Par exemple, à la température ambiante, le lambda d'un film de 20 nm de silicium ou d'un nanofil peut être cinq fois plus petit que son équivalent monocristallin massif.
For example, at room temperature, lambda of a 20 nm Si film or nanowire can be a factor of five smaller than its bulk single-crystalline counterpart.
Affiche simultanément le boost ou le vide et l'afr ou le lambda sur la même jauge; aucun étalonnage à l'air libre requis - jamais; capteur de suralimentation interne.
Displays both boost or vacuum and AFR or Lambda simultaneously on the same gauge; no free air calibration required - ever; internal boost sensor.
Pendant et après la restauration à l'échelle des sites, les tendances de l'habitat perturbé/non perturbé/entièrement restauré devraient être mesurées de concert avec la réponse de la population de caribous (telle que définie par le recrutement, la survie des femelles et/ou le lambda).
Monitor progress of range-scale restoration. During and after site-scale restoration work the trend of disturbed:non-disturbed/fully restored habitat should be measured together with the caribou population response (as defined by recruitment, females survival, and/or lambda).
Nous définissons et prouvons ensuite la correction de ces transformations, en particulier le lambda lifting et la conversion CPS, pour un langage impératif.
We then define and prove the correctness of these transformations, in particular lambda lifting and CPS conversion, for an imperative language.
Un exemple particulièrement utile de ce type de vecteur est le lambda bactériophage contenant le fragment d'ADN.
A particularly useful example of this type of vector is bacteriophage lambda containing the DNA cartridge.
En dépit de ne pas avoir de nombres, de chaînes, de booléens, ou de tout type de données sans fonction, le lambda calcul peut être utilisé pour représenter n'importe quelle machine de Turing!
Despite not having numbers, strings, booleans, or any non-function datatype, lambda calculus can be used to represent any Turing Machine!
