Inhaltsverzeichnis

Allgemeines

Als Warnung vorneweg: Der Folgende Braindump ist nicht “klassisch”, denn er gibt nicht den Prüfungsverlauf wieder. Stattdessen sind die Fragen aufgelistet, die im jeweiligen Themenbereich beantwortet werden mussten. (Grund: Im Gespräch hat es sich ergeben, dass manchmal der Themenbereich gewechselt wurde.) Zusätzlich sind nicht nur Fragen aus meiner Prüfung enthalten, sondern auch die eines Kommilitonen. Als Zusatz habe ich außerdem die Fragen aufgeführt, auf die ich vorbereitet gewesen wäre. Das betrifft hauptsächlich Fragen aus anderen Braindumps sowie Themen aus der Vorlesung, die klausurrelevant gewirkt haben. Häufig lässt sich das nicht ganz scharf trenne, weswegen so viele Fragen im Prüfungsteil sind.

Grundsätzlich sollte man die Zusammenhänge verstehen und erklären können. Insbesondere Komplexität, Entscheidbarkeit und Ausdrucksstärke der behandelten Logiken sollten verstanden sein. Beweise wurden zwar keine abgefragt, aber man muss für die wichtigsten Themen erklären können, was die Ideen und Abläufe sind. Ab und zu wurden auch (spontane?) Transferfragen gestellt. Da musste ich nicht sofort eine Antwort wissen, sondern konnte mich (zum Teil mit Hilfestellungen) zur richtigen Lösung vorarbeiten.

Aussagenlogik

Prüfungsfragen

Weitere Fragen

FOL

Prüfungsfragen

Weitere Fragen

Beschreibungslogik

Prüfungsfragen

Wurde nicht abgefragt

Weitere Fragen

Modallogik

Prüfungsfragen

Weitere Fragen

EL

Prüfungsfragen

Weitere Fragen