Aufgabe 1. Beweisen oder widerlegen Sie:
Volltext
ÄHNLICHE DOKUMENTE
(20%) Zeigen Sie, dass das Postsche Korrespondenzproblem ¨uber dem einelementigen Alphabet Σ = {a} entscheidbar
Aufgabe (10 Punkte) In dieser Aufgabe m¨ ussen Sie Ihre Antwort nicht begr¨ unden.. Kreuzen Sie je- weils die richtige L¨
Fachbereich Mathematik und Statistik Prof.
Fachbereich Mathematik und Statistik Prof..
(d) Beweisen oder widerlegen Sie, dass die folgenden Formeln äquivalent sind zu einer
(d) Beweisen oder widerlegen Sie, dass die folgenden Formeln äquivalent sind zu einer Horn- Formel. Hinweis: Führen Sie einen Induktionsbeweis über die Anzahl der Aussagenvariablen,
(b) Zeigen Sie, dass jede Erweiterung von F um eine nicht-monotone Boolesche Funktion, eine funktional vollständige Menge liefert. Hinweis: Drücken Sie mit Hilfe einer solchen
Zeigen Sie, dass Φ nicht endlich axiomatisierbar