Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
recursive definition of a function
Vertaling van "recursive definition of a function" in Duits
The recursive definition of a function helps illustrate how it operates in programming.
Die rekursive Definition einer Funktion hilft dabei, zu veranschaulichen, wie sie im Programmieren arbeitet.
Andere resultaten
Classical methods for induction of functional programs are analytical, that is, a recursive function definition is derived by detecting and generalizing recurrent patterns between the given I/O examples.
Klassische Methoden der induktiven Synthese funktionaler Programme sind analytisch; eine rekursive Funktionsdefinition wird generiert, indem rekurrente Strukturen zwischen den einzelnen E/A-Beispielen gefunden und generalisiert werden.
This means that the n-th definition of a primitive recursive function in this enumeration can be effectively determined from n.
Alltäglicher ausgedrückt heißt das: Eine Funktion ist genau dann primitiv-rekursiv, wenn man sie als Ausdruck mit den genannten Mitteln hinschreiben kann.
The aim of this thesis is to provide an infrastructure for general recursive function definitions in a proof assistant based on higher-order logic (HOL) that has no native support for recursion or pattern matching.
Ziel dieser Arbeit ist die Entwicklung einer Infrastruktur für rekursive Funktionsdefinitionen in einem interaktiven Theorembeweiser, in dem Rekursion und Pattern-Matching nicht von Haus aus unterstützt werden.
Many programming languages use a recursive definition to explain functions that call themselves.
Viele Programmiersprachen verwenden eine rekursive Definition, um Funktionen zu erklären, die sich selbst aufrufen.
In the first part we develop a tool that automates recursive function definitions and provides appropriate proof rules for them.
Im ersten Teil entwickeln wir ein Werkzeug, welches Funktionsdefinitionen automatisiert und geeignete Beweisregeln dafür bereitstellt.
A recursive function is one which calls itself either directly or indirectly.
Das sind Funktionen, die sich direkt oder indirekt selbst aufrufen.
Recursive functions in M do not support "tail call elimination".
Rekursive Funktionen in M unterstützen keine "tail call elimination".
Every recursive solution hinges on the proper definition of a base case.
Jede rekursive Lösung hängt von der richtigen Definition eines Basisfalls ab.
Function definitions alone are enough to correctly pass the argument by reference.
Diese allein ist ausreichend, um das Argument per Referenz zu übergeben.
New definitions of these functions can be declared, or existing ones edited.
Sie können neue Definitionen dieser Funktionen festlegen oder vorhandene bearbeiten.
A recursive function call can simplify complex problems in programming.
Ein rekursiver Funktionsaufruf kann komplexe Probleme in der Programmierung vereinfachen.
Each type has its own definition, function, and types.
Jeder Typ hat seine eigene Definition, Funktion und Typen.
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 818014. Exact: 1. Verstreken tijd: 251 ms.
