Uni-Logo

Informatik Theorie II (ACS II) - Übersicht

Dozent: Prof. Dr. Bernhard Nebel, Prof. Dr. Christian Becker-Asano

Termine

Vorlesung: Montag 12:15-14:00 und Donnerstag 12:15-13:00
Übungen: Donnerstag 13:15-14:00

Ort

Vorlesung: Gebäude 101, Seminarraum 01-009/13
Übungen: Gebäude 101, Seminarraum 01-009/13

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.