ACHTUNG: geändertes Datum und Zeit für Vorbesprechung!
Ziel dieser LVA ist es, Studierende mit neuen Entwicklungen auf dem Gebiet der diskreten Algorithmen und Komplexitätstheorie und deren Anwendung auf verschiedene Gebiete des automatischen Schließens vertraut zu machen. Einen Schwerpunkt bilden Anwendungen von Methoden der Parametrisierten Komplexität.
Das didaktische Vorgehen bei dieser LVA basiert auf einer Kombination von Vorlesungsteil und Übungsteil. Im Vorlesungsteil werden die Konzepte vom Vortragenden vorgestellt und mit den Studierenden diskutiert. Im Übungsteil bearbeiten die Studierenden selbständig Lese- und Übungsmaterial und präsentieren ihre Ergebnisse. Grundwissen in Komplexitätstheorie wird vorausgesetzt.
Einführung und erste Vorlesung finden am Dienstag 25 März 2014 um 17:00 (pünktlich) im Seminarraum Gödel statt.
Neue Konzepte und Methoden auf dem Gebiet der diskreten Algorithmen und Komplexitätstheorie und deren Anwendung auf verschiedene Gebiete des automatischen Schließens, z.B. Erfüllbarkeit, Constraints, nichtmonotones Schließen, Bayes'sches Lernen und Schließen. Einen Schwerpunkt bilden Anwendungen von Methoden der Parametrisierten Komplexität, z.B. beschränkte Suchbäume, Zerlegungen, Reduktionen zum Problemkern und parametrisierte Problemschwere.
Die LVA benötigt ein Grundwissen der Komplexitätstheorie, deshalb wird mindestens eine der folgenden LVAs oder eine äquivalente LVA vorausgesetzt.
185.291 4.0 VU Formal Methods in Computer Science
181.142 2.0 VU Complexity Theory
184.215 2.0 VU Complexity Analysis
Von Vorteil sind die folgenden LVAs:
184.090 2.0 VU SAT Solving
184.143 2.0 VL Logic-oriented Programming
184.176 1.0 LU Introduction to Knowledge-based Systems
186.145 2.0 VU Algorithms on Graphs