Examples with "du calcul des 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 principes du calcul des lambda sont souvent enseignés dans les cours d'informatique avancés.
The principles of lambda calculus are often taught in advanced computer science courses.
Andere resultaten
Étudier le calcul des lambda peut approfondir votre compréhension du calcul et des algorithmes.
Le calcul des lambda sert de pont entre les mathématiques et l'informatique.
Lambda calculus serves as a bridge between mathematics and computer science.
De nombreux informaticiens considèrent le calcul des lambda comme essentiel pour l'informatique théorique.
Many computer scientists consider lambda calculus essential for theoretical computer science.
Le calcul des lambda est une base clé dans l'étude des langages de programmation.
Lambda calculus is a key foundation in the study of programming languages.
Comprendre le calcul des lambda peut améliorer votre compréhension des concepts de programmation fonctionnelle.
Understanding lambda calculus can enhance your grasp of functional programming concepts.
Le calcul des lambda offre un moyen d'exprimer mathématiquement les fonctions avec clarté.
Lambda calculus offers a way to express functions mathematically with clarity.
En mathématiques, le calcul des lambda aide à résoudre efficacement des problèmes de logique complexes.
In mathematics, lambda calculus helps solve complex logic problems effectively.
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.
Le calcul des lambda a été développé par Alonzo Church au début du 20ème siècle.
Lambda calculus was developed by Alonzo Church in the early 20th century.
Résumé : Dans la première partie, on propose un système de type pour le lambda-calcul, dans le style du calcul des séquents, nomme « Soft Type Assignment » (STA) qui est inspiré par la logique linéaire « soft ».
Abstract: In the first part, we propose, inspired by Soft Linear Logic, a type assignment system for lambda-calculus in sequent calculus style, named Soft Type Assignment (STA).
Les principes du calcul lambda influencent divers langages de programmation aujourd'hui.
The principles of lambda calculus influence various programming languages today.
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.
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.
