Modulcode:	Inf-MS-Sem-Theorie
Englische Bezeichnung:	Theoretical Computer Science
Modulverantwortliche(r):	Prof. Dr. Thomas Wilke
Turnus:	unregelmäßig (SS12 WS13/14)
Präsenzzeiten:	2S
ECTS:	4
Workload:	24 Std. Präsenzseminar, 96 Std. Selbststudium
Dauer:	ein Semester
Modulkategorien:	Sem (MSc Inf)
Lehrsprache:	Deutsch
Voraussetzungen:

Kurzfassung:

Seminar zur theoretischen Informatik für Masterstudentinnen und -studenten.

Lernziele:

Der/die Student/in

• erarbeitet sich forschungsrelevante Primärliteratur in der theoretischen Informatik unter Einbeziehung geeigneter Sekundärliteratur,
• präsentiert Sachverhalte aus forschungsrelevanter Primärliteratur der theoretischen Informatik anderen Informatikstudent/inn/en,
• bereitet erarbeitete Primärliteratur schriftlich in fachgerechter Weise auf,
• diskutiert in der Gruppe über Sachverhalte der theoretischen Informatik.

Lehrinhalte:

Die ausgewählte Primarliteratur wird der theoretischen Informatik entnommen, vorrangig aus den Teilbereichen Logik in der Informatik, Kryptographie, Komplexität und Automatentheorie.

Weitere Voraussetzungen:

Mindestens ein Mastermodul aus der theoretischen Informatik.

Prüfungsleistung:

• Präsentation vor der Gruppe
• schriftliche Ausarbeitung
• Diskussion in der Gruppe

Lehr- und Lernmethoden:

Die Student/inn/en werden in der Regel individuell angeleitet.

Verwendbarkeit:

Literatur:

Verweise:

Kommentar: