Logic and
Theory of
Discrete Systems

Informatik 7

Aktuelle Themen der Theoretischen Informatik

Seminar im Sommersemester 2016

Inhalt

In diesem forschungsorientierten Seminar erarbeiten wir uns wichtige aktuelle Arbeiten aus allen Bereichen der theoretischen Informatik (Logik, Algorithmik, Komplexitätstheorie, etc.) erarbeiten.

Voraussetzungen und Anforderungen

  • Das Seminar richtet sich an Masterstudenten mit einem klaren Interesse in Richtung theoretischer Informatik und guten Vorkenntnissen in diesem Bereich.
  • Die Teilnehmenden des Seminars erstellen jeweils eine 5-seitige Ausarbeitung und halten einen 45-60-minütigen Vortrag. Das Thema wird mit Hilfe von Originalliteratur erarbeitet.

Organisatorisches

Themen und Literatur

Wird in der Vorbesprechung bekanntgegeben.