Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
lambda calculus to
Examples with "lambda calculus to" and their translation in Frans
Many computer scientists study lambda calculus to enhance their programming skills.
De nombreux informaticiens étudient le calcul lambda pour améliorer leurs compétences en programmation.
Researchers utilize lambda calculus to prove theories about computation and functions.
Les chercheurs utilisent le calcul des lambda pour prouver des théories sur le calcul et les fonctions.
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.
Andere resultaten
Lambda calculus is used to represent computations through function abstraction.
Le calcul lambda est utilisé pour représenter des calculs par l'abstraction de fonctions.
Students often find lambda calculus challenging but rewarding to learn.
Les étudiants trouvent souvent le calcul lambda difficile mais gratifiant à apprendre.
Lambda calculus offers a way to express functions mathematically with clarity.
Le calcul des lambda offre un moyen d'exprimer mathématiquement les fonctions avec clarté.
The Krivine machine is based on two concepts related to lambda calculus, namely head reduction and call by name.
La machine abstraite de Krivine est sous-tendue par deux concepts relatifs au lambda-calcul, à savoir la réduction en forme normale de tête et l'appel par nom.
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 begin by studying under which conditions the combination of a confluent conditional rewrite relation to the lambda-calculus leads to a confluent relation.
Nous commençons par étudier sous quelles conditions la combinaison d'une relation de réécriture conditionnelle confluente au lambda-calcul donne une relation de réécriture confluente.
Abstract: Explicit substitutions have been introduced as a refinement of the lambda-calculus - the usual formalismused to study the semantic of programming languages.
Résumé : Les substitutions explicites ont été introduites comme un raffinement du lambda-calcul, celui-ci étant leformalisme utilisé pour étudier la sémantique des langages de programmation.
Finally, we will investigate the problem of whether there exists a non-syntactical model of lambda-calculus belonging to the main semantics which has an r.e. (recursively enumerable) order or equational theory.
Finalement, on étudie la question de l'existence d'un modèle non-syntaxique du λ-calcul appartenant aux sémantiques principales et ayant une théorie équationnelle ou inéquationnelle r.e. (récursivement énumérable).
Despite not having numbers, strings, booleans, or any non-function datatype, lambda calculus can be used to represent any Turing Machine!
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!
In 1964, Peter Landin is the first to realize Church's lambda calculus can be used to model programming languages.
En 1964, Peter Landin est le premier à réaliser que le calcul lambda de Church peut être utilisé pour modéliser les langages de programmation.
Synoniemen voor lambda calculus to in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 259. Exact: 3. Verstreken tijd: 120 ms.
