Uni-Logo

Informatik Theorie II (ACS II) - Übersicht

Dozenten: Prof. Dr. Malte Helmert und Dr. Andreas Karwath

Übungen: Dr. Gabriele Röger

Termine

Vorlesung: Mittwoch 9:15-11:00 und Donnerstag 9:15-10:00
Übungen: Donnerstag 10:15-11:00
Klausur: Mittwoch, 3. März 2010, 14:00-15:30

Ort

Vorlesung: Gebäude 106, Raum 00-007
Übungen: Gebäude 106, Raum 00-007
Klausur: Gebäude 082, Raum 00-006 ("Kinohörsaal")

Sprache

Die Vorlesung wird auf Englisch gehalten und das Vorlesungsmaterial und die Übungsblätter sind englischsprachig. Studenten können allerdings auch auf Deutsch Fragen stellen und Übungszettel abgeben.

Kreditpunkte

6 ECTS-Punkte

Lernziele

Ziel ist es, den Studierenden grundlegende theoretische Aspekte der Informatik zu vermitteln.

Lerninhalte

Diese Vorlesung behandelt die theoretischen Aspekte der Informatik. Wir werden sehen, was wie effizient berechnet werden kann und was nicht berechenbar ist. Genauer werden wir uns mit den folgenden Themen beschäftigen:
  • Automaten
  • formale Sprachen
  • formale Grammatiken
  • Turingmaschinen
  • Entscheidbarkeit
  • Komplexitätstheorie
  • Logik

Voraussetzungen

Zielgruppe sind ACS-Studenten im 1. Semester. Bachelor- und Masterstudenten im Studiengang Informatik können in der Vorlesung keine Kreditpunkte erwerben. Andere Studiengänge nach Absprache.

Leistungsnachweis

Die Prüfung besteht aus einer Klausur. In den Übungen können durch einmaliges Vorrechnen und Bearbeiten der Übungsblätter Bonuspunkte für die Klausur gesammelt werden.