Beispiele aus dem Internet (nicht von der PONS Redaktion geprüft)

Prädikatenlogische Resolution Seien a, b, c und d Konstanten.

Seien xi und yi Variablen.

Beweist die Unerfüllbarkeit der folgenden Klauselmenge (siehe auch Aufgabe 12, Blatt 6) mittels prädikatenlogischer Resolution nach Robinson:

www.is.inf.uni-due.de

Given are constants a, b, c and d.

Let xi and yi be variables.

Prove that the following set of clauses is unsatisfiable (unrealizable) (see also problem 12, sheet 6) using the Robinson method for resolution in predicate logic:

www.is.inf.uni-due.de

beidhändiges Tuishou ohne Schritte - shuang shou dim bu tui shou Dies ist der traditionelle Weg des Tuishou im festen Stand, bei dem beide Hände zum Einsatz kommen

Tuishou mit festen Schritten - huo bu tuishou oder jing yi tui yi Eine Variation der stehenden Übung mit vorgegebenen Schritten.

Das große Ziehen - da lu huo bu tuishou in sehr tiefer Stellung und mit weiten Schritten.

shujian.at

double hand Tuishou without steps - shuang shou ding bu tui shou this is the traditional way of tuishou with both hands and without steps

Tuishou with fixed steps - huo bu tuishou oder jing yi tui yi a variation of the double hand exercise with a forward and backward step

big pull back - da lu huo bu tuishou in very low position

shujian.at

lnKi

natürlicher Logarithmus des K-Faktors der Komponente i, Ki = yi/xi

β

www.thermo.rub.de

ln Ki

Logarithm of the K-factor of component i, Ki = yi/xi

β

www.thermo.rub.de

Möchtest du ein Wort, eine Phrase oder eine Übersetzung hinzufügen?

Sende uns gern einen neuen Eintrag.

Seite auf Deutsch | Български | Ελληνικά | English | Español | Français | Italiano | Polski | Português | Русский | Slovenščina | Srpski | Türkçe | 中文