Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
combinatory logic
Vertaling van "combinatory logic" in Frans
And this has undoubtedly been an important contribution to the enthusiasm of many of those of us working in combinatory logic.
Et cela a été sans aucun doute une contribution importante à l'enthousiasme de bon nombre de ceux d'entre nous qui travaillent dans la logique combinatoire.
It is based on combinatory logic, a version of the lambda calculus that omits the lambda operator.
Il est fondé sur le principe de la logique combinatoire, une version du lambda-calcul qui omet l'opérateur lambda.
By the combinatory logic and in the rhetorical manner, the process of figurations of Chinese characters was a process from simple forms to complex forms, from the limited significations to the rich significations.
De par sa logique combinatoire et ses procédés rhétoriques, le processus de figuration des caractères chinois est un processus de transformation de formes simples vers des formes complexes, passant de significations limitées à des significations riches.
the computing means comprise at least one hardware calculating module (RB1/2/, which is constituted of at least one combinatory logic, for generating at least one type of said values.
l'invention est caractérisée en ce que le moyen de calcul comprend au moins un module de calcul matériel (RB1/2 /, conçu selon une logique combinatoire, pour établir au moins un type des valeurs susmentionnées.
After giving a very clear exposition of the fundamentals of combinatory logic, showing its close relationship to the -calculus developed by Church, Curry went on to describe his recent work.
Après avoir donné un exposé très clair des principes fondamentaux de la logique combinatoire, en montrant son rapport étroit avec le-calcul mis au point par l'Eglise, Curry a ensuite décrit ses travaux récents.
It allows integrating different formal technologies of the Combinatory Logic with types (Curry) and their functional programme (Haskell) with an enunciative theory of the tense and the aspect.
Il permet d'intégrer différentes techniques formelles de la Logique Combinatoire avec des types (Curry) et sa programmation fonctionnelle (Haskell) avec une théorie énonciative du temps et de l'aspect.
E J Cogan, reviewing the book, gives a nice description of combinatory logic
EJ Cogan, l'examen de l'ouvrage, donne une belle description de la logique combinatoire
In 1958 Feys and Haskell B. Curry devised the type inference algorithm for the simply typed lambda calculus (Combinatory Logic).
En 1958, Feys et Haskell B. Curry ont mis au point l'algorithme d'inférence de type pour le lambda-calcul simplement typé et la logique combinatoire.
History of Lambda-calculus and Combinatory Logic.
Il est fondé sur le lambda-calcul et la logique combinatoire.
He is also interested in Computational Musical Analysis and Combinatory Logic.
Il s'intéresse également à l'analyse musicale par ordinateur et à la logique combinatoire.
Curry began working on Combinatory Logic in 1950 when he was awarded a Fulbright Grant that enabled him to work with Robert Feys at Louvain.
Curry a commencé à travailler sur la logique combinatoire en 1950 quand il a reçu une subvention Fulbright qui lui a permis de travailler avec Robert Feys à Louvain.
In 1969, J. Roger Hindley publishes The Principal Type-Scheme of an Object in Combinatory Logic, later generalized into the Hindley-Milner type inference algorithm.
En 1969, J. Roger Hindley publie The Principal Type-Scheme of an Object in Combinatory Logic, plus tard généralisé dans l'algorithme d'inférence de type Hindley-Milner.
Introduction to digital electronics: numbers, logic gates, boolean algebra, combinatory logic circuit design, sequential circuits.
Introduction à l'électronique numérique : systèmes de numération, portes logiques, algèbre booléenne, synthèse de circuits combinatoires, circuits séquentiels.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor combinatory logic in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 20. Exact: 19. Verstreken tijd: 35 ms.
