Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
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.
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.
Each type has its own definition, function, and types.
Jeder Typ hat seine eigene Definition, Funktion und Typen.
Parsing, definition and deletion of functions at runtime is possible.
Parsen, Anlegen und Löschen von Funktionen während der Laufzeit.
The second method uses one recursive function to generate points directly.
Die zweite Methode nutzt eine rekursive Funktion zur direkten Erzeugung der Punkte.
A recursive function is one which calls itself either directly or indirectly.
Das sind Funktionen, die sich direkt oder indirekt selbst aufrufen.
Function definitions alone are enough to correctly pass the argument by reference.
Diese allein ist ausreichend, um das Argument per Referenz zu übergeben.
Recursive functions in M do not support "tail call elimination".
Rekursive Funktionen in M unterstützen keine "tail call elimination".
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 771425. Exact: 1. Verstreken tijd: 504 ms.
