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

Seminar Aktuelle Themen in Logik und Komplexität

Sommersemester 2026
Dozentin: Charlotte Lenz

Aktuelles

  • Der erste Termin findet in der dritten Vorlesungswoche, am Mittwoch, dem 29. April 2026, von 13:30 bis 15:00 Uhr in Raum 3.408 (Johann von Neumann-Haus) statt.
  • Das Seminar wird in Präsenz durchgeführt.

Thema

Anhand von Originalarbeiten und ergänzender Literatur werden im Seminar aktuelle Themen der Logik 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 im Masterstudiengang, die sich im Bereich Logik und Komplexität spezialisieren wollen. Die Teilnahme am Seminar setzt Kenntnisse, die in den Vorlesungen „Logik in der Informatik“ und „Logik und Komplexität“ vermittelt werden, voraus. Weitere Grundlagen, die in „Einführung in die Komplexitätstheorie“ und „Einführung in die Datenbanktheorie“ vermittelt werden, sind wünschenswert, können aber auch im Selbststudium nachgeholt werden.

Ort und Zeit

Mittwochs, 13:30-15:00 Uhr im Johann von Neumann-Haus (Rudower Chaussee 25), Raum 3.408.

Konkrete Themen und Termine

  1. Vorbesprechung, Organisatorisches: 29.04.2026