Hasso-Plattner-Institut
Prof. Dr. Tobias Friedrich
 

Theoretische Informatik 2

BSc Lecture - Summer 2016

Beschreibung

Die Vorlesung Theoretische Informatik 2 ist ein Pflichtmodul im 4. Semester und setzt die Theoretische Informatik 1 fort und erweitert diese.

Unser Ziel ist es, die angefangene Algorithmik-Toolbox auszubauen. Gleichzeitig schulen wir dabei das Hantieren mit und schnelle Erfassen von neuen Modellen. Dazu schauen wir uns Algorithmen in diversen Gebieten an:

  • Graphalgorithmen befassen sich mit effizienter Erkennung von Strukturen (z.B. kürzeste Wege) in Graphen
  • Stringalgorithmen sorgen für eine effiziente Verarbeitung von Strings (z.B. das Parsen regulärer Ausdrücke)
  • Geometrische Algorithmen helfen dabei, Ereignisse wie z.B. Schnittpunkte von Linien oder konvexe Hüllen in dem zweidimensionalen Raum zu finden

Dabei sind wir darauf bedacht, eine Dualität aufzuzeigen: Auf der einen Seite fragen wir uns häufig, was ist der schnellste Algorithmus, den wir für ein Problem finden können? Auf der anderen Seite möchten wir wissen, ob es mathematisch beweisbar ist, dass es keinen schnelleren Algorithmus geben kann. Daher betrachten wir klassische Modelle und Beweistechniken aus der theoretischen Informatik.

  • (Nicht-)Deterministische endliche Automaten geben einen Einstieg in das Konzept des Nichtdeterminismus
  • Nichtdeterministische Turingmaschinen werden häufig gebraucht, um schwere kombinatorische Probleme zu beschreiben
  • Mittels Polynomialzeit-Reduktionen lernen wir das klassische P vs. NP Problem kennen und können neue Probleme nach diesem Kriterium klassifizieren

Voraussetzungen

Es wird davon ausgegangen, dass die Themen aus den Veranstaltungen Mathematik I, Mathematik II und Theoretische Informatik I bekannt sind.

Organisation

Neben der Vorlesung gibt es wöchentliche Übungen und Online-Lehreinheiten zur Vor- und Nachbereitung des Vorlesungsstoffes.

Die Verwaltung der Veranstaltung geschieht über das Moodle des Fachgebiets. Dort können Sie sich mit ihrem regulären HPI-Login einloggen und für die Veranstaltung eintragen. Die Moodle-Registrierung ist verpflichtend für alle Teilnehmer, da darüber auch die Verwaltung der Übungsblätter und deren Bewertung läuft. 

Wöchentliche Termine

  • Vorlesung: Dienstag 15:15, HS 1.
  • Übung: Dienstag 17:00 A.1-1
  • Übung: Mittwoch 11:00 A.1-1
  • Übung: Mittwoch 11:00 A.1-2
  • Übung: Mittwoch 13:30 A.1-1
  • Übung: Freitag 09:15 A.1-2

Klausuren

Für die Zulassung zur Klausur müssen 50% der Punkte von den Übungsblättern 1-6, und 50% der Punkte von den Übungsblättern 7-12 erreicht werden. 

Die Leistungsprüfung erfolgt in TI2 über eine einzige Klausur am Ende des Semesters. Dazu können über das Semester verteilt Bonuspunkte in den Übungen für die Klausur gesammelt werden.

Klausurtermin: 01.08.2016, 10:00 s.t. Dauer: 3 Stunden. Als Hilfsmittel ist ein beidseitig handbeschriebenes DIN-A4 Blatt erlaubt.

Inhalte

Zusätzlich zu den Folien bieten wir hier auch weiterführende Links an. Diese können nützlich sein, um manche Konzepte in einem anderen Licht zu sehen. 

Literatur

  • Schöning: Theoretische Informatik - kurz gefasst. (Gut lesbar, für Berechenbarkeitstheorie)
  • Bläser: Theoretical Computer Science. (Umfangreich, für Berechenbarkeitstheorie)
  • Cormen, Leiserson, Rivest, Stein: Algorithmen - Eine Einführung. (Für Algorithmik)
  • Jeff Erickson's Lecture Notes. (Großartige Sammlung von Material für Algorithmik)

Vorlesungsteam

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

Dozent

Vorlesung: Dienstag, 15:15 Uhr
Raum: Hörsaal 1

E-Mail: friedrich(at)hpi.de

Übungsleiter

Sprechzeiten: täglich ab 13:00 Uhr
Büro: A-1.7/8

E-Mail: anton.krohmer(at)hpi.de

Christoph Keßler

Tutor

Übung: Church
Raum: A-1.1
Termin: Dienstag, 17:00

E-Mail: christoph.kessler(at)student.hpi.de

Felix Montenegro-Retana

Tutor

Übung: Gödel
Raum: A-1.1
Termin: Mittwoch, 13:30

E-Mail: felix.montenegro-retana(at)student.hpi.de

Stefan Neubert

Tutor

Übung: Cook
Raum: A-1.1
Termin: Mittwoch, 11:00

E-Mail: stefan.neubert(at)student.hpi.de

David Schumann

Tutor

Übung: Dijkstra
Raum: A-1.2
Termin: Mittwoch, 11:00

E-Mail: david.schumann(at)student.hpi.de

Fabian Sommer

Tutor

Übung: Turing
Raum: A-1.2
Termin: Freitag, 09:15

E-Mail: fabian.sommer(at)student.hpi.de