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 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.
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.
La plupart des programmeurs associent les languages fonctionnels avec la théorie des langages, le calcul lambda, la récursivité, et les variables non mutables, autrement dit, les plus ennuyeuses conférences à l'université.
Most programmers associate functional languages with languages theory, lambda-calculus, recursivity, and non-mutable variables, ie the most boring lectures at university.
D'autres contributions notables comprennent ses travaux sur la théorie des domaines en forme, le calcul lambda paresseux, la théorie de la concurrence, les catégories d'interaction et la géométrie de l'interaction.
Other notable contributions include his work on domain theory in logical form, the lazy lambda calculus, strictness analysis, concurrency theory, interaction categories, and geometry of interaction.
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.
In 1964, Peter Landin is the first to realize Church's lambda calculus can be used to model programming languages.
Le concept a été formalisé en 1936 avec les machines d'Alan Turing et le calcul lambda d'Alonzo Church, ce qui à alors créé les fondations de l'informatique.
The concept of algorithm was formalized in 1936 through Alan Turing's Turing machines and Alonzo Church's lambda calculus, which in turn formed the foundation of computer science.
Il n'y a pas de "Vrai" ou de "Faux" dans le calcul lambda.
There is no "True" or "False" in lambda calculus.
Le calcul lambda sert de fondation à la logique mathématique et au calcul.
Lambda calculus serves as a foundation for mathematical logic and computation.
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.
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.
