Anhand von Originalarbeiten und ergänzender Literatur werden im Seminar aktuelle Themen im Bereich Logik und Datenbanktheorie erarbeitet.
Ziele sind das Kennenlernen neuer Forschungsergebnisse, das Verstehen wissenschaftlicher Originaltexte, die Fähigkeit zur Einordnung der Inhalte und Beweistechniken, sowie deren Wiedergabe in eigener Darstellung in einem begrenzten Zeitrahmen.
Das Seminar richtet sich an fortgeschrittene Studierende in einem Master- oder Diplomstudiengang, die sich im Bereich Logik und Datenbanktheorie spezialisieren wollen. Die Teilnahme am Seminar setzt Kenntnisse, die in den Vorlesungen "Logik in der Informatik" und "Einführung in die Datenbanktheorie" vermittelt werden, voraus. |