Untersuchung von in der Praxis auftretenden Problemen und Lösungsverfahren, die im Zusammenhang mit intelligenten Systemen stehen, mittels Methoden der Komplexitätstheorie. Entwurf effizienter Algorithmen ausgehend von der Analyse der Komplexität von Problemen anhand von Fallbeispielen intelligenter Systeme.
ECTS breakdown: 3 ECTS = 75 Hours
- Lecture presentation 0.5h
- Lecture 17.5h
- Further reading 25h
- Discussion of the exercises 1.5h
- Solving the exercises 30h
- Oral exam (if applicable) 0.5h
Blockveranstaltung. Geplante Termine: Freitag vormittags, 9:00 (pktl) -12.30, Ende März-Juni
Erster Termin: Freitag, 31.3. 2017
Grundkenntnisse aus theoretischer Informatik (Turingmaschinen-Modell, Algorithmen, Berechnung) und Logik (BoolescheLogik)