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.deGiven 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.deZur Vereinfachung der Lösung können „ sinnvolle “ Einschränkungen oder Erweiterungen der obigen Grammatik vorgenommen werden, beispielsweise kann man fordern, dass jeder Befehl markiert ist, wobei die Marke eine natürliche Zahl ist.
Ein möglicher Ansatz ist es, Befehle als Konstanten (z.B. ci0 ≡ xi← 0, cij ≡ xi←xj , c′ij ≡ xi←xj + 1) und Programme als Listen von Befehlen darzustellen.
Untersuchen Sie, inwieweit Sie mit ihrem System „Sonderfälle“, wie z.B. Sprünge in oder aus Schleifen etc. behandeln können.
www-madlener.informatik.uni-kl.deTo make it simpler, sensible restrictions or extensions of the grammar above may be assumed, e.g. every command is marked, the marks are natural numbers.
One possible approach is representing commands as constants (e.g. ci0 ≡ xi← 0, cij ≡ xi←xj , c′ij ≡ xi←xj + 1) and programs as lists of commands.
Examine special cases like jumping out of and into loops.
www-madlener.informatik.uni-kl.de( gik, l + gli, k − gkl, i )
bei einer Koordinatentransformation xi ′ ( xa ).Das Resultat zeigt, daß sie keinen Tensor bilden.
Aufgabe 6 ( 4 Punkte ):
www.thp.uni-koeln.de( gik, l + gli, k − gkl, i )
under a coordinate transformation xi ′ ( xa ) The result shows that they do not form a tensor.
Exercise 6 ( 4 points ):
www.thp.uni-koeln.deWould you like to add a word, a phrase or a translation?
Submit a new entry.