SS 2012 6.6.2012 Präsenzübungen zur Vorlesung Logik Blatt 4 Jun.-Prof. Dr. Roland Meyer Bearbeitung am 8./11.6.2012
1
0
0
Volltext
ÄHNLICHE DOKUMENTE
Jun.-Prof. Roland Meyer Bearbeitung am 20./21. Hierbei soll jedes Vorkommen einer Variablen durch die gleiche atomare Formel ersetzt werden. , y n qu erfüllbarkeitsäquivalent ist zu
Hinweis: Sie haben also gezeigt, dass Vollständigkeit einer Theorie bedeutet, dass sich diese nicht auf sich widersprechende Weisen konsistent
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,
Eine Menge M heißt rekursiv aufzählbar, wenn es einen Algorithmus gibt, der eine (mög- licherweise unendliche) Sequenz ausgibt, für die gilt: ein Element kommt genau dann in der
Mai 2012 Präsenzübungen zur Vorlesung Logik..
[r]
Das Ballspiel nach Smullyan wird von einer Person gespielt und verläuft nach fol- genden Regeln: Es steht ein Behältnis zur Verfügung, das unbegrenzt viele Bälle fassen kann..
in einer Datenbank) modelliert wer- den können. Es soll dabei die Möglichkeit bestehen, dass zu gewissen Personen nur ein Teil der Angaben vorliegen. Spezifizieren Sie
