Examples with "calculs 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.
Les fonctions continues de Scott apparaissent dans l'étude de modèles pour les calculs lambda et la sémantique dénotationnelle des programmes informatiques.
Scott-continuous functions show up in the study of models for lambda calculi and the denotational semantics of computer programs.
Andere resultaten
Le calcul lambda sert de fondation à la logique mathématique et au calcul.
Les principes du calcul lambda influencent divers langages de programmation aujourd'hui.
The principles of lambda calculus influence various programming languages today.
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.
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.
Dans le calcul lambda, les fonctions peuvent être définies et appliquées de manière unique.
In lambda calculus, functions can be defined and applied uniquely.
Le calcul lambda est essentiel pour comprendre les concepts de programmation fonctionnelle.
Lambda calculus is essential for understanding functional programming concepts.
L'étude du calcul lambda s'étend au-delà des mathématiques de base jusqu'à l'informatique.
The study of lambda calculus extends beyond basic math into computer science.
Enfin, on finit en donnant une spécification formelle du calcul lambda j dans l'assistant à la preuve Coq.
Finally, we give a formal specification of the lambda j-calculus within the proof assistant Coq.
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.
