Examples with "sur le calcul lambda" 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.
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.
Andere resultaten
La théorie des types est basée sur le lambda calcul qui est purement fonctionnel.
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.
For example, my lesson on lambda calculus is the explanation of a library of executable programs, enabling students to learn by using these algorithms.
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.
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.
Résumé : Les langages de programmation fonctionnels, comme OCaml ou Haskell, reposent sur le lambda calcul en tant que langage noyau.
Abstract: Functional programming languages, like OCaml or Haskell, rely on the lambda calculus for their core language.
Résumé : Le sujet de cette thèse est sur le lambda-calcul décoré avec des types, communément appelé « lambda-calcul typé à la Church ».
Abstract: The subject of this thesis is about lambda-calculus decorated with types, usually called "Church-style typed lambda-calculus".
Le calcul lambda sert de fondation à la logique mathématique et au calcul.
Dans les milieux académiques, le calcul lambda est souvent introduit comme informatique théorique.
In academic settings, lambda calculus is often introduced as theoretical computer science.
Les étudiants trouvent souvent le calcul lambda difficile mais gratifiant à apprendre.
Students often find lambda calculus challenging but rewarding to learn.
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.
Utiliser le calcul lambda peut clarifier les définitions de fonctions complexes en mathématiques.
Using lambda calculus can clarify complex function definitions in mathematics.
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.
