Examples with "lambda-calcul pour" and their translation 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.
S'appuyant sur les travaux de master (M.Sc.) de l'auteur, nous étudions un lambda-calcul pour le calcul quantique avec contrôle classique.
Following the work done in the author's M.Sc. thesis, we study a lambda calculus for quantum computation with classical control.
Andere resultaten
Nous concluons en discutant de la pertinence du lambda calcul simplement typé pour la sémantique des langues naturelles.
We conclude by discussing the adequacy of simply typed lambda calculus for natural language semantics.
Résumé Le lambda-calcul a été introduit pour étudier les fonctions mathématiques d'un point de vue calculatoire.
Typing and Optimal reduction for calculus has been introduced to study the mathematical functions from a computational point of view.
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!
Si vous connaissez le lambda calcul, cliquez là pour voir un exemple plus consistant de manipulation de données symboliques avec Caml: j'y définis les lambda termes avec leurs analyseurs lexicaux et syntaxiques associés, puis un imprimeur en à peu près 50 lignes de Caml.
If you know the lambda calculus, click here to see a more significative example of symbolic data manipulation using Caml: the definition of lambda-terms with their associated lexical analyzer, parser and printer, within about fifty lines of Caml code.
Le calcul lambda est utilisé pour représenter des calculs par l'abstraction de fonctions.
Lambda calculus is used to represent computations through function abstraction.
De nombreux informaticiens étudient le calcul lambda pour améliorer leurs compétences en programmation.
Many computer scientists study lambda calculus to enhance their programming skills.
Le calcul lambda est essentiel pour comprendre les concepts de programmation fonctionnelle.
Lambda calculus is essential for understanding functional programming concepts.
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.
Dans cet article, l'auteur utilise des arguments basés sur le calcul lambda pour montrer pourquoi les logiciels ne peuvent être brevetés.
In this article the author uses arguments based on lambda calculus to show why software cannot be patented.
Deux interprétations sont considérées.Le lambda-calcul constitue le support de la première interprétation.
Ils constituent ainsi un pont entre le lambda-calcul et les programmes.
They constitute a bridge between lambda-calculus and programs.
Mon domaine de recherche inclut partiellement le lambda-calcul et la théorie des types.
My research domain includes partially lambda-calculus and type theory.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
