Translation of lambda calculus into French
Noun
mathematics
- He studied lambda calculus to better understand computational frameworks..Il a étudié calculus lambda pour mieux comprendre les cadres computationnels.
computing theory
- Lambda calculus is fundamental in understanding functional programming.Le lambda-calcul est fondamental pour comprendre la programmation fonctionnelle.
Examples of lambda calculus in a sentence
Researchers use lambda calculus to model complex algorithms. Students often struggle with the concepts of lambda calculus. Lambda calculus provides a framework for analyzing algorithms.
Translations of "lambda calculus" in Context ordered by category and frequency
Data can nevertheless be simulated with appropriate functions as in the lambda calculus.
L'utilisateur peut cependant simuler d'autres données en appelant des fonctions adéquates, comme en lambda-calcul.
An important theorem, in fact, of lambda calculus is that both strategies reduce to
Un théorème important du lambda-calcul est que les deux stratégies se réduisent à
Type theory is based on the lambda calculus which is purely functional.
La théorie des types est basée sur le lambda calcul qui est purement fonctionnel.
We conclude by discussing the adequacy of simply typed lambda calculus for natural language semantics.
Nous concluons en discutant de la pertinence du lambda calcul simplement typé pour la sémantique des langues naturelles.
The principles of lambda calculus influence various programming languages today.
Les principes du calcul lambda influencent divers langages de programmation aujourd'hui.
The study of lambda calculus extends beyond basic math into computer science.
L'étude du calcul lambda s'étend au-delà des mathématiques de base jusqu'à l'informatique.
lambda calculus: Examples and translations in context
Okay, I'll just say one more thing: lambda calculus.
Très bien, je ne rajouterai qu'une chose : le lambda-calcul.
It is based on combinatory logic, a version of the lambda calculus that omits the lambda operator.
Il est fondé sur le principe de la logique combinatoire, une version du lambda-calcul qui omet l'opérateur lambda.
You might have come across lambda calculus in theoretical computer science, and if you did, then you know how to make the connection to this model.
Vous avez probablement vu le lambda-calcul dans un cours d'informatique théorique; si oui, vous verrez sans doute le lien avec ce modèle.
It is based on combinatory logic, a version of the lambda calculus that omits the lambda operator.
Il est fondé sur le principe de la logique combinatoire, une version du lambda-calcul qui omet l'opérateur lambda.
Finally, we takle the specificiation of the operational semantics of a programming language such as lambda calculus with - reduction.
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.
For example, my lesson on lambda calculus is the explanation of a library of executable programs, enabling students to learn by using these algorithms.
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.
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.
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.
We conclude by discussing the adequacy of simply typed lambda calculus for natural language semantics.
Nous concluons en discutant de la pertinence du lambda calcul simplement typé pour la sémantique des langues naturelles.
See also: