SS 2012 17. April 2012 Blatt 2
Volltext
ÄHNLICHE DOKUMENTE
a) Geben Sie ein möglichst schnelles Verfahren an, das für eine gegebene Formel in DNF entscheidet, ob sie erfüllbar ist oder nicht... b) In Präsenzaufgabe 1.3 haben Sie gesehen,
Mai 2012 Präsenzübungen zur Vorlesung Logik..
Zeigen Sie, dass man mit Hilfe dieses Orakels effizient eine Signatur von m berechnen
Die Existenz wie vieler solcher k-Tupel erwarten wir. Zeigen Sie, dass, wenn |L 1
Hinweis: Sie sollten zur L¨ osung dieser Aufgabe einen Algorithmus angeben und dessen Lauf- zeit analysieren. Es ist Ihnen ¨ uberlassen, ob Sie dazu DTMs oder geeigneten
(d) Beweisen oder widerlegen Sie, dass die folgenden Formeln äquivalent sind zu einer
eine zunehmende unendliche Mengenfolge von
Im Fall, dass die Klasse nicht (endlich) FO-axiomatisierbar ist, beweisen Sie dies mit Hilfe einer Methode Ihrer Wahl.. (a) Die Klasse der zu ( R , +, ·)