в PONS речника
"Банково дело, финанси, застрахователно дело"
немски
английски
Terms of Trade СЪЩ мн ТЪРГ
Long Term Performance-Plan СЪЩ м INV-FIN
английски
немски
"География"
PONS OpenDictДобави предложение
Искаш ли да добавиш дума, фраза или превод?
Изпрати ни ново предложение за PONS OpenDict. Предложенията се преглеждат от редакционния екип на PONS и след това се включват в PONS OpenDict.
едноезични примери (не са проверени от PONS редакцията)
Sie lassen sich einfacher untersuchen, da auftretende Terme sich leichter umformen lassen und es in gewissem Sinne einfache Darstellungen gibt.
de.wikipedia.org Für jeden der 6 Zahlenwerte lassen sich daher zeitabhängige Terme bestimmen, welche die Veränderung der Elemente charakterisieren.
de.wikipedia.org Der nächsthöhere Term ist das Quadrupolmoment, dessen Feld mit abnimmt.
de.wikipedia.org Daher werden die Bahnelemente als eine Reihe oskulierender Terme bezüglich einer Epoche angegeben, also als zu einem bestimmten Zeitpunkt gültige Näherungslösung.
de.wikipedia.org Der zweite Term bedeutet, dass der Strömung durch die Wirkfläche 8/9 ihrer Energie entzogen wird.
de.wikipedia.org Примери от интернет (не са проверени от PONS редакцията)
[...]
www-madlener.informatik.uni-kl.de 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.
[...]
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 Geben Sie eine Sprache der Prädikatenlogik an, so dass jeder Term eine boolesche Formel repräsentiert.
[...][...]
Find a suitable language of predicate logic, s.t. every term represents a boolean formula.
[...][...]
www-madlener.informatik.uni-kl.de Wenden Sie diese Substitution auf die folgenden Terme und Formeln an:
[...][...]
Apply this substitution to the following formulas and terms:
[...][...]
www-madlener.informatik.uni-kl.de D.h. sind zwei Terme t1 und t2 äquivalent im Sinne der Aussagenlogik und erfüllt eine Interpretation I Ihre Axiome, dann soll I ( t1 ) = I ( t2 ) gelten.
[...][...]
I.e. if two terms t1 and t2 are equivalent in propositional logic and if an interpretation I satisfies your axioms, then I ( t1 ) = I ( t2 ) must hold.
[...][...]
www-madlener.informatik.uni-kl.de 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.
[...]
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.