184.684 Discrete Reasoning Methods
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2014S, VU, 2.0h, 3.0EC, wird geblockt abgehalten

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung

Ziele der Lehrveranstaltung

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. 




Inhalt der Lehrveranstaltung

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.

 

Weitere Informationen

Die LVA wird geblockt abgehalten. Nähere Informationen und genaue Termine werden bei der Vorbesprechung bekanntgegeben.

 

 

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Di.14:00 - 16:0018.03.2014 - 24.06.2014Seminarraum FAV EG C (Seminarraum Gödel) Discrete Reasoning Methods
Di.16:00 - 18:0008.04.2014Seminarraum FAV EG C (Seminarraum Gödel) Discrete Reasoning Methods
Di.16:00 - 17:0015.04.2014Seminarraum FAV EG C (Seminarraum Gödel) Discrete Reasoning Methods
Do.14:00 - 17:0017.04.2014Seminarraum FAV EG C (Seminarraum Gödel) Discrete Reasoning Methods
Fr.09:00 - 12:0018.04.2014Seminarraum FAV EG C (Seminarraum Gödel) Discrete Reasoning Methods
Di.16:00 - 18:0006.05.2014Seminarraum FAV EG C (Seminarraum Gödel) Discrete Reasoning Methods
Discrete Reasoning Methods - Einzeltermine
TagDatumZeitOrtBeschreibung
Di.18.03.201414:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Discrete Reasoning Methods
Di.25.03.201414:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Discrete Reasoning Methods
Di.01.04.201414:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Discrete Reasoning Methods
Di.08.04.201414:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Discrete Reasoning Methods
Di.08.04.201416:00 - 18:00Seminarraum FAV EG C (Seminarraum Gödel) Discrete Reasoning Methods
Di.15.04.201414:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Discrete Reasoning Methods
Di.15.04.201416:00 - 17:00Seminarraum FAV EG C (Seminarraum Gödel) Discrete Reasoning Methods
Do.17.04.201414:00 - 17:00Seminarraum FAV EG C (Seminarraum Gödel) Discrete Reasoning Methods
Fr.18.04.201409:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Discrete Reasoning Methods
Di.22.04.201414:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Discrete Reasoning Methods
Di.29.04.201414:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Discrete Reasoning Methods
Di.06.05.201414:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Discrete Reasoning Methods
Di.06.05.201416:00 - 18:00Seminarraum FAV EG C (Seminarraum Gödel) Discrete Reasoning Methods
Di.13.05.201414:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Discrete Reasoning Methods
Di.20.05.201414:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Discrete Reasoning Methods
Di.27.05.201414:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Discrete Reasoning Methods
Di.03.06.201414:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Discrete Reasoning Methods
Di.10.06.201414:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Discrete Reasoning Methods
Di.17.06.201414:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Discrete Reasoning Methods
Di.24.06.201414:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Discrete Reasoning Methods
LVA wird geblockt abgehalten

LVA-Anmeldung

Von Bis Abmeldung bis
24.02.2014 00:00 26.03.2014 23:59 31.03.2014 22:00

Curricula

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorkenntnisse

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

 

Sprache

Englisch