Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
a recursive program scheme
Examples with "a recursive program scheme" and their translation in Duits
In a third step, learning by analogy is performed by abstracting from the concrete semantic of the operation symbols contained in a recursive program scheme.
In einem dritten Schritt kann von der konkreten Bedeutung der Operationssymbole eines Programmschemas abstrahiert werden.
Finally we introduce the notion of a recursive program scheme with effects for five concrete effects and prove that all the guarded schemes have a unique or at least a canonical uninterpreted solution.
Schließlich wird der Begriff eines rekursiven Programmschemas mit Effekten für fünf verschiedene Effekte eingeführt und bewiesen, dass all diese Schemata, falls sie die Guardedness-Eigenschaft haben, eine eindeutige oder zumindest eine kanonische uninterpretierte Lösung besitzen.
Andere resultaten
We present several formats of recursive specifications (both recursive equations and recursive program schemes) which make use of operations defined that way.
In der vorliegenden Arbeit werden verschiedene Formate rekursiver Spezifikationen (sowohl rekursive Gleichungen als auch rekursive Programmschemata) präsentiert, in denen Operationen verwendet werden, die auf diese Weise definiert wurden.
A self-join is a recursive relationship between a table and itself.
Ein Selbstjoin ist eine rekursive Beziehung einer Tabelle mit sich selbst.
A recursive function is one which calls itself either directly or indirectly.
Das sind Funktionen, die sich direkt oder indirekt selbst aufrufen.
A recursive function call can simplify complex problems in programming.
Ein rekursiver Funktionsaufruf kann komplexe Probleme in der Programmierung vereinfachen.
You know what recursion is and you can write simple recursive programs.
Du weisst, was Rekursionen sind und kannst einfache rekursive Programme schreiben.
The reduction formula allows us to calculate integrals in a recursive manner.
Die Reduktionsformel ermöglicht es uns, Integrale rekursiv zu berechnen.
My scans identified a recursive error in your pattern buffer.
Meine Scans stellten einen rekursiven Fehler in Ihrem Musterpuffer fest.
A deviation ahead - not a circular movement, but a recursive one.
Eine Abweichung nach vorn - keine zirkuläre Bewegung, sondern eine rekursive.
A dictionary might include a recursive definition for terms with universal relations.
Ein Wörterbuch könnte eine rekursive Definition für Begriffe mit universellen Beziehungen enthalten.
I think it was a recursive error in his logic subroutine.
Ich glaube, es war ein rekursiver Fehler in seinem Logik-Unterprogramm.
The main merit of this is its sophisticated design and unique program scheme.
Der wichtigste Verdienst ist das anspruchsvolle Design und das einzigartige Programmschema.
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: 538. Exact: 2. Verstreken tijd: 89 ms.
