Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
lambda calculus
Definitie
Vertaling van "lambda calculus" in Duits
Definitie NEW
Researchers utilize lambda calculus to prove theories about computation and functions.
Forscher nutzen den Lambda-Kalkül, um Theorien über Berechnungen und Funktionen zu beweisen.
Many computer scientists study lambda calculus to enhance their programming skills.
Viele Informatiker studieren den Lambda-Kalkül, um ihre Programmierfähigkeiten zu verbessern.
The syntax of lambda calculus is deceptively simple but profound.
Die Syntax des Lambda-Kalküls ist täuschend einfach, aber tiefgründig.
Some researchers explore the implications of lambda calculus in artificial intelligence.
Einige Forscher erkunden die Auswirkungen des Lambda-Kalküls auf die künstliche Intelligenz.
The principles of lambda calculus are often taught in advanced computer science courses.
Die Prinzipien des Lambda-Kalküls werden oft in fortgeschrittenen Informatik-Kursen gelehrt.
The study of lambda calculus extends beyond basic math into computer science.
Das Studium des Lambda-Kalküls reicht über die Grundlagen der Mathematik hinaus in die Informatik.
In lambda calculus, functions can be defined and applied uniquely.
Im Lambda-Kalkül können Funktionen einzigartig definiert und angewendet werden.
The principles of lambda calculus influence various programming languages today.
Die Prinzipien des Lambda-Kalküls beeinflussen heute viele Programmiersprachen.
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.
Furthermore, foundations such as the lambda calculus and computational side effects are introduced.
Weiters werden Grundlagen wie Lambda-Kalkül und Seiteneffekte behandelt.
Combinatory logic is a model of computation equivalent to lambda calculus, but without abstraction.
Die Kombinatorische Logik ist ein Berechnungsmodell, das äquivalent zum Lambda-Kalkül ist, aber ohne die Abstraktion auskommt.
The machine was the first to be specifically designed to evaluate lambda calculus expressions.
Die SECD-Maschine war die erste virtuelle Maschine, die ausdrücklich dazu entworfen wurde, Ausdrücke des Lambda-Kalküls auszuwerten.
Like in the lambda calculus, the notion of free and bound variables is essential for the understanding of the meaning of types.
Wie im Lambda-Kalkül ist der Begriff der freien und gebundenen Variablen grundlegend für das Verständnis der Bedeutung der Typen.
Synoniemen voor lambda calculus in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 80. Exact: 80. Verstreken tijd: 37 ms.
