Ich dachte ich mach mal parallel zu dem Hass-Thread einen, in dem es nur um das Gedächtnisprotokoll geht.


Ich war mal so frei die Gliederung von vinny zu kopieren

1. Definition von |= 10 p
2. Tautologie + Kontingent… 4 p
3. Resolution 11 p
4. Induktion 6 p
5. Prädikatenlogik, zeigen dass F |=/= G 6 p?
7. Unifikator finden 8 p (bei mir waren alle 3 nicht unifizierbar)
8. DFA konstruieren 6 p?
9. Potenzautomat konstruieren 6p?
10. Pumpinglemma ka
11. Grammatiken ka
12. Komlexität 7p


Und das ist das, was ich jetzt noch so dazu schreiben konnte (ergänzt mit den Beiträgen aus diesem Thread)

1. Erklären Sie die verschiedenen Bedeutungen des |= Zeichens und erklären Sie auch den Zusammenhang zwischen den Bedeutungen.

F, G sind Aussagenlogische Formeln
M ist eine Formelmenge
A ist eine Belegung

(i) A |= F
(ii) F |= G
(iii) M |= G
(iv) |= F
(v) G |=

2. F und G sind Aussagenlogische Formeln

Was kann F sein, wenn folgendes gilt: <Eigenschaften von G oder G => F oder was auch immer>
[ ] kontigent [ ] gültig [ ] unerfüllbar

4 Fragen der Art zum ankreuzen.

3. M = <irgendsone Formelmenge>
G = <irgendsone Formel>

Zeigen Sie mittels Resolution, dass M |= G nicht gilt und erklären Sie, wie man dafür überhaupt Resolution anwenden kann.

4. Es war eine rekursive Definition für die Tiefe einer Formel gegeben.

1. Geben Sie eine rekursive Definition für den Grad an (war anders (bekloppt) formuliert)

2. zeigen sie mittels Induktion, dass [img]http://mokrates.de/cgi-bin/texstring?{tiefe(F)}\le{grad(F)}%3C2^{tiefe(F)}[/img] gilt
mit dem Hinweis: wenn a < b dann 1 + 2 * a < 1 + […] b

5. Es waren zwei PL-Formeln F und G gegeben

F = For_all x ( P(x) => Q(x))
G = Q(x) and For_all x P(x)

zeigen Sie das F |= G nicht gilt und konstruieren Sie dazu eine Struktur (A = (U,I)) und werten die Formeln nach der Struktur aus

6. Pumping-Lemma für REG

es gab eine formale definition des uvw-theorems. so zwei zeilen formel.
und dann fragen wie
"wieso kann man die existenz der natürlichen zahl n annehmen?"
"warum gilt |uv| <= n und |v| > 0?"
"wieso sind wörter uv^iw für alle i in der sprache?"

7. Unifizieren

3 Formelmengen (2 mit 3 Formeln und eine mit 2 Formeln) waren gegeben.

Geben Sie an, ob man unifizieren kann. [ ] ja [ ] nein zum ankreuzen.
Begründen Sie! Bei ja: mit dem allgemeinsten Unifikator, bei nein: anders

8-12 weiß ich nicht mehr so detailiert… da waren so viele zwischenaufgaben

4.2. zeigen sie mittels Induktion, dass Tiefe <= Grad <= <hab ich vergessen> gilt

sowas wie [img]http://mokrates.de/cgi-bin/texstring?2^{tiefe(F)}[/img]
mit einem hinweis wenn a < b dann 1 + 2 * a < 1 + […] b
mit dem ich allerdings nichts anfangen konnte
[edit]
ach so: und ausserdem < nicht <=
[/edit]

5. Es waren zwei PL-Formeln F und G gegeben

F = For_all x ( P(x) => Q(x))

G = Q(x) and For_all x P(x)

es gab auch noch eine formale definition des uvw-theorems. so zwei zeilen formel.
und dann fragen wie
"wieso kann man die existenz der natürlichen zahl n annehmen?"
"warum gilt |uv| <= n und |v| > 0?"
"wieso sind wörter uv^iw für alle i in der sprache?"