στο λεξικό PONS
γερμανικά
αγγλικά
Term <-s, -e> [tɛrm] ΟΥΣ αρσ ΜΑΘ
- Term
- term
Τραπεζική, χρηματική και ασφαλιστική ορολογία PONS
γερμανικά
αγγλικά
Forward Term Premium ΟΥΣ ουδ ΧΡΗΜΑΤΑΓ
Long Term Performance-Plan ΟΥΣ αρσ ΕΠΈΝΔ-ΧΡΗΜ
Medium Term Notes-Programm ΟΥΣ ουδ ΕΠΈΝΔ-ΧΡΗΜ
αγγλικά
γερμανικά
PONS OpenDict
Θέλετε να προσθέσετε μια λέξη, φράση ή μετάφραση?
Στείλτε μας ένα νέο λήμμα για το PONS OpenDict. Οι προτάσεις ελέγχονται από τη συντακτική ομάδα του PONS και στη συνέχεια περιλαμβάνονται στο PONS OpenDict.
Δεν υπάρχουν παραδειγματικές προτάσεις.
Δοκιμάστε ένα άλλο λήμμα.
Μονόγλωσσα παραδείγματα (μη ελεγχόμενα από το λεξικογραφικό τμήμα)
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 Παραδείγματα από το διαδίκτυο (μη ελεγχόμενα από το λεξικογραφικό τμήμα)
[...]
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.