Bachelor-Seminar zu aktuellen Themen der Theoretischen Informatik

Seminar im SoSe 2013

Gehalten von Dr. Dominik D. Freydenberger

Aktuelles

• Hinweise zur Abgabe der Ausarbeitung sowie Termin der Vorträge ergänzt.
• Die Layout-Vorlage für die Ausarbeitung wurde aktualisiert.
• Das erste Seminartreffen zur Vorbesprechung fand am Donnerstag, den 18.04.2013, 14:15-16:00 Uhr in Raum 117 (Robert-Mayer-Str. 11-15) statt.

Einführung

Im Seminar werden aktuelle Themen der theoretischen Informatik behandelt. Das Seminar richtet sich an Studierende mit besonderem Interesse an theoretischer Informatik.
Lernziele: Kenntnis zentraler und aktueller Methoden und Verfahren der theoretischen Informatik, Einüben der Literatursuche und -analyse, sowie Präsentationstechniken, Kompetenz in Methoden der theoretischen Informatik; autodidaktische Kompetenz.

Kürzel laut Studienordnung: B-ATThI-BS.  Creditpoints: 5.  SWS: 2.

Inhalte

Im Seminar sollen aktuelle Themen im Bereiche Formale Sprachen behandelt werden. Der Schwerpunkt liegt hierbei auf neuen Modellen, die in den letzten Jahren eingeführt wurden, und auf der Anwendung der Formalen Sprachen in anderen Gebieten (z.B. Datenbanktheorie oder Bioinformatik). Das Seminar richtet sich an Studierende mit Interesse an und sehr guten Kenntnissen in theoretischer Informatik.

Hinweis: Ein Mangel an Vorkenntnissen kann gegebenenfalls durch überdurchschnittliche Leistungsbereitschaft ausgeglichen werden; ein Mangel an Interesse an theoretischer Informatik ist für dieses Seminar jedoch ein außerordentlich schlechtes Vorzeichen.
Unabhängig davon gelten die formalen Prüfungsvoraussetzungen aus der Modulbeschreibung; jeder Seminarteilnehmer muss mindestens die folgenden Voraussetzungen erfüllen:

• Erfolgreicher Abschluss der Module B-MOD und B-DS, oder
• erfolgreicher Abschluss des Moduls B-GL1, oder
• erfolgreicher Abschluss des Moduls B-GL2.

Ort und Zeit

Alle Vorträge finden am 29.07.2013 ab 10 Uhr in Raum 117 (Robert-Mayer-Str. 11-15) statt. Die genauen Termine werden noch bekanntgegeben. Bisherige Termine:

1. Donnerstag, 18.04.2013, 14:15-16:00:
   Vorbesprechung
2. "Deadline 1": bis spätestens Mittwoch, 05.06.2013, 14:15 Uhr:
   Erstes persönliches Vorgespräch: Klärung von Detailfragen zum Vortragsthema und Vorlage eines groben Konzepts zum Vortrag und zur schriftlichen Ausarbeitung des Vortragsthemas
3. "Deadline 2": bis spätestens Montag, 24.06.2013, 14:15 Uhr:
   Abgabe der schriftlichen Ausarbeitung des Vortragsthemas (Layout: wie in der Layout-Vorlage angegeben). Die Abgabe erfolgt per Email an Herrn Freydenberger.
4. "Deadline 3": bis spätestens Dienstag, 09.07.2013, 14:15 Uhr:
   Zweites persönliches Vorgespräch: Vorlage eines detaillierten Vortragskonzepts inkl. Vortragsfolien
5. Montag, 29.07.2013, ab 10:00 Uhr: Vorträge.
   Weitere Details folgen.

Unterstützung

Während der Vorlesungszeit stehen bei Dominik Freydenberger Termine zur Verfügung, während deren Seminarteilnehmer Fragen zur Literatur klären können. Falls Sie einen solchen Termin wahrnehmen wollen, melden Sie sich bitte rechtzeitig per Email an.

Einige generelle Informationen darüber, wie man gute Vorträge im Fach Informatik halten kann, finden sich hier.

Vortragsthemen

• Elena Czeizler: The non-parametrizability of the word equation xyz=zvx: A short proof. Theor. Comput. Sci. 345(2-3): 296-303 (2005)
• Narad Rampersad, Jeffrey Shallit: Detecting patterns in finite regular and context-free languages. Inf. Process. Lett. 110(3): 108-112 (2010)
• Cezar Câmpeanu, Kai Salomaa, Sheng Yu: A Formal Study Of Practical Regular Expressions. Int. J. Found. Comput. Sci. 14(6): 1007-1018 (2003)

Einführende Literatur

• J.E. Hopcroft, J.D. Ullman, Introduction to Automata Theory, Languages and Computation
• M. Lothaire, Algebraic Combinatorics on Words
• G. Rozenberg, A. Salomaa, Handbook of Formal Languages, Vol. 1
• G. Rozenberg, A. Salomaa, Handbook of Formal Languages, Vol. 2
• G. Rozenberg, A. Salomaa, Handbook of Formal Languages, Vol. 3

Verbindliche Regeln zum Bestehen des Moduls

Um das Modul zu bestehen sind nötig:

1. Einen Vortrag zu einem der oben genannten Themen zu halten (Dauer: 60 Minuten, plus 10 Minuten zur Diskussion und zur Klärung von Fragen aus dem Publikum),
2. Abgabe einer schriftlichen Ausarbeitung des Vortragsthemas (abzugeben: spätestens am 24.06.2013; Layout: wie in der Layout-Vorlage angegeben),
3. Anwesenheit bei mindestens 75% aller Vorträge und
4. Einhalten der drei oben genannten Deadlines.

Es werden eine Note für den Vortrag und eine Note für die schriftliche Ausarbeitung vergeben. Die Gesamtnote setzt sich folgendermaßen zusammen:

• Falls einer der folgenden 4 Fälle eintritt, so ist die Gesamtnote eine 5.0 und das Modul wird als "nicht bestanden" gewertet:
  1. Der Teilnehmer war an weniger als 75% der Vorträge anwesend.
  2. Der Teilnehmer erhielt für seinen Vortrag die Note 5.0.
  3. Der Teilnehmer erhielt für seine schriftliche Ausarbeitung die Note 5.0.
  4. Der Teilnehmer hat mindestens eine der drei oben genannten Deadlines nicht eingehalten.
• Falls keiner der obigen 4 Fälle eintritt, so wird ein Seminarschein erteilt bzw. das Modul wird als "bestanden" gewertet, und die Gesamtnote setzt sich zu 2/3 aus der Note für den Vortrag und zu 1/3 aus der Note für die schriftliche Ausarbeitung zusammen.