Seminar: Dependency Quantified Boolean Formulas - Sommersemester 2015

Übersicht

Beschreibung

In diesem Seminar werden wir quantifizierte Boolesche Formeln (QBF) und ihre Verallgemeinerung zu abhängigkeitsquantifizierten Booleschen Formeln (DQBF) betrachten. In den letzten Jahren wurden erfolgreich Werkzeuge entwickelt, die es gestatten, QBF mit Tausenden von Variablen und Klauseln effizient zu lösen. Dies ermöglicht es, QBF in diversen praktisch relevanten Anwendungen einzusetzen. Diese reichen von der Verifikation von digitalen Systemen über die Synthese sicherer Controller bis hin zu Planungsproblemen der künstlichen Intelligenz.

Die Seminarteilnehmer wählen sich ein Spezialgebiet aus Themenbereich des Seminars aus, in das sie sich im Laufe des Semesters anhand von aktueller Literatur und unter Betreuung eines Lehrstuhlmitarbeiters einarbeiten werden. Am Ende des Semesters wird von ihnen eine zusammenfassende schriftliche Ausarbeitung (ca. 6 Seiten) erstellt, an welcher das Recherchieren und Verfassen wissenschaftlicher Texte gelernt wird. Darüber hinaus wird an einem abschließenden Block-Termin ein Vortrag über das zu bearbeitende Thema gehalten, für welchen eine Präsentation vorzubereiten ist. Dieser Block-Termin verschafft allen Teilnehmern einen umfassenden Überlick über die gesamte Seminar-Thematik.

Kommentar

Sprache: deutsch

Lernziele: Das Seminar bietet den Studierenden die Möglichkeit sich in ein spezielles Themengebiet der Informatik tiefer einzuarbeiten. Der Studierende soll lernen, eigenständig wissenschaftliche Literatur effektiv zu recherchieren und zu strukturieren. Der Studierende soll lernen, im Rahmen einer Ausarbeitung kurze wissenschaftliche Texte zu schreiben und/oder seine Arbeit im Vortrag zu präsentieren.

Die Prüfung besteht aus einer Seminarausarbeitung und einem Seminarvortrag. Als Studienleistung wird die aktive und regelmäßige Teilnahme an der Veranstaltung verlangt.

Einzuplandender Arbeitsaufwand laut Modulhandbuch: 120 Stunden
(4 ECTS-Punkte)

Die Vorbesprechung findet am Do 23.04.2015 um 11 Uhr im Raum 051.00.026 statt.