Aufgabe 1. Uberpr¨ ¨ ufen Sie mit dem Resolutionsverfahren, ob die folgenden Klauselmengen erf¨ ullbar sind.
Volltext
ÄHNLICHE DOKUMENTE
(d) Beweisen Sie, dass eine Formelmenge Φ genau dann abh¨ angig ist, wenn eine endliche Teil- menge von Φ abh¨ angig
• Wenn an einer Ampel das rote Licht leuchtet, dann leuchtet an der jeweils anderen Ampel entweder das gr¨ une oder das gelbe Licht. (b) Geben Sie (i) ein Modell Ihrer Spezifikation
* Werden Vektoren unterschiedlicher l¨ ange ¨ ubergeben, so soll eine aussagekr¨ aftige Fehlermeldung die Folge seien.. Hinweis: Die mit * gekennzeichneten Punkte
Welche der Bedingungen m¨ ussen jeweils neu gepr¨ uft werden. Besprechung in den ¨ Ubungen
Stellen Sie die zu- geh¨ orige Jacobi-Gleichung auf und geben Sie deren allgemeine L¨ osung an.. Wann ist die (strikte) Jacobi-Bedingung
Beweisen Sie: Wenn G ein zusammenh¨ angender Graph ist, dann gibt es einen Spannbaum von G, der alle Knoten enth¨ alt.
Eine Menge M von pr¨adikatenlogischen Formeln ist erf¨ullbar genau dann, wenn jede endliche Teilmenge von M erf¨ullbar ist. Beweis: Es gen¨ugt die “wenn”-Richtung
Nachts, wenn sie ruht, dehnt ein D¨ amon das Band gleichm¨ aßig so aus, dass es jedes Mal um 10m l¨ anger wird. D¨ amon und Schnecke seien unsterblich, das Band