Hinweise zur Prüfung aus "Logik und Grundlagen":

• Verständnis ist 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. Wenn Sie Resolution auf die DNF anwenden wollen -- egal unter welchem Namen -- ist das falsch.)
• Das wichtigste Thema der Vorlesung (meiner Meinung nach) war 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 zum Beispiel 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 noch ein bisschen verschieben.
• Gelegentlich frage ich nach einfachen formalen Beweisen. Öfter aber möchte ich nur das Axiom oder die Regel sehen, die an entscheidender Stelle im Beweis eingesetzt wird. (Hinweis: Meistens ein Substitutionsaxiom, oder die Einführung des Existenzquantors.)
  Ebenso interessiert mich bei einem Resolutionsbeweis vor allem, welche Substitution verwendet wird.
• Öfters bitte ich Sie, ein ZFC-Axiom formell anzuschreiben und informell zu erklären; gerne frage ich dann auch, ob dieses Axiom in den natürlichen Zahlen (oder einer anderen von mir vorgegebenen Struktur) erfüllt ist.

Martin Goldstern, Juni 2010