Übersetzung für "Subgoal" in Deutsch

Table 8 describes how this subgoal is achieved in five stages.
Tabelle 8 beschreibt, wie dieses Teilziel in fünf Stufen erreicht wird.
EuroPat v2
It is called if a new proof step or a new subgoal is generated.
Es wird aufgerufen, wenn ein neuer Beweisschritt oder ein neues Teilziel erzeugt wird.
EuroPat v2
It can contain control components that reduce the goal to solve a problem to the subgoal to solve one or more other problems.
Es kann Steuerungskomponenten enthalten, die das Ziel, eine Aufgabe zu lösen, auf das Teilziel zurückführen, eine oder mehrere andere Aufgabe zu lösen.
EuroPat v2
If another procedure produces the subgoal to prove an equality or inequality R(x) containing the variable x, this equality or inequality R(x) is regarded as a property of x and the assumption is introduced that R(x) holds.
Sobald ein anderes Verfahren das Teilziel erzeugt, eine Gleichung oder Ungleichung R (x), die die Variable x enthält, zu beweisen, wird die Gleichung und Ungleichung R (x) als Eigenschaft von x betrachtet und die Annahme eingeführt, daß R (x) gilt.
EuroPat v2
By means of the definition of open coverings (Definition 21), the reduction procedure reduces the goal to prove the proposition in step 37 in Table 6 that the collection N(S) forms an open covering of S to the subgoal to prove the propositions EPMATHMARKEREP In step 25 and
Mit Hilfe der Definition 21 der offenen Überdeckungen führt das Reduktionsverfahren das Ziel, die Aussage in Schritt 37 in Tabelle 6 zu beweisen, daß die Familie N (S) eine offene Überdeckung von S bildet, auf das Teilziel zurück, die Aussagen EPMATHMARKEREP in Schritt 25 und EPMATHMARKEREP in Schritt 36 zu beweisen.
EuroPat v2
EPMATHMARKEREP in step 23. The simplification procedure reduces the goal to prove (37) to the subgoal to prove the proposition
Das Vereinfachungsverfahren führt das Ziel, (37) zu beweisen, auf das Teilziel zurück, die Aussage EPMATHMARKEREP in Schritt 22 zu beweisen.
EuroPat v2
By means of the equation (41), the replacement procedure reduces the goal to prove (40) to the subgoal to prove the proposition
Mit Hilfe der Gleichung (41) führt das Ersetzungsverfahren das Ziel, (40) zu beweisen, auf das Teilziel zurück, die Aussage EPMATHMARKEREP in Schritt 18 zu beweisen.
EuroPat v2
By means of this equation, the replacement procedure reduces the goal to prove (45) to the subgoal to prove the proposition
Mit dieser Gleichung führt das Ersetzungsverfahren das Ziel, (45) zu beweisen, auf das Teilziel zurück, die Aussage EPMATHMARKEREP in Schritt 33 zu beweisen.
EuroPat v2
Each stage contains a procedure, a subgoal that is generated by this procedure, and the result produced by the subsequent stages.
Jede Stufe enthält ein Verfahren, ein Teilziel, das von diesem Verfahren erzeugt wurde, und einem Ergebniss, das von den folgenden Stufen geliefert wird.
EuroPat v2
An important subgoal is the systematic analysis of the edge shape and topography to draw corresponding conclusions.
Als wichtiges Teilziel ist hier die systematische Analyse der Kantengestalt und -topographie anzuführen, um entsprechende Rückschlüsse zu gewährleisten.
ParaCrawl v7.1
By means of a subset relation T ? S or a function f on a set T into a set S, it reduces this goal to the subgoal to prove a proposition of the form x?T with the free variable x.
Mit Hilfe einer Teilmengenrelation T ? S oder einer Funktion f von einer Menge T in die Menge S führt es dieses Ziel auf das Teilziel zurück, eine Aussage der Form x ? T mit der freien Variablen x zu beweisen.
EuroPat v2
The conjunction procedure reduces the goal to prove (39) to the subgoal to prove the propositions a?S and
Das Konjunktionsverfahren führt das Ziel, (39) zu beweisen, auf die Teilziele zurück, die Aussagen a ? S und EPMATHMARKEREP zu beweisen.
EuroPat v2
By means of a subset relation T ? or a function f on a set T into a set S, it reduces this goal to the subgoal to prove a proposition of the form x?T with the free variable x.
Mit Hilfe einer Teilmengenrelation T ? S oder einer Funktion f von einer Menge T in die Menge S führt es dieses Ziel auf das Teilziel zurück, eine Aussage der Form x ? T mit der freien Variablen x zu beweisen.
EuroPat v2
The subgoal for the Navy Museum had been reached: The wrecks are from German S-boats either S38 or S100-class, but a certain identification, which boats exactly are concerned, is impossible.
Das Teilziel für das Marinemuseum war erreicht: Die Wracks sind von deutschen S-Booten entweder der S38 oder der S100-Klasse, aber eine sichere Identifizierung, um exakt welche Fahrzeuge es sich handelt, ist unmöglich.
ParaCrawl v7.1
The procedures produce further proof steps and subgoals.
Die Verfahren erzeugen weitere Beweisschritte und Teilziele.
EuroPat v2
Our twelve strategic goals and their subgoals are assigned to four strategic lines of approach:
Zwölf strategische Ziele und ihre Teilziele sind vier strategischen Stossrichtungen zugeordnet:
ParaCrawl v7.1
The simplification procedure simplifies propositions in proof steps and propositions in subgoals to be proved.
Das Vereinfachungsverfahren vereinfacht Aussagen in Beweisschritten und Aussagen in Teilzielen, die bewiesen werden sollen.
EuroPat v2
The long-term quality of AAU's teaching is to be achieved through the following three subgoals:
Die dafür notwendige Qualitätssicherung in der Lehre soll langfristig über drei Teilziele erreicht werden:
ParaCrawl v7.1
I considered your request for a subdivision of Objective 2 into two subgoals - or indeed the creation of an independent goal - to be counterproductive.
Die von Ihnen geforderte Untergliederung von Ziel 2 in zwei Teilziele oder gar die Schaffung eines eigenen Ziels hielte ich für kontraproduktiv.
Europarl v8
Annual overall government participation goals are established for federal procurement contracts awarded to small businesses with differentiated subgoals for individual departments and agencies.
Für die Vergabe föderaler Beschaffungsaufträge an Kleinunternehmen werden jährliche Gesamtziele für die staatliche Beteiligung mit differenzierten Unterzielen für einzelne Ministerien und Agenturen festgelegt.
TildeMODEL v2018
These subgoals are achieved by the element and the reduction procedure in steps 30, 31, and 32.
Diese Teilziele werden durch das Element- und das Reduktionsverfahren in den Schritten 30, 31 und 32 erreicht.
EuroPat v2
In addition to the subgoals of SDG 14, the cross-connections to other goals, like Dedcent Work and Economic Growth (SDG 8) or Responsible Consumption and Production (SDG 12) are important for protecting the ocean and its resources.
Neben den Unterzielen von SDG 14 sind die Querverbindungen zu anderen Zielen, zum Beispiel nachhaltigem Wachstum (SDG 8) oder nachhaltigen Konsum- und Produktionsmustern (SDG 12), für den Meeres- und Ressourcenschutz wichtig.
ParaCrawl v7.1
The successful implementation of a set gole is not only dependent on the interaction between thinking and acting, but also on the flexibility when reaching subgoals while using newly acquired resources.
Die erfolgreiche Umsetzung eines gesetzten Ziels ist nicht nur abhängig von der Interaktion zwischen Denken und Handeln, sondern auch von der Flexibilität bei Erreichung von Teilzielen bei gleichzeitiger Nutzung von neu gewonnenen Ressourcen.
ParaCrawl v7.1
But the production planner should know at the very least which subgoals are a priority.
Vermutlich sind nicht alle Widersprüchlichkeiten aufzulösen, aber der Produktionsplaner sollte zumindest wissen, welches der Teilziele Priorität hat.
ParaCrawl v7.1
The 17 global sustainability goals and their 169 subgoals were adopted by all UN member states in 2015 via the “Agenda 2030.”
Die 17 globalen Nachhaltigkeitsziele mit 169 Unterzielen wurden im Jahr 2015 von allen UN-Mitgliedsstaaten in der sogenannten „Agenda 2030“ verabschiedet.
ParaCrawl v7.1