Aufgabe 1 (HORNSAT). Eine Horn-Klausel ist eine Klausel, die h¨ ochstens ein positives Literal besitzt. Eine Horn-Formel ist eine Konjunktion von Horn-Klauseln.
Volltext
ÄHNLICHE DOKUMENTE
Damit ergibt sich dann wie beim Triago- nalisierungverfahren komplexer Matrizen, dass eine nilpontente Matrix zu einer strikten oberen
(b) Die Axiome eines linearen Teilraums lassen sich leicht nachrechnen. Der Teilraum ist echt,
Um eine Matrix Q mit den in der Aufgabe verlangten Eigenschaften zu bestimmen, berechnet man zu jedem Eigenwert einen Eigenvektor und normiert diesen jeweils auf Einheitsl¨ ange.
Offensichtlich ist detA = 0, denn die Summe der ersten beiden Spalten ergibt die dritte Spalte... (d) Wir wissen bereits, dass die Bilinearform aus (b) ein
Bestimmen Sie die Hauptachsen und den Typen der Quadrik.
Fachbereich Mathematik WS
Fachbereich Mathematik WS
Dabei sieht man Normalformen, die nur durch ein Vertauschen der Vektoren in der zugeh¨ origen Jordanbasis auseinander hervorgehen als gleich an.