Modulcode:	Inf-MS-Sem-TIKALK
Englische Bezeichnung:
Modulverantwortliche(r):	Prof. Dr. Thomas Wilke
Turnus:	unregelmäßig (SS14 SS15)
Präsenzzeiten:	2S
ECTS:	4
Workload:	24 Std. Präsenz im Seminar, 96 Std. Selbststudium
Dauer:	ein Semester
Modulkategorien:	Sem (MSc Inf)
Lehrsprache:	Deutsch
Voraussetzungen:

Kurzfassung:

In diesem Seminar werden ausgewählte Themen der theoretischen Informatik behandelt, insbesondere aus den Bereichen Kryptographie, Automaten, Logik und Komplexitätstheorie.

Lernziele:

• Selbstständiges Erarbeiten von (auch englischer Fachliteratur)
• Präsentation eines selbst erarbeiteten Vortrages
• Erstellen einer schriftlichen Ausarbeitung
• Diskussionen über die behandelten Themen in der Gruppe

Lehrinhalte:

Die einzelnen Themen werden in Absprachen mit den Teilnehmern gewählt. Mögliche Gebiete sind:

• Formale Sicherheitsdefinitionen und Verifikation von kryptographischen Protokollen
• Automaten auf unendlichen Wörtern
• Komplexität von Problemen aus der Logik, insbesondere Erfüllbarkeit und Modelchecking

Weitere Voraussetzungen:

Prüfungsleistung:

Siehe Fachprüfungsordnung.

Lehr- und Lernmethoden:

Vortrag und Ausarbeitung werden selbstständig erarbeitet, die Mitarbeiter der AG Theoretische Informatik stehen als Ansprechpartner zur Verfügung.

Verwendbarkeit:

Literatur:

Verweise:

Kommentar: