Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
of the lambda calculus
Vertaling van "of the lambda calculus" in Duits
des Lambda-Kalküls
dem Lambda-Kalkül
The expressions to be typed are exactly those of the lambda calculus, enhanced by a let-expression.
Die zu typisierenden Ausdrücke sind die des Lambda-Kalküls, erweitert um einen let-Ausdruck.
A central property of the lambda calculus is that recursive definitions are not directly available, but can instead be expressed with a fixed point combinator.
Eine zentrale Eigenschaft des Lambda-Kalküls ist, dass rekursive Definitionen nicht elementar sind, sondern mit Hilfe des Fixpunktkombinators ausgedrückt werden können.
The expressions to be typed are exactly those of the lambda calculus extended with a let-expression as shown in the adjacent table.
Die zu typisierenden Ausdrücke sind die des Lambda-Kalküls, erweitert um einen let-Ausdruck.
A central property of the lambda calculus is, that recursive definitions are non-elemental, but can instead be expressed by a fixed point combinator.
Eine zentrale Eigenschaft des Lambda-Kalküls ist, dass rekursive Definitionen nicht elementar sind, sondern mit Hilfe des Fixpunktkombinators ausgedrückt werden können.
The solid foundation of the Lambda Calculus is integrated in a course of the general principles of programming,
Die solide Grundlage des Lambda-Kalküls wird in ein Grundlagenstudium der Programmierung integriert,
The generalization of the Lambda Calculus consists in defining the concept of abstraction simply by 'give something a name'.
Die Verallgemeinerung besteht darin, dass der Begriff der Abstraktion allgemeiner als im Lambda-Kalkül definiert wird, nämlich als 'etwas einen Namen geben'.
The power and scope of combinatory logic are quite similar to that of the lambda calculus of Church, and the latter formalism has tended to predominate in recent decades.
Möglichkeiten und Wirkungsweise der kombinatorischen Logik ähneln sehr dem Lambda-Kalkül von Alonzo Church, der sich in den letzten Jahrzehnten eher durchgesetzt hat.
The power and scope of combinatory logic is quite similar to that of the lambda calculus of Church, and the latter formalism has tended to predominate in recent decades.
Möglichkeiten und Wirkungsweise der kombinatorischen Logik ähneln sehr dem Lambda-Kalkül von Alonzo Church, der sich in den letzten Jahrzehnten eher durchgesetzt hat.
The consequences of this little difference are tremendous: Whereas the application of the Lambda Calculus always leads to functional programming languages, ARS allows to develop general programming patterns for functional programming as well as for object oriented and imperative programming.
Während ein Ausbau des Lambda-Kalküls immer in die Funktionalen Programmiersprachen mündet, können mit ARS allgemeine Muster der Programmierung definiert werden, die sowohl auf die Funktionale Programmierung als auch auf die Objekt-orientierte und die Imperative Programmierung angewandt werden können.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 9. Exact: 9. Verstreken tijd: 43 ms.
