немски
английски
Long Term Performance-Plan СЪЩ м INV-FIN
английски
немски
PONS OpenDictДобави предложение
Искаш ли да добавиш дума, фраза или превод?
Изпрати ни ново предложение за PONS OpenDict. Предложенията се преглеждат от редакционния екип на PONS и след това се включват в PONS OpenDict.
едноезични примери (не са проверени от PONS редакцията)
Alle Terme für die Zeilen (im vorliegenden Beispiel 10 Zeilen) werden durch „∧“ verbunden, die Literale selber werden durch „∨“ verbunden.
de.wikipedia.org Mehrfach spielte er dabei auch mit Termen zusammen.
de.wikipedia.org Den zweiten Term auf der rechten Seite dieser Gleichung bezeichnet man auch als Zentrifugalpotential oder Drehimpulsbarriere.
de.wikipedia.org Hat man zwei Terme als gleich erkannt, lassen sich durch Differentiation daraus weitere (gesuchte) Identitäten gewinnen.
de.wikipedia.org Der linke Term stellt wieder die Verzögerung der Leitung dar, während der rechte Term eine Dämpfung der Welle repräsentiert, welche jedoch deren Form nicht verändert.
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.