Vertaling van "des lambda" in Engels
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
Le calcul des lambda sert de pont entre les mathématiques et l'informatique.
Lambda calculus serves as a bridge between mathematics and computer science.
De nombreux informaticiens considèrent le calcul des lambda comme essentiel pour l'informatique théorique.
Many computer scientists consider lambda calculus essential for theoretical computer science.
Les principes du calcul des lambda sont souvent enseignés dans les cours d'informatique avancés.
The principles of lambda calculus are often taught in advanced computer science courses.
Le calcul des lambda est une base clé dans l'étude des langages de programmation.
Lambda calculus is a key foundation in the study of programming languages.
Comprendre le calcul des lambda peut améliorer votre compréhension des concepts de programmation fonctionnelle.
Understanding lambda calculus can enhance your grasp of functional programming concepts.
Le calcul des lambda offre un moyen d'exprimer mathématiquement les fonctions avec clarté.
Lambda calculus offers a way to express functions mathematically with clarity.
En mathématiques, le calcul des lambda aide à résoudre efficacement des problèmes de logique complexes.
In mathematics, lambda calculus helps solve complex logic problems effectively.
Étudier le calcul des lambda peut approfondir votre compréhension du calcul et des algorithmes.
Studying lambda calculus can deepen your insights into computation and algorithms.
Les chercheurs utilisent le calcul des lambda pour prouver des théories sur le calcul et les fonctions.
Researchers utilize lambda calculus to prove theories about computation and functions.
Les comportements infinis sont obtenus grâce à un opérateur de point fixe, qui est en particulier utilisé pour donner une traduction des lambda termes.
Infinite behaviors are obtained through a syntactical fixed-point operator, which is used to give a translation of lambda-terms.
En utilisant la distribution des lambda annuels et des charges d'entrée, nous avons prédit la distribution en état d'équilibre des teneurs en P d'avril qui résulteraient de scénarios de modification de la charge suite à des changements dans les méthodes de gestion.
Using the distribution of annual lambda's and input loadings, we predicted the steady-state distribution of April P concentrations that would result from scenarios of altered inputs due to changes in management practices.
L'objectif de cette thèse a été de préparer l'étude des mécanismes de production des baryons et mésons étranges dans les collisions proton-proton aux énergies du LHC par la mesure des lambda et K0s avec ALICE.
The aim of this thesis was to prepare the analysis of strange baryon and meson production mechanisms in proton-proton collisions at the LHC energies by the measurement of lambda$ and K0s with ALICE.
L'objectif de cette thèse a été de préparer l'étude des mécanismes de production des baryons et mésons étranges dans les collisions proton-proton aux énergies du LHC par la mesure des lambda et K0s avec ALICE.
The aim of this thesis was to prepare the analysis of strange baryon and meson production mechanisms in proton-proton collisions at the LHC energies by the measurement of lambda and K0s with ALICE.
