Deutsch » Englisch

Sub·sti·tu·ti·on <-, -en> [zʊpstituˈtsi̯o:n] SUBST f

Substitution SUBST f MKT-WB

Fachwortschatz

Grenzrate der Substitution SUBST f CTRL

Fachwortschatz

Grenzrate der technischen Substitution SUBST f CTRL

Fachwortschatz

Beispiele aus dem Internet (nicht von der PONS Redaktion geprüft)

[ Substitution, Übung ] 1.

Finden Sie eine Formel A, einen Term t und eine Individuenvariable x, so dass die Substitution Ax[t] erlaubt ist, Ax[t] allgemeingültig ist, aber A nicht allgemeingültig ist.

www-madlener.informatik.uni-kl.de

[ Substitution, tutorial ] 1.

Find a formula A, a term t and a variable x such that the substitution Ax[t] is allowed, Ax[t] is universally valid, but A is not universally valid.

www-madlener.informatik.uni-kl.de

Der Schlüssel zur Realisierung umfasst drei zentrale Elemente :

Energieeffizienz, erneuerbare Energien, bei deren Erforschung Konstanz führend ist ( Substitution fossiler Energieträger ) sowie eine vermehrt auf Nachhaltigkeit ausgerichtete Lebensweise ( Suffizienz ), also die bewussten Veränderungen des Lebensstils.

Dabei sollen mindestens 3 / 4 der dann noch benötigten Primärenergie durch erneuerbare Energien bereitgestellt werden.

www.fona.de

The key of realization includes three key elements :

Energy efficiency, renewable energies, on whose study Constance is a leader ( substitution of fossil fuels ) and a more sustainability-oriented lifestyle ( sufficiency ), thus the conscious lifestyle changes.

In the course of this at least 3 / 4 of the primary energy still required should be provided by renewable energy sources.

www.fona.de

Gegeben sei die Substitution σ aus Aufgabe 5.

Wenden Sie diese Substitution auf die folgenden Terme und Formeln an:

A1 ≡ (x < 3 → p (x1) ) A2 ≡ ∃ x [ x = 0 ∨ P (x3) ] A3 ≡ ∀ x [ ¬ x1 = 0 ] A4 ≡ ∀ x1 [ ¬ x1 = 0 ] → p 3. Aufgabe:

www-madlener.informatik.uni-kl.de

Let σ be the substitutionb from exercise 5.

Apply this substitution to the following formulas and terms:

A1 ≡ (x < 3 → p (x1) ) A2 ≡ ∃ x [ x = 0 ∨ P (x3) ] A3 ≡ ∀ x [ ¬ x1 = 0 ] A4 ≡ ∀ x1 [ ¬ x1 = 0 ] → p Exercise 3:

www-madlener.informatik.uni-kl.de

1.

Finden Sie eine Formel A, einen Term t und eine Individuenvariable x, so dass die Substitution Ax [ t ] erlaubt ist, Ax [ t ] allgemeingültig ist, aber A nicht allgemeingültig ist.

www-madlener.informatik.uni-kl.de

1.

Find a formula A, a term t and a variable x such that the substitution Ax [ t ] is allowed, Ax [ t ] is universally valid, but A is not universally valid.

www-madlener.informatik.uni-kl.de

Preise - Hotel Adler Balance - Adler Balance - DE

Neues Jahr - neuen Leben!Jetzt ist der beste Zeitpunkt, um Körper und Seele zu reinigen und zu regenerieren.Auf Basis der 4 Mayr-Säulen – Schonung, Säuberung, Schulung, Substitution – helfen wir Ihnen, das innere Gleichgewicht wiederherzustellen.

Sie werden sich fühlen wie neugeboren…(Detox F.X. Mayr Special 02.02.2014 - 02.03.2014)

blog.adler-guide.com

rates - Hotel Adler Balance - Adler Balance - EN

New Year - new way of life!Now ist the bes periode for holistic cleansing and regeneration for body and soul.Based on the four F.X Mayr principles - protection, cleansing, training, substitution - we help you to restore the inner balance and feel like reborn.

(Detox Special 02.02.2014 - 02.03.2014)

blog.adler-guide.com

Detox F.X. Mayr Special 02.02.2014 - 02.03.2014 - Gesundheitsurlaub in Südtirol - Adler Balance - DE Gesundheitsurlaub Südtirol

Neues Jahr - neuen Leben!Jetzt ist der beste Zeitpunkt, um Körper und Seele zu reinigen und zu regenerieren.Auf Basis der 4 Mayr-Säulen – Schonung, Säuberung, Schulung, Substitution – helfen wir Ihnen, das innere Gleichgewicht wiederherzustellen.

