Terms of Trade ΟΥΣ πλ ΕΜΠΌΡ
PONS OpenDictΠροσθήκη λήμματος
Θέλετε να προσθέσετε μια λέξη, φράση ή μετάφραση?
Στείλτε μας ένα νέο λήμμα για το PONS OpenDict. Οι προτάσεις ελέγχονται από τη συντακτική ομάδα του PONS και στη συνέχεια περιλαμβάνονται στο PONS OpenDict.
No example sentences available
Try a different entry
Μονόγλωσσα παραδείγματα (μη ελεγχόμενα από το λεξικογραφικό τμήμα)
Für die homogenen Polynome vom Grad 2 erkennt man in der Liste unten schnell auch die Terme wieder, nur mit einem falschen Vorfaktor.
de.wikipedia.org Der Term ist kein Binom, sondern das Quadrat eines Binoms.
de.wikipedia.org Bei der üblichen Darstellung der Differentialgleichung wird die höchste Ableitung von Koeffizienten freigestellt, indem sämtliche Terme der Gleichung durch den zugehörigen Koeffizienten (hier) dividiert werden.
de.wikipedia.org Die einzelnen Terme stehen jeweils für die Absorption bzw. Emission von Photonen und damit die Änderung der Teilchenzahl in diesem Zustand.
de.wikipedia.org Dies ist aber gerade der Term, der bei der Zeitdilatation im Zähler auftritt.
de.wikipedia.org Παραδείγματα από το διαδίκτυο (μη ελεγχόμενα από το λεξικογραφικό τμήμα)
[...]
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.