Uni-Logo

Lehrveranstaltungen im Wintersemester 2011/2012

Informatik III (Theoretische Informatik)

Die Vorlesung gibt eine eingehende Einführung in die Theoretische Informatik. Neben verschiedenen formalen Präzisierungen des Berechenbarkeitsbegriffs, werden als Themen endliche Automaten, formale Sprachen und Grammatiken, Entscheidbarkeit und Komplexitätstheorie behandelt.

Art der Veranstaltung: Vorlesung
Dozenten: Prof. Dr. Bernhard Nebel und Dr. Stefan Wölfl
Webseite: Informatik III (Theoretische Informatik)

Theoretical Computer Science II (ACS II)

Diese Veranstaltung wird auf Englisch abgehalten.

This course for ACS students covers theoretical aspects of computer science, including the following topics: automata, formal languages, formal grammars, Turing machines, decidability, complexity theory, and logic.

Art der Veranstaltung: Vorlesung
Dozent: Prof. Dr. Bernhard Nebel
Webseite: Theoretical Computer Science II (ACS II)

Handlungsplanung

Diese Vorlesung bietet eine ausführliche Einführung in die algorithmischen und theoretischen Grundlagen moderner Handlungsplanungssysteme.

Art der Veranstaltung: Vorlesung
Dozenten: Prof. Dr. Bernhard Nebel und Dr. Robert Mattmüller
Webseite: Handlungsplanung

Proseminar: Graphalgorithmen

Viele Entscheidungs- und Suchprobleme in der Informatik lassen sich als graphentheroetische Probleme auffassen. In diesem Proseminar sollen Algorithmen zur Lösung solcher graphtheoretische Probleme vorgestellt und implementiert werden.

Art der Veranstaltung: Proseminar
Organisatoren: Prof. Dr. Bernhard Nebel und Dr. Stefan Wölfl
Webseite: Proseminar: Graphalgorithmen

Practical: Robotics Laboratory

Diese Veranstaltung wird auf Englisch abgehalten.

In this practical students develop projects in a robotics context.

Art der Veranstaltung: Praktikum
Organisatoren: Dr. Christian Dornhege und Prof. Dr. Bernhard Nebel
Webseite: Practical: Robotics Laboratory

Lesegruppe Handlungsplanung und Suche

In der Lesegruppe werden aktuelle und klassische Forschungsarbeiten aus den Gebieten Handlungsplanung, Suche und verwandten Gebieten diskutiert. Jeder Teilnehmer kann Lesevorschläge einbringen, von denen dann zu jedem Termin ein oder mehrere Arbeiten ausgewählt werden. Die ausgewählten Arbeiten werden von den Teilnehmern vor dem jeweiligen Besprechungstermin gelesen und dann in der Gruppe besprochen.

Die Veranstaltung richtet sich an Mitarbeiter und interessierte Studenten und Gäste. Es können keine ECTS-Punkte erworben werden.

Art der Veranstaltung: Oberseminar
Organisator: Prof. Dr. Malte Helmert
Webseite: Lesegruppe Handlungsplanung und Suche