Überlebensstrategien für die Prüfung aus "Logik und Grundlagen":
-
Verständnis ist mir wichtig. Konzepte sind wichtig. Details sind weniger
wichtig. Namen sind gar nicht wichtig. (Wenn Sie sich nicht
merken können, welches die konjunktive und welches die disjunktive
Normalform ist, ist mir das egal. )
- Formale Beweise frage ich nur ganz selten. (Und wenn, dann nur kurze.)
- Ganze Beweise möchte ich nur selten hören, meistens frage ich nach dem
wesentlichen Punkt in einem Beweis, z.B. "Wo verwenden wir, dass diese
Theorie vollständig ist?"
-
Das wichtigste Thema der Vorlesung (meiner Meinung nach)
ist der Vollständigkeitssatz.
- Das wichtigste in der Vorlesung vorgestellte
Konzept ist die "Erfüllungsrelation" ("das Modell M erfüllt die Formel phi",
oder "die Formel phi gilt im Modell M [unter der Belegung b]")
Wenn Sie die Frage
Finden Sie ein Modell, in dem die Formel
"für alle x,y: R(x,y) oder R(y,x)"
gilt,
nicht ohne Zögern beantworten können, dann sollten Sie Ihren
Prüfungsantritt vielleicht noch ein bisschen verschieben.
Martin Goldstern
Zurück zu den Skripten