Voice and photo translation, offline features, synonyms, conjugation, learning games
Advertising
Register for free: access more results and features
of the lambda calculus
Translation of "of the lambda calculus" in German
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 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.
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 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'.
Word & Expression of the day
Image of the day
Results: 9. Exact: 9. Elapsed time: 71 ms.
