Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
lambda calculus
Definitie
Vertaling van "lambda calculus" in Frans
Definitie NEW
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.
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.
In this article the author uses arguments based on lambda calculus to show why software cannot be patented.
Dans cet article, l'auteur utilise des arguments basés sur le calcul lambda pour montrer pourquoi les logiciels ne peuvent être brevetés.
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.
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.
An important theorem, in fact, of lambda calculus is that both strategies reduce to the same final value as long as the reduced expression consists of pure functions and both evaluations terminate.
Un théorème important du lambda-calcul est que les deux stratégies se réduisent à la même valeur, tant que la réduction de l'expression se compose de fonctions pures et que ces deux évaluations se terminent.
Synoniemen voor lambda calculus in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 81. Exact: 81. Verstreken tijd: 47 ms.
