Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
Church's lambda calculus
Examples with "Church's lambda calculus" and their translation in Frans
It also included a notion of a 'Universal Machine' (now known as a universal Turing machine), with the idea that such a machine could perform the tasks of any other computation machine (as indeed could Church's lambda calculus).
Il est aussi complètement nouveau dans sa présentation du concept de « machine universelle » (de Turing), avec l'idée qu'une telle machine puisse accomplir les tâches de n'importe quelle autre machine.
In 1964, Peter Landin is the first to realize Church's lambda calculus can be used to model programming languages.
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.
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.
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.
His thesis, entitled A Theory of Positive Integers in Formal Logic, was supervised by Alonzo Church. In the 1930s, he did important work on Church's lambda calculus.
Sa thèse, dirigée par Alonzo Church, s'intitule « A Theory of Positive Integers in Formal Logic » (Une théorie des entiers positifs en logique formelle).
Andere resultaten
The most famous early example is Alonzo Church's simply typed lambda calculus.
L'exemple le plus connu est le lambda calcul d'Alonzo Church.
Peter bears some similarities to Atsushi, Benjamin and Phil's Featherweight Java [IPW01] and Alonso Church's typed lambda calculus [Chu41].
Peter partage quelques similitudes avec Featherweight Java de Atsushi, Benjamin et Phil [IPW01] et le lambda calcul typé de Alonso (Church) [Chu41].
Alonzo Church in the lambda calculus.
Alonzo Church, avec une théorie appelé le lambda-calcul.
functional programming, in fact, a long time before computers by a logician called Alonzo Church in the lambda calculus.
Par un logicien appelé Alonzo Church, avec une théorie appelé le lambda-calcul. Cette théorie a été établi dans les 1930.
Abstract: The subject of this thesis is about lambda-calculus decorated with types, usually called "Church-style typed lambda-calculus".
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 ».
Although Turing's proof was published shortly after Alonzo Church's equivalent proof using his lambda calculus, Turing's approach is considerably more accessible and intuitive than Church's.
Bien que sa preuve ait été publiée après celle d'Alonzo Church, le travail de Turing est plus accessible et intuitif.
Although there are no numbers in lambda calculus, we can encode numbers using Church numerals.
Bien qu'il n'y ait pas de nombres dans le lambda-calcul, nous pouvons encoder des nombres en utilisant les nombres de Church.
Lambda Calculus Lambda calculus (calculus), originally created by Alonzo Church, is the world's smallest programming language.
Le Lambda-calcul (calcul), créé à l'origine par Alonzo Church, est le plus petit langage de programmation au monde.
Abstract: The lambda-calculus has been invented in 1936 by Alonzo Church as a way to formalize the notion of computation, and can be seen as an ancestor of today's programming languages.
Résumé : Le lambda-calcul a été inventé en 1936 par Alonzo Church pour formaliser la notion de calcul, et peut être considéré comme un ancêtre des langages de programmation d'aujourd'hui.
Synoniemen voor Church's lambda calculus in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 8121. Exact: 4. Verstreken tijd: 282 ms.
