Hasso-Plattner-Institut
Prof. Dr. Tobias Friedrich
 

Theoretische Informatik unplugged

BSc Lecture - Winter 2023

Beschreibung

Die Vorlesungen Theoretische Informatik I und Theoretische Informatik II geben einen Überblick über viele wichtige Themen der theoretischen Informatik. Doch ist es unmöglich, in zwei Vorlesungen die ganze Vielfalt der theoretischen Informatik aufzuzeigen. Ziel von Theoretischen Informatik Unplugged ist es daher, begleitend zu Theoretische Informatik I noch weitere Themen der theoretischen Informatik zu beleuchten, um die die Behandlung des Themengebiets zu vertiefen und auch zu verbreitern. Diese Vorlesung ist speziell für Studierende gedacht, die sich für theoretische Informatik interessieren und noch einen tieferen Einblick erhalten möchten.

Inhaltlich orientieren wir uns grob an Theoretische Informatik I, d.h. im ersten Teil werden wir über Berechnungsmodelle, z.B. Turing Maschinen, sprechen, während wir im zweiten Teil eher algorithmische Themen behandeln. Neben der Vertiefung der Themen aus TI1, werden wir wichtige Teilgebiete der theoretischen Informatik, wie zum Beispiel Algorithmische Spieltheorie, Approximationsalgorithmen, Computational Geometry, Datenstrukturen, Komplexitätstheorie, Randomisierte Algorithmen und Online-Algorithmen, an ausgewählten Beispielen kennenlernen. 

Voraussetzungen

Für den Kurs setzen wir Kenntnisse aus Mathematik I und Mathematik II voraus. Wichtig ist, dass ein Umgang mit formaler matematischer Notation bekannt ist. Die Vorlesung ist als Begleitung zu Theoretische Informatik I gedacht, kann aber auch gehört werden, wenn die Inhalte aus TI1 und TI2 schon bekannt sind.

Organisation

Wir treffen uns wöchentlich immer freitags um 11 Uhr im HS. Beginn in der zweiten Vorlesungswoche, am 27.10.23.

In der Vorlesung werden wir problemorientiert und zum Teil interaktiv arbeiten. Um dies zu erreichen, werden Vorlesungs- und Übungstermine je nach Bedarf gemischt.

Lehr- und Lernform

In der Vorlesung werden wir interaktiv an Konzepten und Problemen aus der theoretischen Informatik arbeiten. Das ganze passiert unplugged - also an der Tafel.

Es wird wöchentlich ein Übungsblatt geben, welches dann im Vorlesungstermin besprochen wird.

Leistungserfassung

Voraussetzung für die Prüfung ist die erfolgreiche Bearbeitung der Übungsserie. Mindestens 50% der Gesamtpunktzahl aus den Übungsserien ist notwendig, um an der Prüfung teilnehmen zu dürfen.

Vorlesungsteam

Die Vorlesung wird veranstaltet vom Fachgebiet Algorithm Engineering. An der Durchführung sind die folgenden Personen beteiligt:

Dr. Pascal Lenzner

Dozent

Chair for
Algorithm Engineering
Hasso Plattner Institute

Office: K-2.17
Tel.: +49 331 5509-418

E-Mail: Pascal.Lenzner(at)hpi.de

Jonas Schmidt

Tutor

Übung: Fermat
Raum:
Termin: Dienstags, 15:15

E-Mail: Jonas.Schmidt(at)student.hpi.de