en el diccionario PONS
Diccionario especializado de banca, finanzas y seguros PONS
alemán
inglés
Terms of Trade SUST. pl. COM.
Long Term Performance-Plan SUST. m INV. FIN.
inglés
alemán
Glosario especializado de geografía Klett
PONS OpenDictAgregar una entrada
¿Quieres añadir alguna palabra, frase o traducción?
Envíanos una nueva entrada para el PONS OpenDict. La redacción de PONS revisará vuestras sugerencias e incluirá los resultados en el diccionario abierto.
Ejemplos monolingües (no verificados por la redacción de 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 Ejemplos de uso procedentes de internet (no verificados por la redacción de 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.