Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Logik in der Informatik

Seminar Aktuelle Themen der Theoretischen Informatik


Aktuelles

  • Die Vorbesprechung und Themenvergabe finden in der zweiten Vorlesungswoche, am Mittwoch, den 4. Mai 2022, um 13:30-15:00 Uhr in Raum 3.408 (Johann von Neumann-Haus) statt.

Einführung

Anhand von Originalarbeiten und ergänzender Literatur werden im Seminar aktuelle Themen der Theoretischen Informatik, insbesondere der Logik, Datenbanktheorie und Komplexitätstheorie erarbeitet. Ziele sind das Kennenlernen neuer Forschungsergebnisse der Theoretischen Informatik, das Verstehen wissenschaftlicher Originaltexte, die Fähigkeit zur Einordnung der Inhalte und Beweistechniken, sowie deren Wiedergabe in eigener Darstellung in einem begrenzten Zeitrahmen.

Das Seminar richtet sich an fortgeschrittene Studierende in einem Masterstudiengang, die sich im Bereich Theoretische Informatik spezialisieren wollen. Die Teilnahme am Seminar setzt sehr gute und zumindest in einem der o.g. Bereiche auch tiefer gehende Kenntnisse der Theoretischen Informatik voraus.


Ort und Zeit

 

Zeit und Raum
mittwochs, 13:00-15:00 Uhr im Johann von Neumann-Haus (Rudower Chaussee 25), Raum 3.408

Moodlekurs

 

Benötigtes Material, Themen und Vortragstermine finden sich im zugehörigen Moodlekurs.


Spielregeln

Zum Bestehen des Moduls sind nötig:

  1. Rechtzeitige Vereinbarung und Wahrnehmung eines Sprechstundentermins, der mindestens 1 Woche vor dem eigenen Seminarvortrag stattfindet und während dem ein detailliertes Vortragskonzept inkl. Vortragsfolien/Tafellayout vorgelegt wird,
  2. einen Vortrag zu einem der oben genannten Themen zu halten (Dauer: max. 60 Minuten, plus 10 Minuten zur Diskussion und zur Klärung von Fragen aus dem Publikum),
  3. Anwesenheit an mind. 75% aller Vorträge und
  4. Abgabe einer schriftlichen Ausarbeitung des Vortragsthemas: Länge ca 5 Seiten (mindestens 4, maximal 7), Layout wie in der Layout-Vorlage angegeben, Deadline: Ende der Vorlesungszeit des Sommersemesters 2022 als pdf-Datei per Email zu senden an Dr. André Frochaux.

Last modified: 12.04.2022
André Frochaux