Sie werden sich fühlen wie neugeboren…(Detox F.X. Mayr Special 02.02.2014 - 02.03.2014)

blog.adler-guide.com

Detox Special 02.02.2014 - 02.03.2014 - Offers - Hotel Adler Balance - Adler Balance - EN

New Year - new way of life!Now ist the bes periode for holistic cleansing and regeneration for body and soul.Based on the four F.X Mayr principles - protection, cleansing, training, substitution - we help you to restore the inner balance and feel like reborn.

(Detox Special 02.02.2014 - 02.03.2014)

blog.adler-guide.com

Detox F.X. Mayr Special

Der Frühjahr ist der beste Zeitpunkt, um Körper und Seele zu reinigen und zu regenerieren.Auf Basis der 4 Mayr-Säulen – Schonung, Säuberung, Schulung, Substitution – helfen wir Ihnen, das innere Gleichgewicht wiederherzustellen. Sie werden sich fühlen wie neugeboren…n diesem Zeitraum gewähren wir Ihnen Preisnachlass von 15% auf das Gesundheitsprogramm.

7 Übernachtungen für 2 Personen

www.adler-balance.com

Detox Special

Spring is the best periode for holistic cleansing and regeneration for body and soul.Based on the four F.X Mayr principles - protection, cleansing, training, substitution - we help you to restore the inner balance and feel like reborn.In these weeks you get a 15% discount on the health programmes.

7 nights for 2 Guests

www.adler-balance.com

Mit diesem ressourcenstrategischen Ansatz wird die Wertschöpfung von Stoffen nicht nur auf allen Nutzungs- und Wirkungswegen verfolgt und analysiert, sondern die Kritikalität eines speziellen Stoffes kann an unterschiedlichen Schnittstellen der Wertschöpfungskette bewertet werden.

Damit können für die weitere Nutzung des Stoffes alternative Wege bzw. die Not­wendigkeit der Substitution dieses Stoffes aufgezeigt werden.

KonzeptStoffgeschichten_kle...

www.wzu.uni-augsburg.de

With this resource-strategic approach the net value added of materials is not only being pursued and analyzed on all paths of usage and of effect, but it also offers the possibility to evaluate the criticality of a specific material at different points of intersection in the value-added chain.

Thus, alternative ways for the further usage or the substitution of such a material can be demonstrated.

KonzeptStoffgeschichten_kle...

www.wzu.uni-augsburg.de

Zur Senkung des Alkoholverbrauchs im Walzwerk der Contirod ® -Anlage wurde eine Vielzahl von Maßnahmen durchgeführt :

Unter anderem durch partielle Substitution und Ausschluss wurde die hierfür einzusetzende Alkoholmenge im Vergleich zum Jahr 1999 um knapp 90 % verringert.

Ein wichtiger Meilenstein für Aurubis Belgium war die Erteilung einer neuen, für 20 Jahre gültigen Umweltgenehmigung für sämtliche Aktivitäten am Standort Olen im April 2009.

www.aurubis.com

A number of measures have been implemented to reduce the use of alcohol in the rolling mill of the Contirod ® plant :

the alcohol quantity utilized was decreased by nearly 90 % as compared with 1999 due to partial substitution and elimination, among other factors.

In April 2009 the issue of a new environmental permit for all environmental activities at the Olen site, which is valid for 20 years, was an important milestone for Aurubis Belgium.

www.aurubis.com

Darüber hinaus ist Semcon der passende Partner für die Methodenentwicklung, beispielsweise bei der Lösung von Fragestellungen hochdynamischer Gasströmungen in Airbags.

Mit unseren Spezialisten sind wir intensiv in der Entwicklung neuer Methoden und deren Anwendung, so etwa bei der Substitution kommerzieller Codes durch OpenFoam aktiv.

http://www.youtube.com/v/V-...

www.semcon.com

In addition, Semcon is the right partner for developing methods . An example is the study of highly dynamic flow of gases in airbags.

Our specialists are working hard to develop and apply new methods, such as the substitution of OpenFoam for commercial codes.

http://www.youtube.com/v/V-...

www.semcon.com

Möchtest du ein Wort, eine Phrase oder eine Übersetzung hinzufügen?

Sende uns gern einen neuen Eintrag.

"Substitution" in den einsprachigen Deutsch-Wörterbüchern


Seite auf Deutsch | Български | Ελληνικά | English | Español | Français | Italiano | Polski | Português | Русский | Slovenščina | Srpski | Türkçe | 中文